Kleene S C (51 results)

Gebundene Ausgabe, Gr.8°. Condition: Gut. 398 S. Das Buch ist in gutem, sauberen Zustand. Einband minimal berieben / fleckig. Ecken und Kanten leicht bestossen. Sonst sauberes und wohlerhaltenes Exemplar. ISBN: 9780471490333 Wir senden umgehend mit beiliegender MwSt.Rechnung. Sprache: Englisch Gewicht in Gramm: 635.

Hardcover. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 1.01.

hardcover. Condition: Very Good. Dust Jacket Condition: none. Lightly bumped spine, merest paste-toning on pastedowns. SIGNED by German-American philosopher of science Adolf Grunbaum as owner on front endpaper. RL.

Rústica. Condition: BUEN ESTADO. Libro.

Hardcover. Condition: Near Fine. No Jacket. No jacket. Ink to end page.

hardcover. Condition: Good. 550 pgs. Nice cover. Clean pages throughout. Binding is secure.

Original-Broschüre. Condition: min. Alterssp., g.e. 4 Original-Broschüre 2nd printing with revisions en Mathematics (Memoirs of the American Mathematical Society. N°; 10); 68 pp.

Hardcover. Condition: Good. Ex-Library hardcover no dj (maroon boards) with the usual markings, attachments, and library wear.

MATHÉMATIQUESKLEENE (S. C.).Logique mathématique.Trad. de J. Largeault.P., A. Colin, 1971, gr. in-8°, cart. édit., lég. défr., qq. annot. au crayon. 700 gr.

Condition: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if youâre not satisfied with purchase please return item for full refund. Ships USPS Media Mail.

Grey Wrappers. Condition: Near Fine. First Edition. Volume 4 No 1, 40 Pp. Scarce In This, The Original Publication State Of Gray Printed Wrappers. Near Fine. Contains Rozsa's Review (In German) Of Gerhard Gentzeen's "Neue Fassung Des Widerspruchsfreiheitsbeweises Fur Die Reine Zahlentheorie". Rózsa Péter, Born Rózsa Politzer, (1905 - 1977) Was A Hungarian Mathematician And Logician. She Is Best Known As The "Founding Mother Of Recursion Theory". Initially, Péter Began Her Graduate Research On Number Theory. Upon Discovering That Her Results Had Already Been Proven By The Work Of Robert Carmichael And L. E. Dickson, She Abandoned Mathematics To Focus On Poetry. However, She Was Convinced To Return To Mathematics By Her Friend László Kalmár, Who Suggested She Research The Work Of Kurt Gödel On The Theory Of Incompleteness.[3] She Prepared Her Own, Different Proofs To Gödel's Work. Péter Presented The Results Of Her Paper On Recursive Theory, "Rekursive Funktionen," To The International Congress Of Mathematicians In Zurich, Switzerland In 1932. For Her Research, She Received Her Phd Summa Cum Laude In 1935. In 1936, She Presented A Paper Entitled "Über Rekursive Funktionen Der Zweiten Stufe" To The International Congress Of Mathematicians In Oslo.[3] These Papers Helped To Found The Modern Field Of Recursive Function Theory As A Separate Area Of Mathematical Research. In 1937, She Was Appointed As Contributing Editor Of The Journal Of Symbolic Logic. After The Passage Of The Jewish Laws Of 1939 In Hungary, Péter Was Forbidden To Teach Because Of Her Jewish Origin And Was Briefly Confined To A Ghetto In Budapest. During World War Ii, She Wrote Her Book Playing With Infinity: Mathematical Explorations And Excursions, A Work For Lay Readers On The Topics Of Number Theory And Logic. In 1952, She Was The First Hungarian Woman To Be Made An Academic Doctor Of Mathematics. After The College Closed In 1955, She Taught At Eötvös Loránd University Until Her Retirement In 1975. She Was A Popular Professor, Known As "Aunt Rózsa" To Her Students. In 1951, She Published Her Key Work, Recursive Functions (Rekursive Funtionen). She Continued To Publish Important Papers On Recursive Theory Throughout Her Life. Beginning In The Mid-1950S, Péter Applied Recursive Function Theory To Computers. Her Final Book, Published In 1976, Was Recursive Functions In Computer Theory. Originally Published In Hungarian, It Was The Second Hungarian Mathematical Book To Be Published In The Soviet Union Because Its Subject Matter Was Considered Indispensable To The Theory Of Computers. It Was Translated Into English In 1981.Péter Was Awarded The Kossuth Prize In 1951. She Received The Manó Beke Prize By The János Bolyai Mathematical Society In 1953, The Silver State Prize In 1970, And The Gold State Prize In 1973. In 1973, She Became The First Woman To Be Elected To The Hungarian Academy Of Sciences.

