Talk:Arend Heyting

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)