[FOM] some questions about "336:Undecidability/Euclidean geometry/2 (Harvey Friedman)"

Richard Pollack 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
unit square?

3. I would like to see more detailed proofs of theorems 1 and 2.


Ricky Pollack
Professor Emeritus Mathematics
Courant Institute of Mathematical Sciences/NYU
 Office: Room 716, Warren Weaver Hall (Courant
Phone: 212-998-3167
Fax: 212-995-4121
Mailing Address: 251 Mercer Street,
		            New York, NY 10012, U.S.A.
Email: pollack at cims,nyu.edu
homepage url:

More information about the FOM mailing list