数学とか ド・モルガンの法則の自然演繹
ド・モルガンの法則 自然演繹て、少しも"自然"じゃないよな、と。 形式主義vs直観主義。これで本気で喧嘩できる情熱すごい。 数学の哲学において、直観主義（ちょっかんしゅぎ、英: Intuitionism）とは、数学の基礎を数学者の直観におく...
数学とか 数学とか 乗法の自然数の閉性
任意の乗法を自然数へ送る集合が帰納的集合である証明。 A={y∈ℕ,x∈ℝΙx・y∈ℕ}① yを1と仮定すると x･1∈ℕ(乗法単位元) 単位元は任意の自然数を自然数へ送るので、Aは1を含みます。 定義を満たすy=aを選びます。 x ･a∈...
数学とか 自然数の加法の閉性
帰納的集合 定義は単純です。 帰納的集合の要請は、1を持ち、かつ1と任意の元の加法が閉じていること。 具体的には実数、正の実数、非負の実数、0を含む自然数、0を含まない自然数、正の整数、正の有理数などですかね。 自然数 公理主義では帰納的集...
よもやま話 白いウサギを負え≒自分の人生を生きろ
全てが可能な世界 マトリックスの最後。 これまで述べてきたように、マトリックスは社会の参加者の一人一人の「こうあるべき」の集積が、その可能性を制約していることを表すメタファー。 あるいは、一人の心の中で起こる「こうすべき」と「こうなりたい」...
よもやま話 モーフィアス「正しくやろうとするな」
「打とうとするな。打て！」 「パンチ」を打とうとすること、すなわち「パンチ」という先入観に囚われることは真のパンチを見失わせてしまう。 フック、アッパー、ストレート以外にもパンチの可能性はいくらでもある。既述の言葉に囚われてしまうことはボク...
よもやま話 ルサンチマン≒マトリックス
ルサンチマン ルサンチマンを簡単に言えば、弱者が自身の手で捏造した恣意的な道徳を根拠に強者へ攻撃を加えること。 例えば、貧しいことは清らかだ、と道徳を捏造し、それを根拠に強者への攻撃を正当化した中世キリスト教の「清貧」がそう。 ニーチェが「...
技術 ヘッドスリップとフットワーク
頭を突っ込まない 頭を突っ込むヘッドスリップを教える人もいますが、僕が思うに「頭が突っ込む」のは結果です。 相手のパンチを避けながらか、あるいは相手のパンチングレンジから隠れながら"前進"すると仮定した場合、例えばバランスを崩すとか、一時避...
よもやま話 モーフィアス「お前らは電池だ」
メディア（多数派）に「これがかっこよさ(正しさ)だ」と洗脳され、服やアクセサリー、ダイエットグッズ、髪型を買う。 少数派になることを恐れて好きなこと(≒生きること)を我慢し流行に乗る。 これを繰り返す内に人は他人に好かれるだけが能の便利な使...
よもやま話 青い薬と赤い薬
人の見る幻覚 ヒトは幻覚を見て、それを他の個体と共有できる。同じ幻覚を見れるからこそ、「日本人」や「お金」「政府」が機能する。 子供が人形に魂を与えてままごとをするようなことは、大人にも起こっているように見える。 見たことも触ったこともない...
よもやま話 マトリックス≒依存心
大工、ビジネスマン、弁護士...など。固有名詞が与えられたものだけが仕事ではない。YouTuberのように、仕事は人の創造性により創られるもの。 YouTuberを否定する人種は、その前はテレビ芸能人を、その前は歌舞伎や狂言などの芸人を否定...
数学とか 無理数は無限にある
有理数の間には常に無理数がある 有理数+無理数=無理数① a<n⇒a/n>a/n+1>a/n+2...>0② ある無理数aを大きな有理数nで割るとその値は無理数であり、かつ0へ近づく 任意のx<yにおいて、xに小さな無理数aを足すとその値は...
よもやま話 赤いドレスの女
赤いドレスの女 ネオは赤いドレスの女に目を奪われた直後にエージェントに銃口を向けられる。 赤いドレスの女は「皆が欲しがるが、本当は誰も必要としていない何か」の、そしてエージェントは「同調圧力」の暗喩と解釈てきる。 分かりやすいのが「流行」。...