こんばんは。
— 谷口一平 A.k.a.hani-an (@Taroupho) January 15, 2024
ん～それはね～。申し訳ないんだけど、眉唾だと思います。私はゲーデルの不完全性定理を知っていますが、残念ながら、あの本は眉唾文献なのですよね。 https://t.co/CJ8tdiIE0C
もう少し詳しく。よい指摘だ（☟検討）
高橋の学歴は、
（高橋昌一郎 - Wikipedia）
で、大学の数学は（一応；少なくとも学部レベルでは）修めているようだ。
ただ、
- 『Approaches to Modal Logics』 Temple University Japan 1989.1
- 『Modern Logic』 Eishinsha 1992.4
高橋は英文で２冊書いているはずだけれど、見当たらない。
「抜き打ちテストのパラドックス」についてはこれで触れられていて
「眉唾」と指摘された『理性の限界』
高橋は、ゲーデルの専門家というより、スマリヤンが説明する「ゲーデル」の方が詳しいかもしれない。知らない。
レビューが２つ付いていて、
堀川
★★★★★ ゲーデルの不完全性定理の解釈
2023年12月23日に日本でレビュー済み
Amazonで購入
数学には解釈はないと言う人がいるけれど、不完全性定理ほど意味付けが必要なものはないというのがこの本を読んだときの印象。論理体系にも色々あるのが分かって勉強になる本。
狭間
★☆☆☆☆ 目次
2023年8月10日に日本でレビュー済み第１章 ゲーデルの証明の基礎概念
第２章 数論におけるタルスキーの定理
第３章 累乗法に基づくペアノの数論における不完全性
第４章 累乗法に基づかない数論
第５章 ω無矛盾性に基づくゲーデルの証明
第６章 ロッサー体系
第７章 シェファードソンの表現定理
第８章 定義可能性と対角化
第９章 無矛盾性の証明不可能性
第１０章 証明可能性と真理性に関する一般概念
第１１章 自己言及体系
発売日が1996年7月1日ということであるが、23年になって比較的近い期間に、正反対の極端な評価が付いている。ただ、高橋が、スマリヤンの「ゲーデル」について「知らない」ということは（理解の程度はともかく）考えられない（☟検討）。
これは面白い。
☞ウィトゲンシュタインか「ウィトゲンシュタイン」（所謂クリプケンシュタイン）か。
スマリヤン自身はこんな人。
