文件名称：论Godel不完备性定理’ (1981年)
文件大小：6.34MB
文件格式：PDF
更新时间：2024-07-07 17:38:46
自然科学 论文
The object of this expository paper is to disclose the real essential idea involved in Godel's imcompleteness theorem through a detailed analysis of the proof presented in Arbib's booklet. In '1 very extensive definitions have been given of the potential