数理論理学（数学基礎論）　その14

460 ：１３２人目の素数さん：2021/05/27(木) 15:11:10.48 ID:axwi/tGp.net

>>456は
帰納的に無限なものを扱おうとするとその体系はω矛盾する
余帰納的に有限なものを扱おうとするとその体系は矛盾する
から論理学はオワコンだって言ってるけど、
これって、｢ゲーデルの不完全性定理があるから、数学は終わってる｣って言ってるのと同レベルやろ?

あと、論理学が他分野に応用できるかってのは情報科学とかでもう既に応用されてるやろ。