Hardcover. Condition: new. Hardcover. Kurt Goedel (1906-1978) was the most outstanding logician of the twentieth century, noted for Goedel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentially of Goedel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections fromhis lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and to individual articles and other material, commenting upon their contents andplacing them within a historical framework. This long-awaited project is of great significance to logicians, mathematicians, philosophers and historians. This is the first volume of a comprehensive edition of the works of Kurt Godel, the most outstanding logician of the 20th century. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Grey Wrappers. Condition: Near Fine. First Edition. Volume 3 No 3, 96 Pp. Scarce In This, The Original Publication State Of Gray Printed Wrappers. Near Fine. Contains Rozsa's Review (In German) Of Turing's 1937 Article In This Same Journal. Rózsa Péter, Born Rózsa Politzer, (1905 - 1977) Was A Hungarian Mathematician And Logician. She Is Best Known As The "Founding Mother Of Recursion Theory". Initially, Péter Began Her Graduate Research On Number Theory. Upon Discovering That Her Results Had Already Been Proven By The Work Of Robert Carmichael And L. E. Dickson, She Abandoned Mathematics To Focus On Poetry. However, She Was Convinced To Return To Mathematics By Her Friend László Kalmár, Who Suggested She Research The Work Of Kurt Gödel On The Theory Of Incompleteness. She Prepared Her Own, Different Proofs To Gödel's Work. Péter Presented The Results Of Her Paper On Recursive Theory, "Rekursive Funktionen," To The International Congress Of Mathematicians In Zurich, Switzerland In 1932. For Her Research, She Received Her Phd Summa Cum Laude In 1935. In 1936, She Presented A Paper Entitled "Über Rekursive Funktionen Der Zweiten Stufe" To The International Congress Of Mathematicians In Oslo. These Papers Helped To Found The Modern Field Of Recursive Function Theory As A Separate Area Of Mathematical Research. In 1937, She Was Appointed As Contributing Editor Of The Journal Of Symbolic Logic. After The Passage Of The Jewish Laws Of 1939 In Hungary, Péter Was Forbidden To Teach Because Of Her Jewish Origin And Was Briefly Confined To A Ghetto In Budapest. During World War Ii, She Wrote Her Book Playing With Infinity: Mathematical Explorations And Excursions, A Work For Lay Readers On The Topics Of Number Theory And Logic. In 1952, She Was The First Hungarian Woman To Be Made An Academic Doctor Of Mathematics. After The College Closed In 1955, She Taught At Eötvös Loránd University Until Her Retirement In 1975. She Was A Popular Professor, Known As "Aunt Rózsa" To Her Students. In 1951, She Published Her Key Work, Recursive Functions (Rekursive Funtionen). She Continued To Publish Important Papers On Recursive Theory Throughout Her Life. Beginning In The Mid-1950S, Péter Applied Recursive Function Theory To Computers. Her Final Book, Published In 1976, Was Recursive Functions In Computer Theory. Originally Published In Hungarian, It Was The Second Hungarian Mathematical Book To Be Published In The Soviet Union Because Its Subject Matter Was Considered Indispensable To The Theory Of Computers. It Was Translated Into English In 1981. Péter Was Awarded The Kossuth Prize In 1951. She Received The Manó Beke Prize By The János Bolyai Mathematical Society In 1953, The Silver State Prize In 1970, And The Gold State Prize In 1973. In 1973, She Became The First Woman To Be Elected To The Hungarian Academy Of Sciences.

