論理学

トレーニング

技術を導く練習

必然を起こす この練習には色んな意味を与えていますが、今回はチェックフックに論点を絞ります。 チェックフックを導く前提をざっくりと以下のように仮定しています。 1.手打ち 2.大腰筋の収縮 3.二軸 足を止めてはいけない、という制約を設ける...
暇つぶしに見て

同型写像って何やねん

続き。 同型写像 2つの数学的対象が同型 (isomorphic) であるとは、それらの間に同型写像が存在することをいう。自己同型写像は始域と終域が同じ同型写像である。同型写像の興味は2つの同型な対象は写像を定義するのに使われる性質のみを使...
暇つぶしに見て

ヒルベルトの公理に我流解釈を与える

WIISの公理主義的実数論を読み進めていると、再び公理主義とは、との疑問が頭をもたげてきました。それは直観としては、仏教の縁起に似た、認識(≒数学or論理)の規則をより抽象的に捉えようとする試みだと解釈しています。 ウィキペディアの英語版に...
スポンサーリンク
暇つぶしに見て

頭の体操八

一意性(いちいせい、英語: uniqueness)とは数学分野において、注目している数学的対象が「存在するならばただ一つだけである」或いは「ただ一つだけ存在している(つまり「存在して、かつ、存在するならばただ一つだけである」の意)」という性...
暇つぶしに見て

頭の体操 その三

対偶 A={(x,y)∈ℝ²|y³+yx²≤x³+xy²} B={(x,y)∈ℝ²|y≤x} ⊂集合を論理の包含関係→⇒と解釈します。 y³+yx²≤x³+xy²(仮定) y(y²+x²)≤x(x²+y²)(分配法則) y(x²+y²)≤x...
暇つぶしに見て

二次元の双対

集合の双対 上の我流で「双対関係」に文脈を与える試みの続き。 双対(そうつい、dual, duality)とは、互いに対になっている2つの対象の間の関係である。2つの対象がある意味で互いに「裏返し」の関係にあるというようなニュアンスがある(...
暇つぶしに見て

双対と概念の創造

双対の文脈を読解してみる 再び双対と遭遇。こいつは強敵。 そもそも論として「双対」とはなんぞや、と。 字面は理解できます。が、「その心は?」が理解できません。 何故数学界はコイツを仲間に加えたのか、という疑問です。そこは厳密に存在意義を評価...
よもやま話

バカの法則その三

バカの法則はその三へ突入。 とは言っても「一面的な認知≒バカ」と、立体的な構造の一面だけを切り取って話しているだけなので、厳密には同じ話になっています。お気づきとは思いますが。 例えば、仏教と数学は認識の話であり、それらは、それを記述する言...
未分類

バカの法則

YouTubeはどしどしクソリプが送られてくるので、バカの研究が捗ります。 上のコメントが生まれる規則を明らかにします。 防衛機制(ぼうえいきせい、英: defence mechanism)は、受け入れがたい状況、または潜在的な危険な状況に...
技術

大腰筋と攻防一体

この場面は胸椎の側屈が分かりやすい。恐らくは大腰筋の作用です。 マイク・タイソンの胴の分厚さ。腸腰筋がパンパンに詰まっていると想像できます。GGGもカネロもロイも胴がパンパン。 彼らの胸椎の側屈回旋パンチは 胴が太い→大腰筋が太い→胸椎側屈...
暇つぶしに見て

集合の濃度

参考書。 勝手に解釈すると A〜B は対応関係。一対一関係。 集合A,Bの濃度a,bの定義。 A〜B₁,B₁⊆B という規則(関係)が当てはめられる何らかの対象A,Bは、「濃度」で説明できる。 上で定義した関係は |A|≤|B| と別の記号...
よもやま話

規則性へ強い関心を向ける人種

数学の問題を解いたり、パズルを組み立てたり、詰将棋をすることは好きですか?または規則的な動きや形にばかり目が行くとか。話の雰囲気よりも論理的な接続関係に興味が向かうとか。 だとすれば、あなたはパターンシーカーかもしれません。上の書籍では、人...