2024-03

よもやま話

「自立」と「自由」が社会に住む個人の目標

娘が生まれ、またSNSをやるようになってから、社会の在り方とそこに住む個人の生き方について考える時間が激増しました。親としての本能だと思います。とても楽しい時間です。二十代は興味のなかった本が書棚に並んでいます。その中で行き着いた現時点での...
よもやま話

嫌いたい奴には嫌わせておけ

パレート分布ってご存知ですか。八対二の法則とも言われます。僕のことを好きな人が二割いれば、残りの八割は僕のことを嫌いな人。アリ(ヒト)の世で生産的な活動をしているのは二割で、残りの八割はその二割の努力に相乗りさせてもらっている。二割の人が世...
未分類

論理和と論理積の分配法則 その4

引用の記事の続きです。(A∧B)∨(A∧C)→A∧(B∨C)とA∧(B∨C)→(A∧B)∨(A∧C)を証明して必要十分条件が成り立ちますが、後者の証明がされていませんでした。というわけで下の同値関係の証明に挑戦。A∧(B∨C)⇔(A∧B)∨...
数学とか

∀と∃の交換律

基本的に我流定義なので、∀と∃の順番は気にしてませんでしたが「ちょっと待って、これ大丈夫?」と不安になったので∀x∈X,∀y∈Y:P(x,y)⇔∀y∈Y,∀x∈X:P(x,y)が成り立つのか確認します。∀x∈X,∀y∈Y:P(x,y)(前提...
数学とか

我流負数の交換法則とか

いつかの我流定義。-a=-s(a)+1今朝、ふとこれは定義ではなく定理だなと。-s(a)+1(前提)-(s(a)+(-1))(負数定義)-(a+1+(-1))(負数定義)-(a)(負数定義)-a(負数定義)s(a)+1=-a乗法で負数を定義...
数学とか

負数と正数の加法

数と負数を加法でどう結びつけるのか、を試します。負数の我流定義-0=00×-a=0-1×-1=1a×-1=-a正数(自然数)の場合の後者はs(a)=a+1負数をa+(-a)=0という風に、自然数aに負数-aを足すと0となるような関係で合って...
未分類

素朴集合論に思いを馳せる

我流で負数の定義を考え続けると熱が出そうなので、素朴集合論で息抜きします。Aの部分集合Bとその差集合を考えます。人の認識を土台として図式化するならこう。これを定義します。Aという集合からBという集合を引く演算があってほしいですよね。日常な動...