From Wikipedia, the free encyclopedia
|
|
This article has been automatically assessed as Stub-Class by WikiProject Biography because it uses a stub template.
- If you agree with the assessment, please remove {{WPBiography}}'s auto=yes parameter from this talk page.
- If you disagree with the assessment, please change it by editing the class parameter of the {{WPBiography}} template, removing {{WPBiography}}'s auto=yes parameter from this talk page, and removing the stub template from the article.
|
[edit] Formalisation of intuitionistic logic
A claim commonly made about Heyting is that he put intuitionistic logic on a formal footing, and clearly he is a central figure in this story, which I think would be appropriate to outline in this article. There was early work done on the formalisation of intuitionistic logic on this by Kolmogorov (1925) and Gentzen and Goedel in the 1930s, and of course Brouwer's notes about the interpretation of mathematical statements in the absence of principle of the excluded middle is very much to the point here (1929?): does anyone know where I could find an account of the orginins and exchange of ideas? ---- Charles Stewart 21:36, 4 Dec 2004 (UTC)
