39. Sistema assiomatico di Hilbert per la logica proposizionale

Di Yggdrasill

Yggdrasill è studioso di logica, matematica, fisica e chimica. Si è occupato di didattica, formazione e consulenza, dedicando la propria vita principalmente ad analisi, ricerca e approfondimento dei sistemi e linguaggi formali, delle teorie scientifiche e relative implicazioni filosofiche. Mosso da incontenibile curiosità e grande interesse per la conoscenza in sé, è dedito alla costante esplorazione delle varie discipline scientifiche e filosofiche, ritenendo che il loro studio costituisca un elemento imprescindibile per lo sviluppo del pensiero critico e razionale. Ateo per “vocazione” e razionalista per formazione, amante dei paradossi e perseguitato dalle contraddizioni, non può che “presentarsi” come segue: «Di fisica e di chimica, le teorie e altre scientifiche diavolerie ben fondate son sulla logica e parlano lingua di matematica. Assiste alla nascita della teoria la beneamata filosofia: dal primo sviluppo al suo svolgimento; e per finire, senza sgomento, dei risultati vaglia opzioni, validità, interpretazioni: vi sembra niente? Vi sembra poco? Per me la scienza non è un gioco! E io apprendo, studio e diffondo questo splendore per tutto il mondo»