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

Mathematics Subject Classification ID

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)

MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation ⋮ Automated theorem provers: a practical tool for the working mathematician? ⋮ Integrating searching and authoring in Mizar ⋮ Discussing Hilbert's 24th problem ⋮ Metrically homogeneous graphs of diameter 3

This page was built for publication: Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’