Heyting arend (11 Ergebnisse)
Sprache: Englisch
Verlag: sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980
- Hardcover
Anbieter: Antiquariat Bookfarm, Löbnitz, DeutschlandAntiquariat Bookfarm
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 37,60
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 51 HEY 9780444854315 Sprache: Englis…ch Gewicht in Gramm: 550.
- Hardcover
Anbieter: Antiquariat Bookfarm, Löbnitz, DeutschlandAntiquariat Bookfarm
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 37,60
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 51 HEY 9780444854315 Sprache: Englis…ch Gewicht in Gramm: 550.
Verlag: Groningen: Wolters-Noordhoff, 1968., 1968
- Hardcover
- Erstausgabe
Anbieter: Ted Kottler, Bookseller, Redondo Beach, CA, USATed Kottler, Bookseller
Verkäufer/-in kontaktierenVerkäufer/-in mit 3 SternenZustand: Gebraucht - Gut
EUR 44,47
EUR 10,97 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. No Jacket. 1st Edition. 2 leaves, 248 pp, 1 leaf. Original cloth. Some abraded spots to front cover (from having been stuck to another book), else Very Good, without dust jacket. Contributors include Curry, Feferman, Goodstein, Henkin, Jónsson & Olin, Moler & Suppes, Abraham Robinson, Dana Scott, K…reisel, et al. For Heyting, see D.S.B. 17: 420-1.
Weitere BilderCollected Works 1, 2 in 2 Volumes 1. Philosophy and foundations of mathematics / 2. Geometry, Analysis, Topology and Mechanics
Brouwer, Luitzen Egbertus Jan, Hans Freudenthal und Arend Heyting:
Sprache: Englisch
Verlag: Amsterdam : North Holland 1975,76., 1975
- Hardcover
Anbieter: avelibro OHG, Dinkelscherben, Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Gut
EUR 460,00
EUR 29,05 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den Warenkorb26,5 x 19 cm. Zustand: Gut. XV, 628 Pages ; XXVII, 703 Pages ; With Illustrations Innen sauberer, guter Zustand. Leineneinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Einba…nd fleckig. Englische Sprache - Original Cloth Binding with Library label. Inside with Library stamps, in good condition. Cover blotchy. English Language B15-04-04E Sprache: Englisch Gewicht in Gramm: 3810.
Philosophy Of Mathematics: Selected Readings
Benacerraf, Paul, And Hilary Putnam (Editors); Rudolf Carnap, Arend Heyting, Johann (John) Von Neumann,L. E. J. Brouwer, Gottlob Frege, Bertrand Russell, David Hilbert, Haskell B. Curry, George Kreisel, W. V. Quine, Nelson Goodman, Kurt Godel, William P. Alston, Paul Bernays, Alfred Jules (A. A. ) Ayer, Ernest Nagel, Carl G. Hempel, Henri Poincare, D. A. T. Gasking, Hector-Neri Castaneda, Ludwig Wittgenstein, Alan Ross Anderson, Michael Dummett
Sprache: Englisch
Verlag: Basil Blackwell, Oxford, 1964
- Hardcover
- Erstausgabe
Anbieter: Arroyo Seco Books, Pasadena, Member IOBA, Pasadena, CA, USAArroyo Seco Books, Pasadena, Member IOBA
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenVerbandsmitglied: IOBA
Zustand: Gebraucht - Gut bis sehr gut
EUR 741,47
EUR 6,91 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Near Fine. Zustand des Schutzumschlags: Very Good + Jacket. First UK Edition. Vii, 536 Pp. Blue Cloth, Gilt. First Uk Printing (1964). The Book Brings Together For The First Time An Extensive Collection Of Essays By Both Philosophers And Mathematicians On The Nature Of Mathematics; Philosophical Questions Are… Discussed By Leaders In Each Field. The Selections Include The First English Translations Of Several Important Works, As Well As New Translations Of Others, And Several Articles Have Been Extensively Revised By Their Authors For This Anthology. Book Near Fine, Slight Usage. Dj Priced 63S. Net. With Slight Rubbing.
- Softcover
Anbieter: Antiquariat Bookfarm, Löbnitz, DeutschlandAntiquariat Bookfarm
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 56,89
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. Zustand: Gut. Reprint der Ausg. Berlin 1934. 73 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 354006298X Sprache: Deutsch Gewicht in Gramm: 250.
- Hardcover
Anbieter: Vangsgaards Antikvariat Aps, Copenhagen, DänemarkVangsgaards Antikvariat Aps
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 165,36
EUR 29,44 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbNorth-Holland Publishing Company, Amsterdam 1956. VIII+132+(1) pages. Original yellow soft boards with black lettering. Spine mildly sunned. Owner's name to front free endpaper. * Arend Heyting (1898-1980) was a student af Brouwer and later professor of mathematics at the University of Amsterdam.
Verlag: P. Noordhoff N.V., 1925
Anbieter: Orca Knowledge Systems, Inc., Novato, CA, USAOrca Knowledge Systems, Inc.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 262,35
EUR 5,14 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbStiff Covers. Zustand: Good. Usual library markings. Binding is tight, text clean. Text in Dutch. Arend Heyting (1898-1980) was a Dutch mathematician and logician. He did much to put intuitionistic logic on a footing where it could become part of mathematical logic.
- Softcover
- Erstausgabe
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 254,92
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbBerlin, Julius Springer, 1934. Bound with orig. wrappers in contemp. full cloth. Gilt lettering to spine. IV,73,(1) pp. A mint copy. (Issued in the series "Ergebnisse der Mathematik und ihrer Grenzgebiete.Dritter Band." First edition. Heyting studied under Brouwer and became the leading figure of the 'Intutionistic School' in Lo…gic and Mathematics. His work on Intuitionism and Proof Theory - the item offered - is a concise and well written survey in which the viewpoints of intuitionism and formalism are clearly described and contrasted. (A.S. Troelstra).
Weitere BilderVerlag: Amsterdam: North-Holland Publishing Company, 1956, 1956
- Erstausgabe
Anbieter: Peter Harrington. ABA/ ILAB., London, Vereinigtes KönigreichPeter Harrington. ABA/ ILAB.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 451,37
EUR 25,71 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbFirst edition, first printing, of Heyting's introduction to the intuitionist interpretation of mathematics, an approach he helped pioneer in the 1930s. The book "went through several editions and no doubt introduced thousands of people to intuitionism" (Beeson, p. 432). "Intuitionism is based on the idea that mathematics is a cr…eation of the mind. The truth of a mathematical statement can only be conceived via a mental construction that proves it to be true, and the communication between mathematicians only serves as a means to create the same mental process in different minds" (Stanford Encyclopedia of Philosophy). M.J. Beeson, Foundations of Constructive Mathematics Metamathematical Studies, 2012. Octavo. Original yellow firm wrappers, lettered in blue. With dust jacket. A fine copy, in near-fine jacket, with a couple of trivial nicks and specks of soiling.
[Bericht uber die 2. Tagung für Erkenntnislehre der exakten Wissenschaften Königsberg 1930]. Die Logizistische Grundlegung der Mathematik + Die intuitionistische Grundlegung der Mathematik + Die formalistische Grundlegung der Mathematik. [In: Erkenntn. - [ENDING THE FOUNDATIONAL CRISIS OF MATHEMATICS]
"[GÖDEL] & CARNAP, RUDOLF + AREND HEYTING + JOHANN v. NEUMANN, etc.
- Softcover
- Erstausgabe
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 2.893,72
Versand gratisVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbLeipzig, Felix Meiner, 1931. The entire volume present. 8vo. Orig. printed green wrappers. Sunning to spine, and a bit of soiling and minor wear to front wrapper w. minor loss of upper layer of paper at two pages, not gone through paper. A few leaves w. marginal markings, quite discreet. Library marking to inside of front wrappe…r, library stamp to title-page (Mathematical Institute of the University of Amsterdam). Overall a fine and nice copy. Pp. (91) - 105 + (106) - 115 + (116) - 121. The entire volume: (2) pp., Pp. (91) - 190. First edition of the Erkenntnis-volume from the Königsberg congress of 1930, where Gödel introduced his incompleteness results and Carnap, Heyting and von Neumann held the seminal papers (here printed for the first time) that ended the "Grundlagenkrise der Mathematik" (foundational crisis of mathematics). It is also in this volume that the seminal discussions following Gödel's announcements of his results are printed for the first time ("Discussion on the Foundation of Mathematics", between Gödel, von Neumann, Carnap, Hahn, Reidemeister, Heyting, and Scholz) (Gödel, Collected Works, 1931a) as well as the article which inaugurated the logicist foundation of mathematics, in which the modern sense of "logicism" is introduced (Carnap's contribution).In Königsberg in September 1930, Gödel presented his incompleteness results, a landmark in mathematical logic, at the second congress of scientific epistemology, -a congress which proved to be a turning point in the history of philosophical and mathematical logic. It is the papers presented at this congress which are printed in the present volume, apart from the contributions by Gödel and Scholtz (which were printed elsewhere) together with the seminal discussions that followed the presentation of the papers. The groundbreaking papers that are printed here include Carnap's "Die Logizistische Grundlegung der Mathematik", which furthermore introduced the modern sense of the term "logicism", Arend Heyting's "Die intuitionistische Grundlegung der Mathematik" and Johann von Neumann's "Die formalistische Grundlegung der Mathematik" as well as papers by Neugebauer, Reichenbach and Heisenberg. The present papers, as well as the following discussion, mark a turning point in the history of logic and a cornerstone in the future development of the field. The so-called "Foundational Crisis of Mathematics" was a phase within mathematics begun in the early 20th century due to the search for proper foundations of mathematics and the uncertainty of this quest, which was supported by the many difficulties that philosophy of mathematics faced at the end of the 19th and beginning of the 20th century . The crisis took its actual beginning with the publication of Russell's "principles of Mathematics" of 1903, culminated in the 1920'ies with the main advocates of Formalism and Intuitionism respectively, Hilbert and Brouwer, in what is called the "foundational struggle of mathematics", and ended with the present volume in 1931, following the congress of 1930.With the discovery of non-Euclidean geometry in the 18th century, it became evident that not only one sort of mathematics was possible, and even that some propositions could be true in one mathematical system, but false in another. This was the actual basis for the awareness of a mathematical foundation in the mathematical public, which again was the basis for the fact that the question of the foundation of mathematics could develop -and could develop into an actual crisis. During the first 30 years of the 20th century, almost all great mathematicians worked on their answer to the question of the correct foundation of mathematics, and thus it came to a crisis that developed into a struggle. It is this struggle and crisis that Carnap, Heyting and von Neumann break in 1930, where they present the three great positions of the struggling years: logicism (Carnap), intuitionism (Heyting) and formalism (von Neumann), and it is these three papars that pave the way for the discussion that follows, "Diskussion zur Grundlegung der Mathematik", between Gödel, Hahn, Carnap, Heyting, von Neumann, Reidemeister, and Scholz. They all presented their positions in the most conciliatory manner, out of the comprehension that all parties who had contributed to the crisis had also contributed because they wanted to solve it, and because they were also searching for the best possible foundation. It is also this comprehension that Hilbert takes over, when he, in his program, sets out to prove the contradiction-freedom of infinite mathematics on the basis of finite arithmetic.Thus, the seminal papers in the present volume once and for all ended the foundational crisis of mathematics and any fear of new antinomies.
