FOM: Intuitionism, Godel

Lou van den Dries vdries at msri.org
Tue Mar 10 12:08:18 EST 1998


Faltings proof *does* provide (with a bit of extra work) a bound on the
number of exceptions (as does Roth's proof of his theorem), although not
a bound on the size of the exceptions. (I mean a bound effective in the
data). -Lou van den Dries-





More information about the FOM mailing list