[FOM] Undecidability in geometry

José Félix Costa fgc at math.ist.utl.pt
Thu Oct 24 03:27:53 EDT 2002

Dear Fred,

In fact you can build up an abstract computer using a ruler and a compass
(as types of commands). Some Euclidean proofs turn to be programs for this
abstract computer. I will ask to my former student Francisco to send you a
draft of a paper on this matters.



J. Felix Costa
Departamento de Matematica
Instituto Superior Tecnico
Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL
tel:      351 - 21 - 841 71 45
fax:     351 - 21 - 841 75 98
e-mail:   fgc at math.ist.utl.pt
www:    http://fgc.math.ist.utl.pt/jfc.htm

More information about the FOM mailing list