What Makes a Mathematician Tick\l (Invited Talk)

DOI10.4230/LIPICS.ITP.2019.2MaRDI QIDQ5875405zbMATH OpenOpenAlexFDO

Authors Kevin Buzzard

Publication date 3 February 2023

Full work available at URL http://drops.dagstuhl.de/opus/volltexte/2019/11057/pdf/LIPIcs-ITP-2019-2.pdf

zbMATH Keywords

formalization of mathematics

Mathematics Subject Classification ID

This page was built for publication: What Makes a Mathematician Tick\l (Invited Talk)

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