@TechReport{CDMTCS497, author = "C.S. Calude and D. Thompson", title = "Incompleteness, Undecidability and Automated Proofs", institution = "Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland, New Zealand", type = "Report {CDMTCS}-497", month = may, year = 2016, url = "https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/download.php?selected-id=622", updated = "BibTex database updated Sun Oct 6 16:39:23 2024 NZST", }