9 papers on logic and quantum electrodynamics / authors, Detlovs, V. K. [and others]. Series 2, volume 23

Contributor(s): Detlovs, V. KMaterial type: Computer fileComputer 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 online
Contents:
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
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Call number URL Status Date due Barcode Item holds
electronic book electronic book
Link to resource Accessible Online EBK20677
Total holds: 0

"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.

to post a comment.