9 papers on logic and quantum electrodynamics / authors, V.K. Detlovs [and others].
- Published:
- Providence, R.I. : American Mathematical Society, 1963.
- Physical Description:
- iii, 335 pages ; 26 cm.
- Additional Creators:
- Detlovs, V. K.
American Mathematical Society
- Series:
- American Mathematical Society translations ; ser. 2, v. 23
- Contents:
- Impossibility of an algorithm for the decision problem / B.A. Trahtenbrot -- Isomorphism of systems of recursively enumerable sets with effective properties / A.A. Mučnik -- The equivalence of normal algortihms and recursive functions / V.K. Detlovs -- Unprovability of Souslin's hypothesis without the aid of the axiom of choice in the Bernays-Mostowski axiom system / Esenin-Volʹpin -- Some remarks on recursively enumerable sets / V.A. Uspenskiĭ -- Gödel's theorem and the theory of algorithms / V.A. Uspenskiĭ -- On the constructive interpretation of mathematical judgments / N.A. Šanin -- A new proof of the consistency of arithmetic / I.N. Hlodovskiĭ -- On the mathematical foundations of quantum electrodynamics / P.K. Raševskii̊.
- Subject(s):
- Related Titles:
- Nine papers on logic and quantum electrodynamics
Logic
Quantum electrodynamics - Note:
- Translations from Russian.
Table of contents in English and Russian. - Bibliography Note:
- Includes bibliographical references.
View MARC record | catkey: 1584414