Giorgio Pastore ha scritto nel messaggio
<390766F8.3D67DE9D_at_univ.trieste.it>...
>Per un matematico ha senso chiedersi invece se, una volta definito un
>sistema di assiomi non contraddittori per la geometria, sia possibile
o
>no dimostrare il teorema mediante deduzioni logiche.
Cioe', se non ho frainteso completamente cio' che intendi, si possono
costruire infiniti tipi di geometrie, basandosi su assiomi anche del
tutto lontani dall'esperienza sensibile, fermo restando che questi
assiomi vengano rispettati nella costruzione di questa nuova
geometria?
--
Don-K-boy/ICQ 47875651
Received on Sat Apr 29 2000 - 00:00:00 CEST