ムラゴン ホーム
おいおい自然科学じゃぞ、CMじゃないぞ
ヤフー掲示板で認識を素朴だとコケにされたことがありますのや！ 数学論理学のトピでしたが、素朴＝ナイーヴを対極としての洗練＝ソフティケイテドを誇られまして、大いに憤慨するといった事態が引き起こされましたのや、はいな。ソフティケイテドと言えば人工的といった意味もあり、真理を論じるにあたっては、さて、どう... 続きをみる
形式主義のムラゴンブログ
-
-
形式的には矛盾だが意味は矛盾してない命題
拙著『頭が悪いほどデキる物理の本』に書いてありますけどw 数学にはそんな面白い命題が存在する、というか、そんなものが大っぴらに存在したら困るじゃろうということですけど、で、まあ、ゲーデル命題がその一つじゃ、そう。ワシとしたら「命題の主語を命題の名前にしている命題」はその性質を持つことを発見しており、... 続きをみる
-
監視社会と形式主義を柔らかにする努力
監視社会が進むと 犯罪は減少し マナーが向上するという 世間様に見られていると よそ行きの行動をとる それが良いのだろう しかし よそ行きの行動は 人様には都合はよいが 窮屈で 息苦しい たまには 羽目を外してみたくなる 旅の恥を掻き捨てしたくなる 高度な監視社会では それもままならぬことになるのだ... 続きをみる
