He's probably one of those constructivists who don't believe in non-computable numbers. I recommend this post (and its comment section) to anyone interested in

He's probably one of those constructivists who don't believe in non-computable numbers. I recommend this post (and its comment section) to anyone interested in the subject: http://www.goodmath.org/blog/2011/02/10/e-e-escultura-and-the-field-axioms/ http://www.goodmath.org/blog/2011/02/10/e-e-escultura-and-th...