[FOM] some questions about "336:Undecidability/Euclidean geometry/2 (Harvey Friedman)"
pollack at cims.nyu.edu
Fri May 1 22:23:46 EDT 2009
I have 3 questions for Harvey Friedman.
1. Should the definition of "f is an equivalence between integral line
systems .." also state "for all k and L_1,...,L_k in S ..."?
2. To say that a line system S contains the perimeter of the unit
square do you mean that S contains 4 lines which are the sides of a
3. I would like to see more detailed proofs of theorems 1 and 2.
Professor Emeritus Mathematics
Courant Institute of Mathematical Sciences/NYU
Office: Room 716, Warren Weaver Hall (Courant
Mailing Address: 251 Mercer Street,
New York, NY 10012, U.S.A.
Email: pollack at cims,nyu.edu
More information about the FOM