Grey-blue Wrappers. Condition: Very Good. First Edition. 53 Separate Numbers, 1938-1955, In Original Wrappers, As Issued. Not Ex-Library, Never Bound. Scarce In Original Condition Like This, As Almost All Surviving Issues Were Those Bound For Libraries. Condition Varies From Very Good To Fine. Vol 3 1938 Nos. 1, 3 And 4; Vol. 4 1939 No. 4; Vol 5 1940 Nos 1, 3, 4; Vol 6 1941 Nos. 1, 2, 4; Vol. 7 1942 No. 2; Vol 8 No. 1, 2, And 4; Vol 9 1944 Nos. 2, 3, 4; Vol. 10 1945 Nos 1, 2, 3, 4; Vol 11 1946 Nos. 1,2,3,4; Vol 12, 1947, Nos 1, 2, 3, 4; Vol. 13, 1948, Nos. 1, 3, 4; Vol. 14 1949 No. 2, 4; Vol 15 No. 1, 2, 3, 4; Vol 16 1951, Nos 1, 2, 3, 4; Vol 17, 1952 Nos. 1, 2, 3, 4; Volume 18, 1953, Nos 1,2, 4; Vol 19 1954 Nos 1, 2, 4; Volume 20, 1955, No. 4. " . The Extant Gains Registered By The Modern Symbolic Treatment Of Logic Have Become Such An Essential Factorin Making Pronouncements Regarding The History Of Logic That We Are Constrained To Say That An Essential Knowledge Of Symbolic Logic Have Become An Indispensable Condition For Any And All Fruitful Study Of The History Of Logic" [Heinrich Scholz,"Concise History Of Logic"). As It Is Impossible To Show That The Cause And Effect Of Any Physical Event Can Be Isolated Sufficiently To Make The Effects Of Forces Susceptible To A Complete Logical Analysis, The Connection Of Physical Science And Logic Remains Tangential And Tenuous. The Impossibility Of Exactly Physically Limiting Definition Of Sources And Effects Of Forces In Social Science Make Law, Economics And Politics Ridiculous, And The Rest Of Social Science Merely Entertaining. The Scientific Use Of Logic Is Limited To It's Use In Occam's Razor, The Endless Process Of Successive Removal Of Improper Statements, Relationships, And Associations In Statements About The Physical World, And The Refinement Of Unscientific Arguments In The Imaginary World To Make Them More Acceptable To Contemporary Sensibilities.

Soft cover. Condition: Very Good. KLEENE, S.C. "Hierarchies of Number-Theoretic Predicates." In: Bulletin of the American Mathematical Society, vol 61 number 3, part 1, May 1955; published by the AMS, Menasha Wisconsin and Providence, RT.I. The Kleene occupies pp 193-213 in the issue of pp 193-276. Original wrappers. Spine is sunned (see pic). VG copy. Abstract: "The existence of hierarchies of point sets in analysis has long been familiar from the work of Borel and Lusin. The study of the hierarchies in number theory which we consider here began with a theorem presented to the Society in 1940 and published in [12], These hierarchies have applications in foundational investigations, but we shall be concerned here with the exploration of their structure (using classical logic). We shall survey the previous results from the beginning, and conclude with a few new ones. We have endeavored to make the exposition complete enough so that the layman in this field can get the gist of the arguments without consulting the references." See: Martin Davis "On Computability, Computational Logic, and Mathematical Foundations".

(No place), The Association for Symbolic Logic, 1944 & 1945. Lev8vo. Bound in red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic", Volume 9 & 10 bound together. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. [Kleene:] Pp. 109-124. [Entire volume: IV, 107, (1), IV, 160 pp.]. First printing of Kleene's important paper constituting one of the very first formal treatments of logic for computability in which he proved that intuitionistic first-order number theory also has the related existence property through an interpretation of intuitionistic number theory in terms of Turing machine computations.

(Wisconsin), The Association for Symbolic Logic, 1937. Lex8vo. Original printed wrappers, no backstrip. In "The Journal of Symbolic Logic, Volume 3, 1938." Entire issue offered. Internally very fine and clean. [Quine:] Pp. 37-40" Pp. 125-39. [Entire issue: IV, 212 pp.]. First printing of these papers which include 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).

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.

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.