Declan Thompson
Declan Thompson
Home
Blogs
All blogs
AI Generated Art
Blogic
Background
Experience
Education
Awards and Scholarships
Projects
Publications and Talks
Contact
Formal Proof
Incompleteness, Undecidability and Automated Proofs
Incompleteness and undecidability have been used for many years as arguments against automatising the practice of mathematics. The …
Cristian S. Calude
,
Declan Thompson
Cite
Cite
×