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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call