基本內(nèi)容
人物介紹
早年就學(xué)于阿姆斯特丹大學(xué).后留校任教，1948年晉升為教授.海丁是布勞威爾(Brouwer , L. E. J. )直覺主義的創(chuàng)建者)的繼承人之一他發(fā)展了數(shù)學(xué)基礎(chǔ)研究中的直覺主義學(xué)派的理論，并在此基礎(chǔ)上建立了二值符號邏輯.這一邏輯規(guī)律，像其他多值邏輯規(guī)律一樣，不接受三重和雙重否定規(guī)律.他還和其他人共同構(gòu)造了直覺主義的謂詞演算。
海丁(Heyting, Arend, 1898-1980)，荷蘭數(shù)學(xué)家，生于阿姆斯特丹，他的著作有《數(shù)學(xué)基礎(chǔ)研究》(1934)，《直覺主義》(1956)等。
人物介紹
早年就學(xué)于阿姆斯特丹大學(xué).后留校任教，1948年晉升為教授.海丁是布勞威爾(Brouwer , L. E. J. )直覺主義的創(chuàng)建者)的繼承人之一他發(fā)展了數(shù)學(xué)基礎(chǔ)研究中的直覺主義學(xué)派的理論，并在此基礎(chǔ)上建立了二值符號邏輯.這一邏輯規(guī)律，像其他多值邏輯規(guī)律一樣，不接受三重和雙重否定規(guī)律.他還和其他人共同構(gòu)造了直覺主義的謂詞演算。