Talk:Glivenko's theorem

From Wikipedia, the free encyclopedia
Jump to: navigation, search

The motivation of Glivenko's theorem[edit]

The the introductory remark about showing the consistency and coherence of IL is interesting since nowadays, I take it, people consider Glivenko's theorem to show that classical logic can be made sense of from an intuitionistic point of view. Compare this with the usual modal translations, where the box is interpreted as a provability operator, which allow classicists to make sense of intuitionistic logic. It might be worth adding remarks along these lines to the intro., especially by someone with a strong background in the history and philosophy of IL. Takers? Nortexoid (talk) 08:47, 30 April 2009 (UTC)

Take a look at Mark van Atten's SEP article (linked from article); it is very good. I'm proposing merging this article into the Godel-Gentzen tranlsation one, and moving both to Double-negation translation: the topics are clearly best treated together. — Charles Stewart (talk) 09:29, 30 April 2009 (UTC)
Thanks for the reference. The merge sounds like a good idea since the topics are so closely related. At least a "See also" section pointing to these related articles should be added here. Nortexoid (talk) 23:14, 30 April 2009 (UTC)


"It was proven by Valery Glivenko in 1929, with the aim of showing that intuitionistic logic is consistent and coherent." What does "coherent" mean here? --VillemVillemVillem (talk) 16:34, 1 November 2011 (UTC)