檢視阿蘭德·海廷的原始碼

'''阿蘭德 ・ 海廷'''( 英語：Arend Heyting，一八九八年五月初九—一九八空年七月九號 ) 是荷蘭數學家佮邏輯學家。伊是魯伊茲 ・ 布勞威爾佇阿姆斯特丹大學的學生之一，做誠濟工課來予直覺主義邏輯徛佇成做數理邏輯一部份。海廷為著整編織勞威爾做數學研究的方法而對直覺主義邏輯做著頭擺的形式開發。共布勞威爾的名包含佇 BHK 釋義中真大程度上是尊敬，因為布勞威爾佇原則上反對直覺主義邏輯的任何形式化 ( 並且共海廷的工課號做「沒有果實驗」)。

海廷生佇荷蘭阿姆斯特丹，卒於瑞士盧加諾。

==參見==

* 海廷代數
* 海廷準算

==引用==

==選定出版物==

* Heyting , A . ( 一千九百五十六 ) Intuitionism . An introduction . North-Holland Publishing Co . , Amsterdam .
* Heyting , A . ( 一千九百七十四 ) Mathematische Grundlagenforschung , Intuitionismus , Beweistheorie . ( German ) Reprint . Springer-Verlag , Berlin–New York .
* Heijting , A . ( 一千九百七十三 ) Address to Professor A . Robinson . At the occasion of the Brouwer memorial lecture given by Prof . A . Robinson on the 二十六 th April 一千九百七十三 . Nieuw Arch . Wisk . ( 三 ) 二十一 , pp .   一百三十四—一百三十七喔 .
* Heyting , A . ( 一千九百六十六 ) Intuitionism : An introduction . Second revised edition North-Holland Publishing Co . , Amsterdam .
* Heyting , A . ( 一千九百六十二 ) After thirty years . 一千九百六十二 Logic , Methodology and Philosophy of Science ( Proc . 一千九百六十 Internat . Congr . ) pp .   一百九十四—一百九十七的 Stanford Univ . Press , Stanford , Calif .
* Heyting , A . ( 一千九百八十 ) Axiomatic projective geometry . Second edition . Bibliotheca Mathematica [Mathematics Library] , V . Wolters-Noordhoff Scientific Publications , Ltd . , Groningen ; North-Holland Publishing Co . , Amsterdam–New York .
* Heyting , A . ( 一千九百六十三 ) Axiomatic projective geometry . Bibliotheca Mathematica , Vol . V . Interscience Publishers John Wiley & Sons , Inc . , New York ; P . Noordhoff N . V . , Groningen ; North-Holland Publishing Co . , Amsterdam .
* Heyting , A . ( 一千九百五十九 ) Axioms for intuitionistic plane affine geometry . The axiomatic method . With special reference to geometry and physics . Proceedings of an International Symposium held at the Univ . of Calif . , Berkeley , Dec . 二十六 , 一千九百五十七–Jan 四 , 一千九百五十八 ( edited by L . Henkin , P . Suppes and A . Tarski ) pp .   百六—一百七十三 Studies in Logic and the Foundations of Mathematics North-Holland Publishing Co . , Amsterdam .
* Heyting , A . ( 一千九百四十一 ) Untersuchungen ber intuitionistische Algebra . ( German ) Verh . Nederl . Akad . Wetensch . Afd . Natuurk . Sect . 一 . 十八 . no . 二 , 三十六 pp .

==外部連結==

* 約翰 ・ J ・ 奧康納；埃德蒙 ・ F ・ 羅伯遴 , Heyting , MacTutor 數學史檔案（英語）
* 阿蘭德 ・ 海廷佇數學譜系計畫的資料。

[[分類: 待校正]]