この論理は排中律を否定する
ヘイティングの直観主義論理は、排中律を否定することで古典的推論に異議を唱えます。数学的真理には構成的証明を要求し、コンピュータ科学などの分野に影響を与えます。
古典論理では命題は真か偽です。しかし、ヘイティングの直観主義論理は異なります。1930年代にアーレント・ヘイティングが開発しました。この体系は、数学的真理に構成的証明を要求します。証明がない場合、命題とその反対の両方を真と仮定できません。
続きはアプリでお読みいただけます。
アプリで続きを読む
あと1段落 · プラス3問のクイズ