Construction Theorems and Constructive Proofs in Geometry

Authors

  • John B. Burgess Princeton University

DOI:

https://doi.org/10.36253/jpm-2932

Keywords:

Euclidean geometry, straightedge and compass, construction problems, existence theorems

Abstract

Given Tarski’s version of Euclidean straightedge and compass geometry, it is shown how to express construction theorems, and shown that for any purely existential theorem there is a construction theorem implying it. Some related results and open questions are then briefly described.

Downloads

Published

2024-09-10

How to Cite

Burgess, J. B. (2024). Construction Theorems and Constructive Proofs in Geometry. Journal for the Philosophy of Mathematics, 1, 23–41. https://doi.org/10.36253/jpm-2932

Issue

Vol. 1 (2024)

Section

Articles

License

Copyright (c) 2024 John B. Burgess

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

  • Copyright on any open access article in JPM published by FUP is retained by the author(s).
  • Authors grant FUP a license to publish the article and identify itself as the original publisher.
  • Authors also grant any third party the right to use the article freely as long as its integrity is maintained and its original authors, citation details and publisher are identified.
  • The Creative Commons Attribution License 4.0 formalizes these and other terms and conditions of publishing articles.
  • In accordance with our Open Data policy, the Creative Commons CC0 1.0 Public Domain Dedication waiver applies to all published data in JPM open access articles.