Alla Ricerca di Ω

Chi segue le vicissitudini della logica matematica, da Hilbert in poi, sa quanto sia stato fondamentale il lavoro di alcuni eminenti matemetici, come Gödel e Turing, nel provare che non è possibile derivare all'interno di un sistema assiomatico formale tutte le verità possibili; ovvero, è possibile trovare enunciati veri non dimostrabili all’interno del sistema stesso.

Il medaglione creato per celebrare Chaitin ed il suo lavoro di ricerca di Ω.

Continua...