Weblio 辞書 > 辞書・百科事典 > 直観主義_(数学の哲学)の解説 > 直観主義_(数学の哲学)の全文検索
「直観主義_(数学の哲学)」を解説文に含む見出し語の検索結果(31~40/247件中)

数理論理学における構成規則(こうせいきそく、英: Formation rule)もしくは形成規則とは、アルファベットからなる記号列のうち、どれが当該言語で統語論的に正しいかを定める規則である。構成規則...
節標準形(英: Clausal normal form、CNF)とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の...
節標準形(英: Clausal normal form、CNF)とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の...
虚構主義(きょこうしゅぎ、英: Fictionalism)とは哲学における見方の一つで、世界の記述として表れる陳述は、そのようなものとして解釈されるべきではなく、代わりに「ふりをする」事例とし...
虚構主義(きょこうしゅぎ、英: Fictionalism)とは哲学における見方の一つで、世界の記述として表れる陳述は、そのようなものとして解釈されるべきではなく、代わりに「ふりをする」事例とし...
.mw-parser-output .ambox{border:1px solid #a2a9b1;color:black;border-left:10px solid #36c;background...
.mw-parser-output .ambox{border:1px solid #a2a9b1;color:black;border-left:10px solid #36c;background...
.mw-parser-output .ambox{border:1px solid #a2a9b1;color:black;border-left:10px solid #36c;background...
ナビゲーションに移動検索に移動Sir Michael Anthony Eardley Dummettマイケル・ダメット生誕1925年時代20世紀の哲学者地域西洋哲学学派分析哲学研究分野哲学史、数学の哲...
ナビゲーションに移動検索に移動Sir Michael Anthony Eardley Dummettマイケル・ダメット生誕1925年時代20世紀の哲学者地域西洋哲学学派分析哲学研究分野哲学史、数学の哲...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS