著者
倉橋 太志
出版者
一般社団法人 日本数学会
雑誌
数学 (ISSN:0039470X)
巻号頁・発行日
vol.73, no.1, pp.60-87, 2021-01-22 (Released:2023-01-23)
参考文献数
89

言及状況

外部データベース (DOI)

Twitter (81 users, 84 posts, 260 favorites)

特に不完全性定理のサーベイ https://t.co/kMiBjP9OF7 でも紹介した、Beklemishev の保存性定理(定理42)の簡単な証明も見つかったので、そのあたりに興味のある方はぜひ見てもらえたらと思います。 今回の論文の概説は後日余裕のあるときに行いたいと思います!
Tennenbaumの定理って何が計算可能じゃないのかと思っていたけれど、足し算や掛け算が計算可能じゃないのね 理論が計算可能(完全……!?)と思っていた https://t.co/0vIj2ihKiz
数学会の論説に寄稿した解説論文 "不完全性定理の数学的発展" が無料でダウンロードできるようになりましたね. https://t.co/kMiBjP9OF7 ご興味のある方はぜひご一読ください.

収集済み URL リスト