Incompleteness, Undecidability and Automated Proofs - (Invited Talk).

Cristian S. Calude, Declan Thompson

Browse the full CASC paper archive.