Constructivity in Geometry

$54.97 plus tax (Refund Policy)

Buy Article:

Abstract:

We review and contrast three ways to make up a formal Euclidean geometry which one might call constructive, in a computational sense. The starting point is the first-order geometry created by Tarski.

Document Type: Research Article

DOI: http://dx.doi.org/10.1080/01445349950044206

Affiliations: Department of Mathematics, State University of New York at Buffalo, Buffalo NY 14260, USA;

Publication date: October 1, 1999

More about this publication?
Related content

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more