David Hilbert e il metodo assiomatico

David Hilbert (1862-1943) e stato sicuramente il matematico piu importante della sua epoca. Per la
trattazione teorica delle questioni delle scienze della natura egli affermo che esiste un metodo generale che
facilita comunque la precisazione dell’impostazione del problema e aiuta a preparare la soluzione di esso, e
cioe il metodo assiomatico. L’idea di fondo consiste nel fatto che anche in ambiti conoscitivi di vasta
estensione, bastano poche proposizioni – dette assiomi – per costruire puramente in maniera logica l’intero
edificio della teoria. Ne e un esempio la biologia moderna, dove la totalita delle leggi dell’ereditarieta si
ricavano come applicazione degli assiomi della congruenza lineare, cioe dei teoremi geometrici elementari
sul trasporto dei segmenti. Perche la teoria di un campo conoscitivo possa servire al suo scopo (orientare e
ordinare), devono essere soddisfatti principalmente due requisiti:
1. Si deve offrire un quadro complessivo sulla dipendenza dei teoremi della teoria, in altre parole gli
assiomi non devono derivare da altri assiomi, il che garantisce un’effettiva natura logica al sistema;
2. Si deve garantire la non-contradditorieta di tutti i teoremi della teoria.
Tutto cio che puo essere oggetto del pensiero scientifico, non appena e maturo per la formazione di una
teoria, cade sotto il metodo assiomatico e per suo tramite sotto la matematica. Progredendo verso livelli piu
profondi di assiomi, nel senso sopra esposto, otteniamo anche illuminazioni sempre piu profonde sulla
natura del pensiero scientifico e diveniamo sempre piu consapevoli dell’unita del nostro sapere.

Grundlagen der Geometrie (1900) – In quest’opera, simbolicamente pubblicata ad inizio secolo, Hilbert si
occupo di dare una formalizzazione assiomatica logica degli elementi di Euclide, distingue quindi come
segue:
 Concetti primitivi (non definibili): punto, retta, piano;
 Relazioni binarie primitive: Contiene (il punto nella retta, la retta nel piano), stare in
mezzo (C tra A e B), congruenza (angoli e segmenti).

Definisce poi 20 assiomi, 21 considerando l’assioma di completezza:

ASSIOMI DI COLLEGAMENTO
1. Due punti distinti individuano una retta;
2. Ogni coppia di punti di una retta individua tale retta;
3. Tre punti non allineati dello spazio individuano un piano;
4. Qualsiasi terna di punti non allineati dello spazio individuano un piano;
5. Se due punti di una retta giacciono su un piano tutti i punti della retta giacciono su tale piano;
6. Se due piani hanno un punto in comune avranno almeno un secondo punto in comune;
7. Ogni retta contiene almeno due punti, ogni piano contiene almeno tre punti;
8. Esistono almeno quattro punti che non giacciono sullo stesso piano.

ASSIOMI DI ORDINAMENTO
1. Se un punto A sta tra B e C, A sta anche tra C e B, i punti sono allineati;
2. Dati due punti distinti A e B, esistono C e D su r di AB tali che CaB e AbD;
3. Dati tre punti distinti e allineati, ne esiste esattamente uno che giace tra gli altri due;
4. Dati A, B e C non allineati in p, ed una r in p che non contiene nessuno dei punti; se r contiene un punto
di AB allora contiene anche un punto di AC o BC;

ASSIOMI DI CONGRUENZA
1. Se A e B appartengono ad r ed A’ sta su r’, si puo trovare un B’ tale che AB=A’B’;
2. La congruenza e transitiva, cioe se A’B’ e A’’B’’ sono congruenti ad AB allora A’B’=A’’B’’;
3. Siano AB e BC segmenti su una retta r privi di punti interni comuni, e siano A’B’ e B’C’ segmenti su
una retta r’ privi di punti comuni. Se AB=A’B’ e BC=B’C’, allora AC=A’C’;
4. Sia AbC un angolo e B’C’ una semiretta, esistono e sono uniche due semirette B’D e B’E tali che
l’angolo DB’C’ e congruente ad AbC e Eb’C’ e congruente all’angolo AbC;
5. La relazione di congruenza tra angoli e transitiva.
6. Se per due triangoli ABC e A’B’C’ si ha che AB=A’B’, AC=A’C’ e l’angolo tra essi compreso e
congruente allora ABC=A’B’C’.
ASSIOMA DELLE PARALLELE (Assioma di Playfair)
Dati una retta r, un punto A non di r, ed un piano p contenente entrambi, esiste al piu una retta in p
contenente A e non contenente nessun punto di r.

ASSIOMI DI CONTINUITA’
1. Assioma di Archimede – Dati x, y e R+ con x<y allora esiste un n appartenente ad N tale che nx ≥y.
Ovvero dati due segmenti diversi esiste sempre un multiplo del minore che supera il maggiore.
2. Assioma di completezza o Assioma di Dedekind – Ad un sistema di punti, rette e piani e
impossibile aggiungere altri elementi geometrici in modo che il sistema cosi generalizzato formi una
nuova geometria obbediente a tutti e 20 i precedenti assiomi.
Mentre per Frege gli assiomi sono preposizioni vere, indimostrabili perche intuitivamente evidenti e dunque
non possono entrare in contraddizione; per Hilbert se gli assiomi arbitrariamente stabiliti non sono in
contraddizione, con tutte le loro conseguenze, allora essi sono veri.