[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
--
Ricky Pollack
Professor Emeritus Mathematics
Courant Institute of Mathematical Sciences/NYU
Office: Room 716, Warren Weaver Hall (Courant
Institute).
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:
http://math.nyu.edu/faculty/pollack/index.html
More information about the FOM
mailing list