「ハイティング」を解説文に含む見出し語の検索結果(31～40/145件中)
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: construc...
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: construc...
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: construc...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/10 03:00 UTC 版)「概念記法」の記事における「他の仕事への影響」の解説『概念記法』がドイツの数学文献の中で...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/02 14:25 UTC 版)「直観主義 (数学の哲学)」の記事における「来歴と評価」の解説これに類する主張は、カント...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/15 14:19 UTC 版)「数学の哲学」の記事における「直観主義」の解説詳細は「直観主義 (数学の哲学)」を参照 ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/26 00:50 UTC 版)「直観」の記事における「西洋哲学における直観」の解説西洋哲学(philosophy)にお...
ナビゲーションに移動検索に移動数学において、多元環（たげんかん、algebra）とは可換環上の加群としての構造を持ち、その構造と両立しているような積を持つ代数的構造のことである。algebra を直訳...
数学において、ブール素イデアル定理（ブールそイデアルていり、Boolean prime ideal theorem）とはブール代数のイデアルは素イデアルに拡張できるという定理である。集合上のフィルター...
数理論理学の分野での、証明論において、二重否定翻訳（にじゅうひていほんやく、Double-negation translation、ときに否定翻訳とも）は、古典論理を直観主義論理に埋め込む一般的なアプ...