Write to the booksellers5 books for « c kleene stephen »Edit
-
Topics
Logic (1)
Mathematics (3)
Solomon (1)
Wittgenstein (1)
-
Countries
Denmark (2)
France (3)
-
Syndicate
ILAB (3)
SLAM (1)
LOGIQUE MATHEMATIQUE
JACQUES GABAY 2000 3x24x17cm. 2000. Broché.
proche du très bon état intérieur propre bonne tenue dos un peu ridé
LOGIQUE MATHEMATIQUE.
ARMAND COLIN. 1971. In-8. Relié. Etat d'usage, Couv. légèrement passée, Dos abîmé, Intérieur acceptable. 412 pages - coins frottés - dos partiellement manquant.. . . . Classification Dewey : 510-Mathématiques
Collection U - Sérue épistémologie dirigée par Pierre Thuillier - Traduction de Jean Largeault. Classification Dewey : 510-Mathématiques
On Notation for Ordinal Numbers.
Wisconsin, The Association for Symbolic Logic, 1938-39. Lev8vo. Entire volume one of ""Journal of Symbolic Logic"" (i.e. number 1-4), March 1938, June 1938, October 1938, January 1939. Bound in blue half cloth with gilt lettering to spine. Crossed-out library paper-label to lower part of spine and top left corner of front board. Two library stamps (in Chinese) to verso of title page. Internally a very fine and clean copy of the entire volume. [Kleene:] Pp. 150-55. [Entire volume: IV, 212 pp.].
First printing Kleene's milestone paper in which Kleene's O (Ordial numbers), a recursive function, is introduced. In set theory and computability theory, Kleene's is a canonical subset of the natural numbers when regarded as ordinal notations.""In the seventeenth century, Leibniz envisaged a universal language that would allow one to reduce mathematical proofs to simple computations. Then, during the nineteenth century, llgicians such as Charles Babbage, Boole, Frege and Peano tried to formalize mathematical reasoning by an ""algebraization"" of logic. Finally, [...] Gödel, Church and Stephen Kleene introduced the notion of recursive functions. (The Princeston Companion to Mathematics. P. 111).The volume also contains the following papers of interest:1. Quine, W. V. Completeness of the propositional calculus. Pp. 37-402. Quine, W. V. On the theory of types. Pp. 125-39.3. Church, Alonzo. Additions and corrections to A bibliography of symbolic logic. Pp. 178-92.
On Notation for Ordinal Numbers.
Wisconsin, The Association for Symbolic Logic, 1938-39. Lev8vo. Bound in red half cloth with gilt lettering to spine. In ""Journal of Symbolic Logic"", Volume 3 & 4 bound together. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. [Kleene:] Pp. 150-55. [Entire volume: 4, 212, (4), 194, (2) pp.].
First printing Kleene's milestone paper in which Kleene's O (Ordial numbers), a recursive function, is introduced. In set theory and computability theory, Kleene's is a canonical subset of the natural numbers when regarded as ordinal notations.""In the seventeenth century, Leibniz envisaged a universal language that would allow one to reduce mathematical proofs to simple computations. Then, during the nineteenth century, llgicians such as Charles Babbage, Boole, Frege and Peano tried to formalize mathematical reasoning by an ""algebraization"" of logic. Finally, [...] Gödel, Church and Stephen Kleene introduced the notion of recursive functions. (The Princeston Companion to Mathematics. P. 111).The volume also contains the following papers of interest:1. Quine, W. V. Completeness of the propositional calculus. Pp. 37-402. Quine, W. V. On the theory of types. Pp. 125-39.3. Church, Alonzo. Additions and corrections to A bibliography of symbolic logic. Pp. 178-92.
Shanker (S.G.) sur Kurt Godel - John W. Dawson - Stephen C. Kleene - Solomon Feferman - Michael D. Resnik - Michael Detlefsen on Wittgenstein
Reference : Cyb-7301
(1989)
Godel's Theorem in Focus , (Kurt Gödel in sharper focus - On formally undecidable propositions of Principia Mathematica and related systems I (1931) - The work of Kurt Godel - The reception of Godel's incompleteness theorems - Kurt Godel : Conviction and caution - On the significance of consistency proofs - On interpreting Godel's second theorem -Wittgenstein's remarks on the significance of Godel's theorem)
Routledge, London and New York , Philosophers in Focus Series Malicorne sur Sarthe, 72, Pays de la Loire, France 1989 Book condition, Etat : Très Bon paperback, editor's full yellow and grey printed wrappers In-8 1 vol. - 270 pages
reprinted edition, 1989 Contents, Chapitres : Contents, Preface, Acknowledgments, ix, Text, 261 pages - John W. Dawson : Kurt Gödel in sharper focus - Kurt Godel : On formally undecidable propositions of Principia Mathematica and related systems I (1931) - Stephen C. Kleene : The work of Kurt Godel - John J. Dawson : The reception of Godel's incompleteness theorems - Solomon Feferman : Kurt Godel : Conviction and caution - Michael D. Resnik : On the significance of consistency proofs - Michael Detlefsen : On interpreting Godel's second theorem - S.G. Shanker : Wittgenstein's remarks on the significance of Godel's theorem - Index near fine copy, no markings
