「ある体系 X の中から体系 X の外部 P を指示できるか」が、対角化定理と数学が外界と接する4つの足場（不可能性、二重否定の差分、選択公理、真理保存性）と強制法を組合せて実現できた。
github.com/g000001/diff...
github.com/g000001/diff...
github.com
July 19, 2026 at 6:39 AM
「ある体系 X の中から体系 X の外部 P を指示できるか」が、対角化定理と数学が外界と接する4つの足場（不可能性、二重否定の差分、選択公理、真理保存性）と強制法を組合せて実現できた。
github.com/g000001/diff...
github.com/g000001/diff...
近年日本以外ではハイデガーはナチス党員だったから全部駄目異論は認めない、という風潮だそうですが、轟のハイデガーの超-政治は面白かったです。
www.amazon.co.jp/dp/4750349569
www.amazon.co.jp/dp/B0C7QDGQS7
www.amazon.co.jp/dp/4750349569
www.amazon.co.jp/dp/B0C7QDGQS7
ハイデガーの超-政治――ナチズムとの対決/存在・技術・国家への問い | 轟 孝夫 |本 | 通販 | Amazon
Amazonで轟 孝夫のハイデガーの超-政治――ナチズムとの対決/存在・技術・国家への問い。アマゾンならポイント還元本が多数。轟 孝夫作品ほか、お急ぎ便対象商品は当日お届けも可能。またハイデガーの超-政治――ナチズムとの対決/存在・技術・国家への問いもアマゾン配送商品なら通常配送無料。
www.amazon.co.jp
July 19, 2026 at 5:34 AM
近年日本以外ではハイデガーはナチス党員だったから全部駄目異論は認めない、という風潮だそうですが、轟のハイデガーの超-政治は面白かったです。
www.amazon.co.jp/dp/4750349569
www.amazon.co.jp/dp/B0C7QDGQS7
www.amazon.co.jp/dp/4750349569
www.amazon.co.jp/dp/B0C7QDGQS7
調査を進めるとどうも「Kripke の最小不動点の Π11-完全性」「Burgess の μKF の限界定理」あたりが非常に近いらしい。しかし同じかどうかがわからない。
July 19, 2026 at 1:12 AM
調査を進めるとどうも「Kripke の最小不動点の Π11-完全性」「Burgess の μKF の限界定理」あたりが非常に近いらしい。しかし同じかどうかがわからない。