Kurt Gödel and the mechanization of mathematics

Research output: Contribution to journalArticleGeneral public

Original languageEnglish
NewspaperTimes Literary Supplement : The leading international weekly for literary culture
Publication statusPublished - 20 Apr 2018
MoE publication typeE1 Popularised article, newspaper article

Fields of Science

  • 111 Mathematics

Cite this