Sir Timothy Gowers Interview

DOI10.1090/noti1432zbMath1352.01033OpenAlexW2519151026MaRDI QIDQ2952056

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)

Related Items (4)

Proofs as Objects ⋮ A Brief Note on Gödel, Nagel, Minds, and Machines ⋮ Human-centered automated proof search ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF

This page was built for publication: Sir Timothy Gowers Interview