阿兰·邦迪;唐纳德·麦肯齐;迈克尔·阿提亚;安格斯·麦金太尔 在皇家学会“数学证明的本质”讨论会上所做的其他演讲摘要。 （英语） Zbl 1152.03303号 菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 363，编号18352461（2005）. 引用于6文件 MSC公司： 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 68-06 与计算机科学有关的会议记录、会议、收藏等 00A30型 数学哲学 PDF格式BibTeX公司 XML格式引用 \textit{A.Bundy}等人，Philos。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。363，编号1835，2461（2005；Zbl 1152.03303） 全文： 内政部