Talk:Arend Heyting

	Biography portal This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to join the project and contribute to the discussion. For instructions on how to use this banner, please refer to the documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography articles
	This article is supported by the science and academia work group.

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)