Friedman and Reverse Mathematics
During the second half of the twentieth century, many mathematicians lost interest in the foundations of mathematics. One of the reasons for this decline was an increa...
Read more
Reverse Mathematics
Reverse mathematics has its origins in Harvey Friedman's 1974 address to the International Congress of Mathematicians. In it Friedman asked two fundamental questions: ...
Read more
Friedman and Reverse Mathematics