「アレン・ハイティング」を解説文に含む見出し語の検索結果(1～10/30件中)
ナビゲーションに移動検索に移動数学におけるハイティング代数（ハイティングだいすう、英: Heyting algebra）とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した...
ナビゲーションに移動検索に移動数学におけるハイティング代数（ハイティングだいすう、英: Heyting algebra）とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した...
ナビゲーションに移動検索に移動数学におけるハイティング代数（ハイティングだいすう、英: Heyting algebra）とは、アレン・ハイティングにちなんで名付けられた、ブール代数を一般化した...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/10 03:00 UTC 版)「概念記法」の記事における「他の仕事への影響」の解説『概念記法』がドイツの数学文献の中で...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/15 14:19 UTC 版)「数学の哲学」の記事における「直観主義」の解説詳細は「直観主義 (数学の哲学)」を参照 ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/26 00:50 UTC 版)「直観」の記事における「西洋哲学における直観」の解説西洋哲学(philosophy)にお...
アレン・ハイティング（Arend Heyting、1898年5月9日 - 1980年7月9日）は、オランダの数学者、論理学者。1898年にオランダの首都アムステルダムで生まれる。元々は形式主義者である...
アレン・ハイティング（Arend Heyting、1898年5月9日 - 1980年7月9日）は、オランダの数学者、論理学者。1898年にオランダの首都アムステルダムで生まれる。元々は形式主義者である...
アレン・ハイティング（Arend Heyting、1898年5月9日 - 1980年7月9日）は、オランダの数学者、論理学者。1898年にオランダの首都アムステルダムで生まれる。元々は形式主義者である...
L. E. J. ブラウワーLuitzen Egbertus Jan Brouwer生誕 (1881-02-27) 1881年2月27日 オランダ 南ホラント州Overschie（オランダ語版）死没 ...
< 前の結果 | 次の結果 >