Five Papers on Logic and Foundations

• ISBN 13 : 9780821896693
• ISBN 10 : 0821896695
• Judul : Five Papers on Logic and Foundations
• Pengarang : ,  
• Penerbit : American Mathematical Soc.
• Bahasa : en
• Tahun : 1972
• Halaman : 288
• Halaman : 288
• Google Book : https://play.google.com/store/books/details?id=z3Zb-bL56JQC&source=gbs_api
• Ketersediaan :

99, 1972 A METHOD OF PRESENTING THE THEORY OF ALGORITHMS AND
ENUMERABLE SETS* G. S. CEfllN §1. The purpose of this article is to describe a
mathematical formalism which for certain applications of the theory of algorithms
may be more convenient than normal algorithms, Turing machines, etc. For
example, in constructive analysis one often needs to prove the existence of
algorithms which operate in a prescribed manner. In many cases, the very
description of the ...