Re: Is there a formlisation of Euclidean geometry?
- From: Dan Piponi <dpiponi@xxxxxxxxx>
- Date: Mon, 3 Dec 2007 13:03:11 -0800 (PST)
On Dec 3, 12:19 pm, Randy Poe <poespam-t...@xxxxxxxxx> wrote:
Hilbert's axiomization is probably the most famous,
but not the only formalization of Euclidean geometry.
http://www.math.umbc.edu/~campbell/Math306Spr02/Axioms/Hilbert.html
Excellent. That's exactly the kind of thing I'm looking for.
--
Dan
.
- Follow-Ups:
- Re: Is there a formlisation of Euclidean geometry?
- From: Dan Piponi
- Re: Is there a formlisation of Euclidean geometry?
- References:
- Is there a formlisation of Euclidean geometry?
- From: Dan Piponi
- Re: Is there a formlisation of Euclidean geometry?
- From: Randy Poe
- Is there a formlisation of Euclidean geometry?
- Prev by Date: exposive topic in analysis
- Next by Date: Re: Is there a formlisation of Euclidean geometry?
- Previous by thread: Re: Is there a formlisation of Euclidean geometry?
- Next by thread: Re: Is there a formlisation of Euclidean geometry?
- Index(es):
