![]() | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||
![]() | Biography: Science and Academia | ||||||
|
Formalisation of intuitionistic logic
editA 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)