Brouwer's intuitionistic mathematics was heavily criticized by his contemporaries, most notably Hilbert. For almost a century it was casually ridiculed by mathematicians who had no clue whatsoever about it. However, in the late 20th and early 21st century the importance of intuitionistic logic was recognized by mathematicians who worked in areas close to computer science. By the late 21st century the tables were turned and most mathematicians were educated in the tradition of constructive Martin-Löf type theory (a starting development for many mathematicians born in the 20th century, who dismissed Martin-Löf's work on the grounds of it being useful exclusively for philosophically commited constructivists) . In their ignorace they now considered ridicule of Zermelo and Fraenkel an appropriate activity. Will they ever learn?
|
2 | added 182 characters in body; added 16 characters in body; deleted 13 characters in body; added 1 characters in body | ||
|
|
||||
|
|
1 | [made Community Wiki] | ||
|
Brouwer's intuitionistic mathematics was heavily criticized by his contemporaries, most notably Hilbert. For almost a century it was casually ridiculed by mathematicians who had no clue whatsoever about it. However, in the late 20th and early 21st century the importance of intuitionistic logic was recognized by mathematicians who worked in areas close to computer science. By the late 21st century the tables were turned and most mathematicians were educated in the tradition of constructive Martin-Löf type theory. In their ignorace they now considered ridicule of Zermelo and Fraenkel an appropriate activity. Will they ever learn? |
||||
