よもやま話 公理と証明と認識
公理と証明と認識 この定義は面白く、また根底にある考え方が有用だと感じたので共有します。 これは極めて抽象的な文なので、「直線」を「親子関係」、「点」を「親」「子」と文字を置き換えても文が成立します。 抽象度を高めて共通項以外を削ぎ落とした...
数学
よもやま話 暇つぶしに見て 3✕3魔法陣
最近、論理パズルにハマっています。 良い問題なら一問で数時間、数日遊べるのでコスパ最強ですよ。紹介した書籍にはそれが何十問もあります。で、数百円。 居酒屋で酒を飲むより、漫画を買うより、遥かにコスパが良い。しかも論理性も鍛えられる。 遊戯王...
暇つぶしに見て 形式的に定理を導く練習
数学の定義を記号として形式的に扱ったみる練習。 公理をペアノの公理という。 0 ∈ ℕ 任意の n ∈ ℕ について S(n) ∈ ℕ 任意の n ∈ ℕ について S(n) ≠ 0 任意の n, m ∈ ℕ について n ≠ m ならば ...
暇つぶしに見て 公理主義と無定義用語へのフワッとした感想
数学を学んでいると、数学は認識世界の話であり現実の話をしているのではないと、深く理解できます。当たり前と言えば当たり前なんですが、人の性質はそれを忘れさせます。 僕の興味の範囲が徐々に絞られていくのを感じ、またそれは証明の手続きや概念の創造...
暇つぶしに見て 集合と認識と自然演繹
我流集合論 人の認識の規則を記号化したものが論理、それを拡張したのが集合、それをさらに拡張したのが関数、という過程の下なら、下記の関係が成り立つはずなので、それを証明します。(A⊂B)⇔(x∈A⇒x∈B)⇔(P(x)⇒Q(x)) 集合 A ...
暇つぶしに見て 集合と含意と認識
WIISの述語論理の章が終わり集合論へ突入するのでその前に自分なりに論理と集合を結びつけてみます。 部分集合と含意 集合と含意は人の認識を厳密に考える為のもので、同じものであるというのが長濱説です。含意と部分集合でそれを説明してみます。A⊆...
暇つぶしに見て 同値関係の議論
同値関係は長濱式では下のように定義しています。前提の同値関係が成立しない場合の議論はどんな風に結論されるのかなあと。 同値関係 A⇔B≔A→B∧B→A≔は定義するの記号。 ((A→B)→T∧(B→A)→T)→T(前提)¬((A→B)→T∧(...
運動理論 ネリ戦の井上尚弥のカウンター左フック
モンスターの左フックのカウンター。頻繁に見ますよね。股関節ロックと二軸の特徴が現れているなあと思っていたら、それらを繋げる論理を思いついたので共有します。 強靭な腸腰筋と内転筋群による股関節ロックが起こると、その拮抗筋である中臀筋と大殿筋、...
暇つぶしに見て 認識限界としての矛盾
ふと疑問に思ったことを考えてみます。 矛盾と恒真式の関係 「恒真式の否定(反対)は矛盾」という結論の正しさについて。 先にT⇔A∨¬Aと定義します。 ¬T→⊥(前提)¬(A∨¬A)→⊥(恒真式)¬¬(A∨¬A)∨⊥(→言い換え)A∨¬A∨⊥...
よもやま話 議論の枠組みを疑う
常識や科学などの社会通年は無条件に当然の議論の枠組みとして受け入れられています。 ネットの辺境にある僕のブログへ読者の皆さんがたどり着いたのはきっと、現実を覆っているボクシングジムの様々なマトリックスに違和感を覚えたからではないかと思います...
よもやま話 他人と自分を分離する論理性と機会損失の話
世代間の溝に関する話の続き。 「他人を理解しようと努力する」ことは幼児性を切り離すのに要求される論理性獲得の第一歩と僕は考えています。 互いを認める 世代間の価値観の違いは時代背景に由来しています 物心ついた頃から情報を浴びて育った僕達と情...
暇つぶしに見て 我流負数の交換法則とか
いつかの我流定義。-a=-s(a)+1今朝、ふとこれは定義ではなく定理だなと。 -s(a)+1(前提)-(s(a)+(-1))(負数定義)-(a+1+(-1))(負数定義)-(a)(負数定義)-a(負数定義)s(a)+1=-a 乗法で負数を...