TY - JOUR
AU - Burgess, John B.
PY - 2024/09/10
Y2 - 2024/11/12
TI - Construction Theorems and Constructive Proofs in Geometry
JF - Journal for the Philosophy of Mathematics
JA - JPM
VL - 1
IS -
SE - Articles
DO - 10.36253/jpm-2932
UR - https://riviste.fupress.net/index.php/jpm/article/view/2932
SP - 23-41
AB - <div class="page" title="Page 29"><div class="layoutArea"><div class="column"><p>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.</p></div></div></div>
ER -