9 papers on logic and quantum electrodynamics / authors, Detlovs, V. K. [and others]. Series 2, volume 23
Material type: Computer fileSeries: American Mathematical Society Translations: Series 2Description: 1 online resource (1 online resource (iii, 335 pages).)ISBN: 9781470432348 (online)Subject(s): Logic, Symbolic and mathematicalElectrodynamicsOnline resources: Click here to access onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
electronic book | Link to resource | Accessible Online | EBK20677 |
"Published by the American Mathematical Society ... under a grant from the National Science Foundation"--Title page.
Includes bibliographical references.
Impossibility of an algorithm for the decision problem in finite classes /; Isomorphism of systems of recursively enumerable sets with effective properties /; The equivalence of normal algorithms and recursive functions /; Unprovability of Souslin's hypothesis without the aid of the axiom of choice in the Bernays-Mostowski axiom system /; Some remarks on recursively enumerable sets /; G�odel's theorem and the theory of algorithms /; On the constructive interpretation of mathematical judgments /; A new proof of the consistency of arithmetic /; On the mathematical foundations of quantum electrodynamics / B. A. Trahtenbrot; A. A. Mucnik; V. K. Detlovs; A. S. Esenin-Volpin; V. A. Uspenskii; V. A. Uspenskii; N. A. Sanin; I. N. Hlodovskii; P. K. Rasevskii
There are no comments on this title.