Tra la fine del 1800 e gli inizi del 1900, molti matematici si posero il problema di riuscire ad assiomatizzare la geometria euclidea. Tra questi troviamo Alfred Tarski, che nell'anno accademico 1926/1927, propose all'università di Varsavia, un suo primo insieme di assiomi per la geometria euclidea. La sua teoria è formata da assiomi al primo ordine, e soprattutto rappresenta un importante esempio di teoria decidibile e completa per la geometria elementare.
La geometria come teoria del primo ordine: gli assiomi di Tarski
SCUCCIMARRA, ELENA
2022/2023
Abstract
Tra la fine del 1800 e gli inizi del 1900, molti matematici si posero il problema di riuscire ad assiomatizzare la geometria euclidea. Tra questi troviamo Alfred Tarski, che nell'anno accademico 1926/1927, propose all'università di Varsavia, un suo primo insieme di assiomi per la geometria euclidea. La sua teoria è formata da assiomi al primo ordine, e soprattutto rappresenta un importante esempio di teoria decidibile e completa per la geometria elementare.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Scuccimarra_2002611_Tesi.pdf
accesso aperto
Dimensione
820.09 kB
Formato
Adobe PDF
|
820.09 kB | Adobe PDF | Visualizza/Apri |
The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.12608/50174