言及状況

外部データベース (DOI)

Twitter (2 users, 2 posts, 0 favorites)

@Alwe_Logic @7danmoroboshi もちろん現代的には範疇性と完全性は違うし完全性と言ってもいろんな完全性があるし、それらと決定可能性もまた違う訳ですけど、当時の数学者は誰もそれらの論理学的概念を精確に区別して話そうとしてないですよね。 Cf. https://t.co/DaibwRE6HY https://t.co/qQX7go5EVZ のヒルベルトの公理論の項

収集済み URL リスト