FOM: Eliminability of "Analytic" methods in number theory

JOE SHIPMAN, BLOOMBERG/ NEW YORK jshipman at bloomberg.net
Wed Feb 25 17:03:56 EST 1998


Two questions for you, Steve:
 1) What "big theorems" of number theory have actually been proved without
going beyond the methods you reduce to PRA or PA?  Can Wiles's theorem be so
proved?  Faltings's theorem?  Goldfeld's result on the zeroes of the Riemann
zeta function?  The result that every sufficiently large even number is the sum
of a prime and the product of two primes?
 2) What kind of blowup is there in length of proof in your reductions?
-- Joe Shipman






More information about the FOM mailing list