首页   按字顺浏览 期刊浏览 卷期浏览 Computers, Proofs and Mathematicians: A Philosophical Investigation of the Four-Color P...
Computers, Proofs and Mathematicians: A Philosophical Investigation of the Four-Color Proof

 

作者: TymoczkoThomas,  

 

期刊: Mathematics Magazine  （Taylor Available online 1980）
卷期: Volume 53, issue 3  

页码: 131-138

 

ISSN:0025-570X

 

年代: 1980

 

DOI:10.1080/0025570X.1980.11976844

 

出版商: Taylor&Francis

 

数据来源: Taylor

 

摘要:

Computer-assisted proofs illustrate the need for a more realistic philosophy of mathematics that allows for fallibility and empirical elements.

 

点击下载:  PDF (599KB)



返 回