Sir Timothy Gowers Interview

DOI10.1090/NOTI1432zbMATH Open1352.01033OpenAlexW2519151026MaRDI QIDQ2952056FDOQ2952056

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
• A Brief Note on Gödel, Nagel, Minds, and Machines
• Human-centered automated proof search

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)