Fondamenti della matematica 1

L'obiettivo del corso è quello di fornire allo studente un'approfondita conoscenza di alcune moderne teorie assiomatiche. L'argomento principale è costituito dallo studio approfondito del primo esempio di teoria assiomatica moderna, costituito dai fondamenti della geometria secondo il punto di vista di Hilbert. Saranno inoltre presentati esempi di geometrie non euclidee, gli elementi della teoria assiomatica della geometria di Tarski e della teoria degli insiemi ZF.

Non definiti