直観主義論理とは？
ちょっかんしゅぎろんり
構成的証明のみを認め、排中律を採用しない論理体系で、計算と深く結びついているよ。
直観主義論理とは、「実際に作れる（構成できる）証明」だけを認める論理の体系だよ。「P か P でないかどちらかだ（排中律）」を常には認めないのが特徴だよ。コンピュータで計算できることと深く結びついているよ。
つかいかた・れいぶん
「存在することを示すには、実際に見つけなければならない」という考え方の論理が直観主義論理だよ。
このことばを シェア
さいごの こうしん: