2024.12.14
https://gyazo.com/24f9f72edcd2b73e7f6f509a4c0f9101
このステッカーの詳細を教えて下さい．
思った
夜行バスで寝る才能を失った
読んだ
ヤマノススメ6~11(?)
雪村あおいの露骨すぎる嫌がり方好きすぎる
思った
バスの中で思っていたこと
仮に形式論理学を全く知らない人に「意味論って結局なんですか」という疑問に簡潔に答えるなら「証明できないという事実を示すための道具です」と答えるだろうなと思っていたけども証明探索が決定可能なシークエント計算でも同じことは言えるから間違った説明な気がしてきた
「証明できないという事実を簡潔に示すための道具です」ぐらいのほうが穏当か？
そもそも合ってるのだろうか…
この説明から考えると，不完全性定理でGödelがやったことは構文論の枠組みだけで証明できないという事実を実質うまくエミュレートした…という考え方も出来る気がしてきた
哲学屋はどう生活しているのか？
「数とは何か」「計算とは何か」「論理とは何か」みたいな分析に取り組むに当たって、哲学屋の人が日々生活している中でどうやって議論を組み立てたり論拠を集めたりしているのか全然知らない気がしてきた
メモ
$ \bf GLの種々のシークエント計算間での証明の変換について
観た
ホワッツ