Payot 1994 13x21x2cm. 1994. Broché.
intérieur propre couverture un peu défraîchie
Imprimerie et Librairie de Jules Delalain, Paris, 1846.
Un volume grand in-12°, demi-reliure cuir bleu foncé, dos lisses avec mentions dorées, plats marbrés, 261 pages, quelques rousseurs mais état TRES SATISFAISANT.
"[GÖDEL] & CARNAP, RUDOLF + AREND HEYTING + JOHANN v. NEUMANN, etc.
Reference : 38312
(1931)
Leipzig, 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 wrapper, 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.
[Leipzig, 1930). 8vo. Stapled extract. Some flossing to inner margin, probably from when extracted, far from affecting text. Handwritten indication of the journal, from which it is extracted, in pencil, on top of first page. Pp. (349) - 360.
The scarce first printing of this seminal paper, in which Gödel, the greatest logician since Aristotle, proves for the first time the compactness theorem, which is of the greatest importance to the development of model theory, as it provides a useful method for constructing models of any set of sentences that is finitely consistent. The compactness theorem is used by Gödel to derive a generalization of the completeness theorem. The present highly important and influential paper constitutes a revised and shortened version of Gödel's doctorial dissertation, published the same year, in which he showed that every valid formula of first-order logic is provable and, moreover that each axiom of first-order logic is independent (the first of which is referred to as Gödel's completeness theorem). In this journal version he, in addition to that proved in the dissertation, also proved his highly influential compactness theorem (which states that a set of first-order sentences has a model if and only if every finite subset of it has a model). ""G settled the [problem] of completeness (positively) in the summer and wrote up the result as his dissertation, which was finished by July. A revised version was received by the editor of ""Monatshefte"" on 22 October and published 1930"" a main addition was what is now known as ""Compactness theorem"". G received his doctoral degree on 6 February 1930. He presented his result in Menger's colloquium on 14 May and in Königsberg on 6 September 1930."" (Wang, Reflections on Kurt Gödel). ""The Compactness Theorem was extended to the case of uncountable vocabularies by Maltsev in 1936, from which the Upward Löwenheim-Skolem theorem immediately follows. The Compactness Theorem would become one of the main tools in the then fledgling subject of model theory."" (SEP).From the library of the highly important Danish logician and philosopher Jørgen Jørgensen (1894-1969), who was an active collaborator with the logical positivists from the Vienna Circle. After Hans Hahn's death he became editor of the series of the Vienna Circle, the ""Einheitswissenchaft"" (""Unified Science""), and later he collaborated on the International Encyclopedia, to which he contributed with the essay ""The Development of Logical Empiricism"", 1951. Jørgensen is also widely recognized for his three volume work ""Treatise of Formal Logic"" Its Evolution and Main Branches, with its Relations to Mathematics and Philosophy"", 1931.Apart from the paramount importance of the paper, it is also of the utmost rarity, as evidenced by the fact that it is neither present in the collection of Honeyman, Barchas, Haskell Norman, nor Hook & Norman: Origins of Cyberspace, and furthermore, the paper has not been up for sale on any of the major auction houses for at least the last 50 years.
Leipzig, Hirzel, 1935. Lex8vo. Orig. hcloth. XXVI,462 pp.
, Berlin, Deutsche Buch-Gemeinschaft, s.d., hardcover, in Gotic
, Karlsruhe, Friedrich Gütsch Verlag, 1927, viii + 247pp.
Wien, Wallishausser, 1834. 8°. XVI, 413 (1) S. Pappband der Zeit mit erneuertem Rücken und Rückenschild (berieben und bestossen).
Namenszug auf Vorsatz. Durchgehend stockfleckig.
Cambridge University Press 1975 191 pages 43x559x358cm. 1975. Relié. 191 pages.
Bon état avec sa jaquette intérieur propre bonne tenue
Ediciones Cátedra 2007 320 pages 1x21x14cm. 2007. Broché. 320 pages.
Très bon état couverture un peu défraîchie intérieur propre ex-libris
Yale, Yales University Press, Paris, P. U. F., 1951 in-8, VIII-242 pp., portrait h.-t., broché.
- - VENTE PAR CORRESPONDANCE UNIQUEMENT
Heidelberg, 1968 v + 556pp., 21cm., softcover, text in German, Doctoral dissertation (Inaugural-Dissertation zur Erlangung der Doktorwürde der Philosophischen Fakultät der Ruprecht-Karl-Universität in Heidelberg), few stamps, text is clean and bright, good condition, F109170
Haag Kristeva Mannoni O. Ortigues E. Schneider M.
Reference : R100059317
(1984)
ISBN : 2207229904
Denoël. 1984. In-8. Broché. Etat d'usage, Coins frottés, Dos plié, Intérieur frais. 222 pages - étiquette collée sur le 1er plat.. . . . Classification Dewey : 100-PHILOSOPHIE ET DISCIPLINES CONNEXES
"Collection "" l'espace analytique "" - Présentation de Maud Mannoni. Classification Dewey : 100-PHILOSOPHIE ET DISCIPLINES CONNEXES"
Cambridge University Press, 2023. 8vo. Paperback. Ownership signature to inside of front wrapper. Fresh and clean copy, as new. XIII, 428 pp.
Harderwijk, Flevo, 1960.
15,198 p., 5 pls. Wrs. 24 cm (Diss., Leiden)(Cover waterstained at the edges; interior fine)
Reims, Bibliothèque de l'Université, 1980 , titre, ff. VII-VIII, ff. 539-557, puis 559-573, et enfin 595-601, [4] ff. n. ch., le tout anopisthographe et en reproduction photomécanique, broché, étiquette de titre sur la première couverture.
Il s'agit de la première publication séparée, limitée sans doute à quelques exemplaires, de la très intéressante communication de Tristan Haas sur le travail et la personnalité étrange de Rudolf Charles d'Ablaing Van Giessenburg, le grand "vulgarisateur" de Meslier à la fin du XIXe siècle. Elle avait été insérée dans les Actes du Colloque de Reims sur le curé d'Étrépigny.Envoi autographe de l'auteur. - - VENTE PAR CORRESPONDANCE UNIQUEMENT
L'Herne L'Herne, 1987. In-8 broché, couverture à rabats. 300 pages. Exemplaire de service de presse. Bon état. Peu courant
Toutes les expéditions sont faites en suivi au-dessus de 25 euros. Expédition quotidienne pour les envois simples, suivis, recommandés ou Colissimo.
Paris, PUF, Collection Perspectives Critiques, 1999, in-8 broché, 142 pp. TRES BON ETAT
Nombreux titres disponibles en Philosophie.
L'Herne. 1987. In-8. Broché. Etat d'usage, Plats abîmés, Dos satisfaisant, Intérieur acceptable. 298 pages - couverture contrepliée - nombreuses annotations, phrases soulignées au crayon à papier à l'intérieur du livre ne gênant pas la lecture - déchirure sur les plats.. . . . Classification Dewey : 100-PHILOSOPHIE ET DISCIPLINES CONNEXES
"Collection "" bibliothèque de philosophie et d'esthétique "". Classification Dewey : 100-PHILOSOPHIE ET DISCIPLINES CONNEXES"
Paris L'Herne, coll. "Bibliothèque de philosophie et d'esthétique" 1987 1 vol. broché in-8, broché, couv. illustrée à rabats, 298 pp. Petits accrocs au dos, en tête et en pied. Tampon d'ex-libris sur la page de garde. Sinon bon état. Epuisé.
Paris, GALLIMARD, TEL, 1996, in-8 broché, 293 pp. Quelques notes au crayon en marge, sinon TRES BON ETAT.
Nombreux titres disponibles en Philosophie.
Paris, Editions Gallimard 1993, 190x125mm, 293pages, broché. Exemplaire à l'état de neuf.
Pour un paiement via PayPal, veuillez nous en faire la demande et nous vous enverrons une facture PayPal
Paris, Labor, 1997. 12 x 22, 93 pp., broché, bon état.
Bruxelles, Editions de l'Université de Bruxelles, 1987. 1 vol. br. de 150 pages. Déformation des coins.
Editions de l'Université de Bruxelles, 1987 16 x 24, 151 pp., broché, état neuf