Fondamenti di geometria elementare, II. L'approccio di Tarski (dal 1926 in poi).
seminario tenuto da
Luca Giudici
Giugno
08
2016
algebra e geometria
ore
14:15
presso Seminario II
Relazioni primitive tra punti: stare fra (ternaria) e equidistanza (binaria tra coppie = quaternaria). Assiomi brevi e geometricamente visibili per le geometrie euclidea, iperbolica e assoluta di dimensione arbitraria. Analisi metamatematica dettagliata e elegante. Studio del frammento nel solo ``stare fra'', con sorprese.