まげ店長 さんはインスタンス qiitadon.com のユーザーです。アカウントさえ持っていればフォローしたり会話したりできます。 もしお持ちでないなら こちら からサインアップできます。

まげ店長 @magemanager@qiitadon.com

固定されたトゥート

思えば、この本を読んで技術屋を30歳で辞めて、50歳で技術屋に戻されて再び出会うとはな。
「ライプニッツの普遍計画」
kousakusha.co.jp/BOOK/ISBN4-87

読み終わったら、他のゲーデルの本を読んでみよう。

数理論理学講義上巻
第14章まで来た。

形式体系とヒルベルトの形式主義は同じ「形式」?

欧文の場合、ベースラインと呼ばれる位置も重要ですね

何だかんだと
スマリヤン「数理論理学講義 上巻」第12章
形式体型とペアノ算術における不完全性

第一次世界大戦のイギリス軍とフランス軍の将校は小銃を持たずに拳銃なんだよな。いつも不思議に思う。

そろそろ、「論理学でサラリーマン」の夢。
実現しそうである

スマリヤン、説明が美味い。わかってる人にはまどろっこしいと思うけど。

集合論でタリスキの定理を理解しているので、算術性に置き換えられてもイメージ的には大丈夫

ヘミングウェイはタイプライターを日本指で打つ。
左右の人差し指

因みに、マリー・アントワネットがハンカチを正方形にしたのは本当らしい

ハンカチは全て正方形がいいわね
マリー・アントワネット

タルスキの定理で朝が始まる

やっとタルスキーの定理まで来た

バトル・オブ・ブリテンのポーランド人部隊の映画を梯子

命題論理がΣ0関係で、述語論理がΣ1関係ね

よし、クワインの補題の
x fr zも理解した!