首页   按字顺浏览 期刊浏览 卷期浏览 A Proof of Gödel's Theorem in Terms of Computer Programs
A Proof of Gödel's Theorem in Terms of Computer Programs

 

作者: CharlesworthArthur,  

 

期刊: Mathematics Magazine  （Taylor Available online 1981）
卷期: Volume 54, issue 3  

页码: 109-121

 

ISSN:0025-570X

 

年代: 1981

 

DOI:10.1080/0025570X.1981.11976909

 

出版商: Taylor&Francis

 

数据来源: Taylor

 

摘要:

By considering a few conditions which a universal axiomatic system should satisfy, it is not hard to see that such a system is impossible.

 

点击下载:  PDF (934KB)



返 回