Talk:List of disproved mathematical ideas

Latest comment: 7 years ago by Andreasabel in topic 4 color theorem was proven by Gonthier (2005)

Untitled edit

The reference is to an article restricted to subscribers of the magazine. Not very Wikipedian.

More ideas edit

  • They used to believe that a complete consistent formalisation of Mathematics existed before Gödel's incompleteness theorem
  • They used to believe that functions were all "nicely behaved", as in only had countably many points where the function wasn't smooth.

--121.221.164.44 (talk) 05:10, 5 September 2014 (UTC)Reply

4 color theorem was proven by Gonthier (2005) edit

I removed the 4 color theorem from the list of disproved mathematical ideas. It was finally completely proven by Georges Gonthier in 2005, even fully formally verified.Andreasabel (talk) 21:47, 11 September 2016 (UTC)Reply