「論理主義 (数学)」を解説文に含む見出し語の検索結果(21～30/283件中)
フレーゲの定理(Frege's theorem)とは、算術の公理（ペアノの公理）は二階述語論理においてヒュームの原理から演繹できるとする定理のこと。ゴットロープ・フレーゲによって最初1884年刊行の『...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/03/21 22:32 UTC 版)「ラカトシュ・イムレ」の記事における「証明と論駁、数学」の解説詳細は「数学的発見の論理―...
フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲFriedrich Ludwig Gottlob Frege1878年のフレーゲ生誕 (1848-11-08) 1848年11月8日 メクレンブルク＝...
フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲFriedrich Ludwig Gottlob Frege1878年のフレーゲ生誕 (1848-11-08) 1848年11月8日 メクレンブルク＝...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/07 08:59 UTC 版)「合理主義哲学」の記事における「批判と継承」の解説「前提や形式自体が誤っていたら？」 「...
L. E. J. ブラウワーLuitzen Egbertus Jan Brouwer生誕 (1881-02-27) 1881年2月27日 オランダ 南ホラント州Overschie（オランダ語版）死没 ...
L. E. J. ブラウワーLuitzen Egbertus Jan Brouwer生誕 (1881-02-27) 1881年2月27日 オランダ 南ホラント州Overschie（オランダ語版）死没 ...