Abstract
Mathematicians still believe in absolute truth and formal proof, though Gödel and Turing showed that no axiomatic theory includes all mathematical truths. Algorithmic information theory confirms this. Gregory Chaitin explores incompleteness and uncomputability, and reflects on his work in AIT.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have