Il Sistema Formale come Grafo Orientato
Un sistema assiomatico formale definisce un grafo orientato:
- Vertici: tutte le formule ben formate costruibili dai simboli del sistema
- Archi: passi di inferenza — una formula segue dalle altre per una regola di inferenza
- Assiomi: vertici sorgente distinti senza archi entranti
- Teoremi: tutti i vertici raggiungibili dall'insieme assiomatico
Una dimostrazione del teorema T: un percorso orientato dall'insieme assiomatico a T. La dimostrazione è una sequenza di vertici A₁, A₂, ..., Aₙ = T dove ogni passo segue per una regola di inferenza.
Due proprietà fondamentali di un sistema formale, espresse geometricamente:
Coerenza: nessuna formula F e la sua negazione ¬F sono entrambe raggiungibili dagli assiomi. Geometricamente: il vertice teorema F e il vertice teorema ¬F non sono entrambi raggiungibili. Nessun percorso di 'esplosione' esiste.
Completezza: ogni formula F o ¬F è un teorema (raggiungibile). Geometricamente: il grafo è fortemente connesso nel senso che per ogni vertice F, almeno uno tra F o ¬F ha un percorso dagli assiomi.
L'Incompletezza di Gödel come Proprietà Geometrica
Kurt Gödel provò nel 1931 che qualsiasi sistema formale coerente abbastanza potente da esprimere l'aritmetica di base è incompleto: esistono formule G tali che né G né ¬G è provabile.
Geometricamente: in qualsiasi sistema formale coerente sufficientemente ricco, ci sono vertici nel grafo formula che non sono raggiungibili dagli assiomi — né il vertice G né il vertice ¬G ha un percorso dall'insieme assiomatico.
La costruzione di Gödel: ha codificato una formula G che dice, in effetti, 'Io non sono provabile.' Se G fosse provabile, il sistema sarebbe incoerente (un'affermazione vera dice che non è provabile). Se ¬G fosse provabile, il sistema sarebbe incoerente (G sarebbe falso ma il sistema lo prova). Quindi né G né ¬G è provabile — G è un vertice non raggiungibile in un sistema coerente.
L'incompletezza non è un difetto degli assiomi scelti: Gödel ha mostrato che è una proprietà strutturale di qualsiasi sistema coerente sufficientemente espressivo da gestire l'aritmetica. I vertici non raggiungibili non possono essere rimossi aggiungendo altri assiomi senza generarne di nuovi.
Oggetti Matematici come Punti in uno Spazio
La visione platonica della matematica può essere formalizzata geometricamente: gli oggetti matematici abitano uno spazio astratto i cui punti sono gli oggetti stessi e la cui struttura è data dalle relazioni tra loro.
Considera i numeri naturali ℕ = {0, 1, 2, 3, ...}. La relazione di divisibilità definisce un ordine parziale: m divide n iff m | n. Questo ordine parziale definisce una geometria — il diagramma di Hasse del reticolo di divisibilità.
Ogni numero primo si trova in una posizione minima sopra 1. Ogni numero composto si trova sopra i suoi fattori primi. La struttura di questo spazio codifica tutta la teoria dei numeri.
Cosa rende questo Platonico: la struttura esiste indipendentemente dal fatto che una mente la studi. Il fatto che 7 è primo — che 7 non ha divisori tra 1 e 7 — è un fatto sulla posizione di 7 nel reticolo di divisibilità, indipendente dalla notazione, dalla cultura o dalla civiltà.
Qualsiasi civiltà che indaga il conteggio e la divisibilità scoprirà la stessa struttura. La geometria del sistema numerico è universale.
Navigare il Reticolo della Divisibilità
Nel reticolo di divisibilità, il minimo comune multiplo (mcm) di due numeri corrisponde al loro join (limite superiore inferiore) e il massimo comune divisore (mcd) corrisponde al loro meet (limite inferiore superiore).
Il mcd può essere calcolato tramite l'algoritmo euclideo: mcd(a, b) = mcd(b, a mod b), terminando quando b = 0.
Cosa l'Astrazione Porta Via
Astrazione geometrica: proiettare un oggetto ad alta dimensione su uno sottospazio a dimensione inferiore. La proiezione perde informazioni (coordinate non nel sottospazio) ma mantiene perfettamente la struttura del sottospazio.
L'astrazione matematica funziona allo stesso modo. Un gruppo è un insieme con un'operazione binaria che soddisfa quattro assiomi. Astrarre alla struttura di gruppo elimina: gli elementi specifici, la regola computazionale dell'operazione specifica, qualsiasi struttura aggiuntiva (ordine, metrica, topologia). Quello che rimane: lo scheletro di quattro assiomi.
Il guadagno: ogni teorema sui gruppi si applica a TUTTI i gruppi — interi sotto addizione, rotazioni sotto composizione, permutazioni sotto composizione, simmetrie di una molecola, gruppi di Galois di equazioni polinomiali — simultaneamente. Il teorema astratto è provabile una volta; le sue istanze sono gratis.
Questo è il motivo per cui i matematici puri resistono all'aggiunta di ipotesi specifiche del dominio: ogni assunzione aggiunta restringe l'applicabilità del teorema. Un teorema sui campi (aggiungendo inverso moltiplicativo) si applica a meno strutture di un teorema sui anelli (nessun inverso moltiplicativo richiesto).
Il Compromesso tra Precisione e Generalità
C'è un compromesso: i teoremi più astratti si applicano più ampiamente ma dicono meno sulle istanze specifiche. Un teorema su spazi vettoriali su un campo dice meno su ℝ^n di un teorema specificamente su ℝ^n (dove distanza e angolo sono definiti).
La regola implicita di Hamming: astrarre il più possibile mantenendo le proprietà di cui hai bisogno. Astrarre troppo e i tuoi teoremi diventano vacuamente generali ('qualsiasi insieme con qualsiasi operazione soddisfa...'). Astrarre troppo poco e i tuoi teoremi non si trasferiscono alle nuove applicazioni.