[FOM] MathOverflow question on f.o.m.
Timothy Y. Chow
tchow at alum.mit.edu
Tue Dec 13 12:55:16 EST 2016
On MathOverflow last month, someone asked the following question:
"What is some current research going on in the foundations of mathematics
about? Are the foundations of mathematics still a research area, or is
everything solved? When I think about foundations I'm thinking of reducing
everything to ZFC set theory + first order logic. Is this still
The question was closed as being "too broad" but then was re-opened.
There are currently two answers, one by Andrej Bauer and one by myself,
but additional answers would be welcome.
More information about the FOM