形式言語では真理を定義できない
アルフレッド・タルスキの定理は、形式言語自体の中では真理を完全に定義できないことを明らかにしました。これは論理的な自己参照の根本的な限界を示し、哲学からAIまで多くの分野に影響を与えています。
1933年、論理学者のアルフレッド・タルスキは、数学のような強力な形式言語では、その言語だけを使ってすべての命題の「真理」を定義できないことを示しました。これは、有名な嘘つきのパラドックスのように、言語がパラドックスに陥ることなく自身の真理を完全に記述することはできないことを意味します。
続きはアプリでお読みいただけます。
アプリで続きを読む
あと1段落 · プラス3問のクイズ