AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution

Nine Papers on Logic and Quantum Electrodynamics

About this Title

V. K. Detlovs, A. S. Esenin-Vol′pin, I. N. Hlodovskiĭ, A. A. Mučnik, P. K. Raševskiĭ, N. A. Šanin, B. A. Trahtenbrot and V. A. Uspenskiĭ

Publication: American Mathematical Society Translations: Series 2
Publication Year: 1963; Volume 23
ISBNs: 978-0-8218-1723-0 (print); 978-1-4704-3234-8 (online)
DOI: https://doi.org/10.1090/trans2/023

View full volume as PDF

Table of Contents

Download chapters as PDF

Front/Back Matter

• View this volume's front and back matter

Articles

• B. A. Trahtenbrot – Impossibility of an algorithm for the decision problem in finite classes
• A. A. Mučnik – Isomorphism of systems of recursively enumerable sets with effective properties
• V. K. Detlovs – The equivalence of normal algorithms and recursive functions
• A. S. Esenin-Vol′pin – Unprovability of Souslin’s hypothesis without the aid of the axiom of choice in the Bernays-Mostowski axiom system
• V. A. Uspenskiĭ – Some remarks on recursively enumerable sets
• V. A. Uspenskiĭ – Gödel’s theorem and the theory of algorithms
• N. A. Šanin – On the constructive interpretation of mathematical judgments
• I. N. Hlodovskiĭ – A new proof of the consistency of arithmetic
• P. K. Raševskiĭ – On the mathematical foundations of quantum electrodynamics