数学とか 集合と含意と認識
WIISの述語論理の章が終わり集合論へ突入するのでその前に自分なりに論理と集合を結びつけてみます。部分集合と含意集合と含意は人の認識を厳密に考える為のもので、同じものであるというのが長濱説です。含意と部分集合でそれを説明してみます。A⊆BA...
認識
数学とか よもやま話 長濱式ロングフックと社会を埋め尽くす弱者の非合理な認識
今週はパラエストラ天満長濱クラスで肩甲骨ロックによるパンチを練習しました。筋力を向上させて肩甲骨ロック(意識しない)が自然に強くなると、肩関節の可動性は低下します。強いゴムが伸張しにくいのと同じです。SSCが強力になる反面、一般的に共有され...
よもやま話 固定化=腐敗
何が社会と個人の腐敗を招くかの長濱説。現象は流動的「現象は流動的である」という前提があります。ボクシングというスポーツには形はありません。本来は戦う相手や状況に応じて、そしてボクシングという空間の地形に応じて変化させていくものです。しかし、...
よもやま話 賢さ≒枠組みの外から枠組みを俯瞰する能力
キリスト教徒はキリスト教という枠組みの中から資本主義や科学を、仏教徒は仏教という枠組みから資本主義や科学を観察します。逆もしかり。資本主義という枠組みにいるから宗教の枠組みを比較して研究できます。自分の世界を持つから、それとの比較により外の...
数学とか 矛盾の認識
論理的に矛盾する関係（論理）ってどんなのがあるたまろうとふと思って考えて見ました。矛盾は命題の如何に関わらず恒に偽となる式。例えばA∧¬A=⊥上の論理式は命題の真理値にかかわらず恒に偽となる論理式。つまり恒偽式=矛盾=⊥です。この推論が論理...
よもやま話 世代間の溝を知る
僕がボクシング業界に居て感じることを共有します。みんなが感じているだろうこと。それは世代間の価値観に大きな溝があることです。そしてこれはきっと、ボクシングに限りませんね。世代間の認識の差僕を含めた最近の世代はインターネットや本に囲まれて、情...
数学とか 負数と正数の加法
数と負数を加法でどう結びつけるのか、を試します。負数の我流定義-0=00×-a=0-1×-1=1a×-1=-a正数（自然数）の場合の後者はs(a)=a+1負数をa+(-a)=0という風に、自然数aに負数-aを足すと0となるような関係で合って...
よもやま話 認識の罠 そのニ
非完璧主義者はこの記事の内容なんて気にしないし、信用なんてしないはずです。非完璧主義を完璧にやろうしないから、つまりそれを認識しないから非完璧主義者なんです。完璧主義者が脱完璧主義を目指して上の記事を実践することは完璧主義です。矛盾します。...
よもやま話 人の認識の罠
僕がシコシコと独力で進めている数学カテゴリを見てくれている方なら、もしかしたら既に気がついているかもしれません。数学は人の認識です。前提から結論までの論理構造の同値変形。簡単に説明するために「幸せになる」につい考えます。(前提)なる=感じる...
未分類 一般化と∃除去の仮定の解消
存在除去は下のリンクの記事のような雰囲気の演算のことで、人の普遍的な認識を厳密化したものだと感じます。例えば「1より大きな数は存在する」というありふれた人の認識は、厳密には「2は1より大きな数は数である」という暗黙的な前提が元になっています...
数学とか 因果関係の認識と数学
因果関係による人の認識を抽象的に説明すると、前提が真なら常に結論も真となるよな命題の組合せと言えると思います。で、因果関係は原因と結果を勝手に結びつけて認識すること。因果関係による認識認識の例例)押した、だから動いた押した=A,動いた=BA...
数学とか 論理的妥当性の再帰的な構造
ここまででようやく数学の始まりがぼんやりと見えてきました。出発は人の認識。その認識を一般化した演算規則によって公理の構造を変形させ、普遍的な法則（理論）を見つけていく。それがのちに意味を帯びてきて現実への応用される。数学の議論の再帰的な構造...