Hilbert
Se raccogliamo insieme i dati di un campo conoscitivo ci accorgiamo che
questi possono essere ordinati e questo viene ottenuto per mezzo di una
intelaiatura di concetti. L'intelaiatura di concetti non è altro che la teoria
esaminando una teoria vediamo chi alla base della costruzione dei
concetti ci sono poche band individuate proposizioni dette assiomi
quindi affinché la teoria di un campo conoscitivo possa servire al
suo scopo deve rispettare innanzitutto due requisiti
o Deve avere un quadro complessivo della dipendenza dei
teoremi dalla teoria
o una garanzia della non contraddittorietà di tutti i teoremi
questo è esattamente il metodo assiomatico
in merito alla dipendenza degli assiomi il classico esempio è offerto al
cosiddetto assioma delle rette parallele nella geometria ad esempio
oppure della dipendenza l'assioma di continuità
mentre per il secondo bisogna avere appunto fare in modo che un
teorema non contraddica qualcosa di già teorizzato nella stessa teoria
la contraddizione più classica è proprio il paradosso degli insiemi di tutti
gli insiemi
quindi il requisito principale dell' assiomatica è che in base alle assiomi
fissati le contraddizioni sono assolutamente impossibili
per far si può fare anche in modo che un campo conoscitivo più stretto si
riconduca ad uno più largo come la riconduzione della geometria alla
aritmetica
questa operazione però non è possibile in due casi
o Con gli assiomi relativi ai numeri interi cioè naturali
o con gli assiomi e la Fondazione della teoria degli insiemi
poiché essendo queste la base della logica non essendoci nulla di più
ampio della logica non si può effettuare l'operazione di riconduzione
ma l'indagine sulla non contraddittorietà risulta inevitabile quindi sembra
necessario assiomatizzare la logica stessa e dimostrare che sia la teoria
dei numeri che quella degli insiemi sono solo parti della logica
per questo vengono fuori alcune tra le domande più spinose
o problema della risolubilità di ogni problema
o problema della controllabilità a posteriori di un risultato
o questione della decidibilità di un problema matematico mediante
un algoritmo
o problema del criterio di semplicità delle dimostrazioni matematiche
o problema del rapporto tra contenutistici ita e formalismo in
matematica
se mancano le risposte a questi problemi (noi sappiamo che manca no)
non è possibile assiomatizzare la logica
secondo hilbert ma la possibile risoluzione era fare del concetto stesso di
dimostrazione matematica un oggetto di indagine
egli infatti credeva che tutto ciò che può essere oggetto del pensiero
scientifico può essere rivoltato sotto il metodo assiomatico e quindi
ricondotto a un criterio di coerenza non contraddittorietà e decidibilità
totale Con la matematica che risulta il più alto tra questi metodi