[FOM] Analyticity of Geometry
Charlie
silver_1 at mindspring.com
Mon Jul 4 18:46:36 EDT 2016
I would read the fairly recent article (12-2009) by Jeremy Avigad et al. entitled “A Formal System for Euclid’s Elements,” which is available in .pdf form on the web.
I am unaware of Harvey’s paper, which would be of interest to me as well. Someone please inform me how to find it— Harvey?
Charlie Silver
> On Jul 4, 2016, at 11:45 AM, Mghanga D. Mwakima <dmwakima at college.harvard.edu> wrote:
>
> Dear members of the FOM mailing list,
>
> I am currently working on a paper on the analyticity (or lack thereof) of geometry - restricting myself to Euclidean geometry. I am aware of Tarski’s 1959 What is Elementary Geometry; and in a paper by Marvin J. Greenberg 2011 "Old and New Results in the Foundations of Elementary Plane Euclidean and Non-Euclidean Geometries” he cites Harvey Friedman’s 1999 paper "A consistency proof for elementary algebra and geometry”
>
> So, could someone help me access Harvey Friedman’s paper? Also, are there other resources that I could use in exploring this question.
>
> Thank you,
> David Mwakima
>
>
>
>
>
>
>
>
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160704/7a080a71/attachment.html>
More information about the FOM
mailing list