ポスト
“フレーゲ（1848-1925）は、アリストテレスの論理学を一掃する概念記法を考案し、命題論理と述語論理を公理化した。そして、それを用いることによって、数学を論理学の諸規則から演繹しようと試み、数学の基礎付けを図っていたのである。” 【しらなみのかげ】#36 @ganrim_ note.com/ganrim_/n/n061…
メニューを開く“フレーゲ（1848-1925）は、アリストテレスの論理学を一掃する概念記法を考案し、命題論理と述語論理を公理化した。そして、それを用いることによって、数学を論理学の諸規則から演繹しようと試み、数学の基礎付けを図っていたのである。” 【しらなみのかげ】#36 @ganrim_ note.com/ganrim_/n/n061…
メニューを開く
