形式主義のムラゴンブログ

このタグの読者になる 0

おいおい自然科学じゃぞ、CMじゃないぞ

ヤフー掲示板で認識を素朴だとコケにされたことがありますのや！数学論理学のトピでしたが、素朴＝ナイーヴを対極としての洗練＝ソフティケイテドを誇られまして、大いに憤慨するといった事態が引き起こされましたのや、はいな。ソフティケイテドと言えば人工的といった意味もあり、真理を論じるにあたっては、さて、どう... 続きをみる
やまのかずひさユニバーサルフロンティア理論は世界を救う 2026/04/09 00:00
形式的には矛盾だが意味は矛盾してない命題

拙著『頭が悪いほどデキる物理の本』に書いてありますけどw 数学にはそんな面白い命題が存在する、というか、そんなものが大っぴらに存在したら困るじゃろうということですけど、で、まあ、ゲーデル命題がその一つじゃ、そう。ワシとしたら「命題の主語を命題の名前にしている命題」はその性質を持つことを発見しており、... 続きをみる
やまのかずひさユニバーサルフロンティア理論は世界を救う 2026/01/14 05:11
監視社会と形式主義を柔らかにする努力

監視社会が進むと犯罪は減少しマナーが向上するという世間様に見られているとよそ行きの行動をとるそれが良いのだろうしかしよそ行きの行動は人様には都合はよいが窮屈で息苦しいたまには羽目を外してみたくなる旅の恥を掻き捨てしたくなる高度な監視社会ではそれもままならぬことになるのだ... 続きをみる
catsdoodle ルアーなお金たち、言葉たち、命たち 2019/12/19 05:54
# 形式主義
# 暮らしを楽しむ
# スローライフ