Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’
DOI10.1098/rsta.2005.1659zbMath1152.03303OpenAlexW2124861528MaRDI QIDQ5301859
Alan Bundy, Michael F. Atiyah, Donald Mackenzie, Angus J. Macintyre
Publication date: 20 January 2009
Published in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1098/rsta.2005.1659
Philosophy of mathematics (00A30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (6)
This page was built for publication: Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’