Sir Timothy Gowers Interview

DOI10.1090/NOTI1432MaRDI QIDQ2952056zbMATH OpenOpenAlexFDO

Authors Alexander Diaz-Lopez

Publication date 29 December 2016

Published in Notices of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/noti1432

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70)

Cited in

(4)

• NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
• Proofs as Objects
• Human-centered automated proof search
• A brief note on Gödel, Nagel, minds, and machines

This page was built for publication: Sir Timothy Gowers Interview

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2952056)