Kurt Gödel Ordine dei libri

Kurt Gödel fu un logico, matematico e filosofo austriaco-americano che ebbe un impatto immenso sul pensiero scientifico e filosofico del XX secolo. È noto soprattutto per i suoi due teoremi di incompletezza, che dimostrarono che in ogni sistema assiomatico coerente e sufficientemente potente esistono proposizioni vere che non possono essere dimostrate a partire dagli assiomi. Per dimostrare questi teoremi, Gödel sviluppò una tecnica nota come numerazione gödeliana, che codifica le espressioni formali come numeri naturali. Il suo lavoro sulla teoria della dimostrazione chiarì anche i collegamenti tra diversi sistemi logici e dimostrò che l'ipotesi del continuo non è confutabile dagli assiomi accettati della teoria degli insiemi.