尊敬する足立先生がツイッターで触れていらっしゃったので、
P68
数と論理の物語 不完全性定理について考えるための10の定理
ゲンツェンの定理 算術の無矛盾性の証明 / 菊池誠 

数学セミナー 2020年 02 月号 [雑誌]

数学セミナー 2020年 02 月号 [雑誌]

  • 作者: 
  • 出版社/メーカー: 日本評論社
  • 発売日: 2020/01/11
  • メディア: 雑誌
 

知っている論理の形式だったので、面白かった。
来月号はもっと面白そう。
特集 言語の数理
文構造に内在する普遍/能地 宏
明治の人たちが考えていた普遍的な方法を内在する(表現形式としての科学である)『學』としての国語/英語がなぜ、あのようなカタチになったのか。
夏目漱石は何に挫折したのか。

一緒に、👇も買って来た。200円
これ面白いぞ!コミケって行ったことないけれど、こういうのを売っているんだね。
自由だね。 

素数のまとめノート

素数のまとめノート

  • 作者:
  • 出版社/メーカー: 暗黒通信団
  • 発売日: 2013/06
  • メディア: 単行本