ゲーデルとは？
げーでる
数学には証明できない真実があることを示した、オーストリア出身の数学者だよ。
ゲーデルは20世紀の数学者だよ。どんなに正しいルールを集めた数学でも、そのルールだけでは正しいとも間違いとも言えない命題がかならずあることを証明したんだ。数学にも限界があると示したすごい発見だよ。
つかいかた・れいぶん
ゲーデルは、数学のルールにはかならずすき間があると証明したよ。
このことばを シェア
さいごの こうしん: