[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 mailing list