暇つぶしに見て 1×0=0と1×1=1の証明
自然数の乗法 定義 自然数の加法は再帰的に、以下のように定義できる。すべての自然数 a に対して、a + 0 = aすべての自然数 a, b に対して、a + suc(b) = suc(a + b)1 := suc(0) と定義するならば、...
暇つぶしに見て 暇つぶしに見て 1+1=1×2の証明
自然数の加法と乗法 定義 自然数の加法は再帰的に、以下のように定義できる。1.すべての自然数 a に対して、a + 0 = a2.すべての自然数 a, b に対して、a + suc(b) = suc(a + b)1 := suc(0) と定...
暇つぶしに見て 偶数と奇数の述語論理の表現
なんとなくで述語論理の論理式を作ってみます。偶数と奇数を述語論理で表現してみます。我流なので悪しからず。 述語論理の練習 偶数 ∀k∈Ν∃x∈Ν(2k=x)任意の自然数kに対するある自然数xが存在する、それは2k=xを満たすような関係である...
暇つぶしに見て 含意から三段論法を演繹
三段論法と仮定 証明 下のような論理式「AならばBかつBならばC、ならばAならばCである」(A→B∧B→C)→(A→C)「AならばBかつBならばCかつCであるならば、AならばCである」(A→B∧B→C)∧A→C 大枠の含意(A→B∧B→C)...
よもやま話 時代の潮目
今は人類史の革命期。欧米対中露中東連合という構図の国家間の階級闘争が行われ、さらにそれぞれの国家内部でも下位が上位に挑戦する階級闘争が行われています。YouTubeの個人が巨大権力のメディアに挑戦し、チクトクやインスタのインフルエンサーが芸...
よもやま話 人の真のポテンシャルを開放する
23歳、100kg。ここから僕のプロキャリアはスタートしました。周囲にいるのはアマのエリート、4つも5つも若い。 運動経験も乏しく、ボクシングは高校生の頃に1年程度やっただけですから、高校のアマ大会で傑出した成績を残した彼らに最初から敵うは...
よもやま話 ボクシングをやる理由の一つ
会場では色んなボクシングファンに声をかけてもらいますが、やっぱり子供達からの声援が何よりも嬉しいです。これから未来を作っていこうとする彼らの助けになれたと思えるだけで力が湧いてきます。 戦う魂を次世代へ伝えることは、男として、ボクサーとして...
プライベート トーレス戦の感想
残るキャリアは微調整 トーレス戦 トーレスとの試合は判定で負けました。南米？チャンピオンで元世界ランカーのトーレスの実力を肌で感じました。僕はちょっとした差だと感じました。 クドゥラはトーレスと比較してもハードパンチャーでしたし、トーレスの...
よもやま話 フロー体験 その2
一度記事にしている女医のジルボルトテイラー博士の話。僕が体験したフローの超強烈版を経験されています。 恐らくはブッダのいう悟りです。テイラー博士の右脳(主観)と左脳(客観)の説明は僕のと完全に一致しています。ねどじゅんさんの説明とも一致。そ...
よもやま話 心と身体の合理性を引き出す
メッシ、ジョーダンは言わずと知れた超一流。 そして、子供達は全て彼ら一流と同じポテンシャルを持っています。 彼ら、彼女らのポテンシャルを奪い去るのは、愚かな大人の同調圧力。 マトリックスを抜け出せ 無能が無能を生む負の連鎖 無能な大人が子供...
暇つぶしに見て 1+1=2の証明
1+1 =2の証明を定義から導きます。 自然数の加法 定義1.自然数 1 が存在する。2.任意の自然数 a にはその後者 (successor) の自然数 suc(a) が存在する（suc(a) は a + 1 の "意味"）。3.異なる自...
暇つぶしに見て 述語論理の全称記号と存在記号
命題論理は一通り終わったので、発展形の述語論理へ進みます。ここから数学っぽくなります。 全称記号と存在記号 定義 全称記号（ぜんしょうきごう、universal quantifier）とは、数理論理学において「全ての」（全称量化）を表す記号...