Leipzig, B.G. Teubner, 1887. 8vo. Original printed wrappers, no backstrip. In ""Mathematische Annalen. Begründet durch Alfred Clebsch und Carl Neumann. 28. Band. 3. Heft."". (Entire issue offered). Pp. 309-456. Hilbert's paper: pp. 381-446.
This is Hilbert's ""Habilitationsschrift"", a fundamental work on algebraic invariants.
Berlin, Julius Springer, 1923. 8vo. Full cloth. Spine gone. In: ""Mathematische Annalen begründet durch Alfred Clebsch und Carl Neumann."", 88. Bd. (4),312 pp. (Entire volume offered). Hilbert's paper: pp. 151-165. Internally clean and fine.
First edition as a continuation of his paper from 1922 ""Neubegründung der Mathematik. Erste Mitteilung"".""This articlee, delivered as a lecture to the deutsche Naturforscher Gesellschaft in Leipzig, September 1922, is a sequel to (neubegründung...), and brings Hilbert's proof theory to maturity. Hilbert here introduces several technical refinements and clarification to his theory. Specifically: (i) he improves the formal system by adding a special sign for formal negation...(ii) he refines his account of the distinction between formal language and the metalanguage....(iii) he outlines a consistency proof for an elementary, quantifier-free formal system of number-theory. (iv) he begins to extend his proof theory to analysis and set theory....sketches a strategy for proving the consistency of a version of Zermel's axiom of choice for real numbers...(etc. etc). (William Ewald in from Kant to Hilbert, vol. II, pp.1134-35).
Leipzig, B.G. Teubner, 1909. Orig. printed wrappers. No backstrip. In. ""Mathematische Annalen. Hrsg. von Felix Klein, Walther v. Dyck, David Hilbert, Otto Rosenthal"", 67. Bd., 3. Heft. Pp. 281-432 (=3. Heft). Hilbert's paper: pp. 281-300.
First printing of a groundbreaking work in Number Theory. Edward Waring (1734-98) stated, in his ""Meditationes Algebraicae"" (1770), the theorem known now as ""Waring's Theorem"", that every integer is either a cube or the sum of at most nine cubes"" also every integer is either a fourth power of the sum of at most 19 fourth powers. He conjectured also that every positive integer can be expressed as the sum of at most r kth powers, the r depending on k. These theoremes were not proven by him, but by David Hilbert in the paper offered.Hilbert proves that for every integer n, there exists an integer m such that every integer is the sum of m nth powers. This expands upon the hypotheis of Edward Waring that each positive integer is a sum of 9 cubes (n=3, m=9) and of 19 fourth powers (n= 4, m=19).This issue also contains F. Hausdorff's ""Zur Hilbertschen Lösung des Waringschen Problems"", pp. 301-305.(Se Kline p. 609).
Berlin, Stockholm, Paris, Beijer, 1902. 4to. Bound in contemporary half cloth with gilt lettering to spine. In ""Acta Mathematica"", Vol. 26, 1802. Entire volume offered. Stamps to title page, otherwise a fine and clean copy. pp. 99-132" Pp. 48-98. [Entire volume: (4), 400 pp.].
First printing of these two important papers on the theory of quadratic number fields.
Berlin, Springer, 1949. Orig. full cloth. A few brownspots to covers. A small stamp on foot of titlepage. VIII,156 pp.
Berlin, Göttingen..., Springer-Verlag, 1959. Orig. full cloth. VIII,188 pp. A few underlinings and notes.
Berlin, Springer, 1938. Orig. printed wrappers. Wr. with tear in spine. VIII,134 pp.
Berlin, Julius Springer, 1928. 8vo. Publisher's full cloth. Ink signature of Samuel Skulsky on front free end paper. Completely clean throughout. A fine and tight copy.
First edition of the foundation of modern mathematical logic.In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' (the offered item). It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem ('Entscheidungsproblem'). The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic, capable of modeling arithmetic, is either incomplete or inconsistent (Gödel's second incompleteness theorem). The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel, Church, and Turing rank amongst the most important contributions to mathematical logic ever. Scarce in this condition.
New Jersey, Prentice-Hall, (1963). Orig. full cloth. IX,646 pp. Name cut from upper corner of titlepage. Clean and fine.
Berlin, Stockholm, Paris, Beijer, 1886. 4to. Bound with the original printed wrappers in contemporary half calf. In ""Acta Mathematica Hrsg. von G. Mittag-Leffler."", Bd. 8. Entires issue offered. Fine and clean. Pp. 1-36 [Entire volume: (4), 392 pp.].
Second printing (with some additions) of Hill's important paper in he introduced the the Hill Determinant or Hill's Equations""The memoir of 1877 entitled On the Part of the Motion of the Lunar Perigee Which Is a Function of the Mean Motions of the Sun and Moon contains the incontrovertible evidence of Hill’s mathematical genius. He was led to a differential equation, now called Hill’s equation, that is equivalent to an infinite number of algebraic linear equations. Hill showed how to develop the infianite determinant corresponding to these equations.""
Leipzig, S. L. Crusium, 1781. 4to. Bound uncut in a nice recent cardboard-binding with red leather title-label to spine with gilt lettering. Title-page partly detached. Occassional brownspotting throughout. XII, LXXXIII, (1) pp.
Rare first edition of Hindenburg's paper on combinatorics, which partly earned him the title as ""founder of the combinatorial school"" (DSB) in Germany. Combinational mathematics was not new at that time: Pascal, Leibniz, Wallis, the Bernoullis, De Moivre, and Euler, among others, had contributed to it. Hindenburg and his school attempted, through systematic development of combinatorials, to give it a key position within the various mathematical disciplines. ""Combinatorial consideration, especially appropriate symbols, were useful in the calculations of probabilities, in the development of series, in the inversion series, and in the development of formulas for higher differentials. The utility led Hindenburg and his school to entertain great expectations: they wanted combinatorial operations to have the same importance as those of arithmetic, algebra, and analysis. They developed a complicated system of symbols for fundamental combinatorial concepts, such as permutations, variations, and combinations."" (DSB)
(No place), The Association for Symbolic Logic, Inc., 1956 + 1957. 8vo. Both entire issues present, both in original printed wrappers. Volume 21, 3 w. a small loss to lower corner of front wrapper, minor loss to lower capital and a tear to lower front hinge, no loss. Upper corner of least few leaves and back wrappers creased (w. tear to wrapper). Volume 22, 3. w. minor loss to capitals. Both issues internally near mint. Vol. 21, 3: pp. 225-248 (entire issue: pp. 225-336)" Vol. 22, 3: pp. 245-249 (entire issue: pp. 225-336).
First printing of these two important, but for long overlooked, articles, which together constitute Hintikka's attempt to cope with Wittgenstein's elimination of identity as proposed in the ""Tractatus"". With the translation rules that Hintikka here put forward, he is the first to try to carry out Wittgenstein's suggestions systematically. The Finnish born philosopher and logician, Jaakko Hintikka (born 1929), Professor of Philosophy at the University of Boston, is generally accepted as the founder of formal epistemic logic and of game semantics for logic. He has contributed seminally to the fields of philosophical and mathematical logic, philosophy of mathematics and science, language theory and epistemology. Independently of Evert Willem Beth he discovered the semantic tableau, and he is famous for his work on game semantics and logical quantifiers. In 2005 Hintakka was awarded the Schock Prize in logic and philosophy, the philosophical equivalent to the Nobel prize, ""for his pioneering contributions to the logical analysis of modal concepts, in particular the concepts of knowledge and belief "". In the 1950'ies Hintikka took it upon himself to follow Wittgentein's suggestion of elimination of identity suggested in the ""tractatus"", and in the two offered articles, he succeeds in constructing a logic without identity. The main point of the two connected articles is to show that variables can be used in two ways. One way does not exclude coincidences of the values of different variables (inclusive interpretation of variables), the other does (exclusive interpretation of variables) and can be either weakly or strongly exclusive. He now claims that in the ""Tractatus"" Wittgenstein adopts the weakly exclusive interpretation of variable and then proves that the weakly exclusive quantifiers are able to express everything that the inclusive quantifiers plus identity can express, and without a sign for identity, - for the first time systematically supporting Wittgenstein's claim that identity is not an essential constituent of logical notation. ""There are a number of references to the exclusive interpretations of variables in current logical literature. An exclusive reading of variables was, in effect, suggested by Ludwig Wittgenstein in ""Tractatus logico-philosophicus. As far as I know, however, no one has previously tried to carry out his suggestions systematically. Several misconceptions seem to be current concerning the outcome of an attempts of this kind. Carnap expects radical changes in the rules of substitution. If I am not mistaken, however, at least one form of the exclusive interpretation may be formalized by making but slight alterations in the axioms and/or in the transformation rules of the predicate calculus. Also I hope to say that it is not correct to say (as Russell has done) that Wittgenstein tried to dispense with the notion of identity. What a systematic use of an exclusive reading of variables amounts to is a new way of coping with the notion of identity in a formalized system of logic. Under the most natural formalization of the new interpretations, the resulting system is equivalent to the old predicate calculus (with identity): every formula of the latter admits of a translation into the former, and vice versa."" (Vol. 21, Nr. 3, p. 228).""A deviation from standard English. Recent discussion serves to bring out, amply and convincingly, the utility of observing the ordinary correct use of words and phrases for the purpose of clearing up philosophical problems. In this paper, I shall endeavour to show, by means of an example, that the reverse method may have its interest, too. "" (Vol. 21, Nr. 3, p. 225). ""This note is a sequel to the previous paper of mine which was entitled ""Identity, variables, and impredicative definitions"" and published in this JOURNAL, vol. 21 (1956, pp. 225-245. That early paper served to call attention to the dependency of the set-theoretic paradoxes on the interpretation of the variables that may occur in the critical ""abstraction principle"". (Vol. 22, Nr. 3, p. 245).Besides these two articles, the two issues also include other important articles within logic, e.g. Quine, ""Unification of Universes in Set Theory"" and Symonds and Chisholm ""Inference by Complementary Elimination"".
Ithaca, New York, Cornell University Press, (1962). 8vo. Orig. full blue cloth w. blue lettering to spine and front board. Very minor bumping to capitals and minor bleaching to small part of lower spine. Original blue dust-jacket w. red lettering. Spine faded and some minor brownspotting. Stamp to title-page ( Weston College Library Weston, Mass.) and stamped library-number and date to verso of title-page. An excellent, internally near mint, copy in an unusually fine dust-jacket. Not price-clipped. X, 179 pp.
The uncommon first edition, first issue of Hintikka's seminal main work, which also constitutes the main work of contemporary epistemic logic.The Finnish born philosopher and logician, Jaakko Hintikka (born 1929), Professor of Philosophy at the University of Boston, is generally accepted as the founder of formal epistemic logic and of game semantics for logic. He has contributed seminally to the fields of philosophical and mathematical logic, philosophy of mathematics and science, language theory and epistemology. Independently of Evert Willem Beth he discovered the semantic tableau, and he is famous for his work on game semantics and logical quantifiers. In 2005 Hintakka was awarded the Schock Prize in logic and philosophy, the philosophical equivalent to the Nobel prize, ""for his pioneering contributions to the logical analysis of modal concepts, IN PARTICULAR THE CONCEPTS OF KNOWLEDGE AND BELIEF "". The first edition of this seminal work, which has founded contemporary epistemic logic, is very difficult to find. The work was reprinted three times between 1962 and 1969, but after that the work was only printed again in 2005.""In 1962 Jaakko Hintikka published ""Knowledge and Belief: An Introduction to the Logic of the Two Notions"" with Cornell University Press. Almost every paper or a book on epistemic and doxastic logic that has appeared since then has referred to this seminal work. Although many philosophers working in logic, epistemology, game-theory, economics, computer science and linguistics mention the book, it is very likely that most have never literally had their hands on it, much less owned a copy. After a fourth printing in 1969, Knowledge and Belief went out of print and as many of us have found to our dismay, it has become increasingly difficult to find used copies at our local shops or online. It is our pleasure to provide the interdisciplinary community with this reprint edition of Knowledge and Belief."" (Abstract of the re-issue edition, Prepared by Vincent F. Hendricks & John Symons, King's College Publications, 2005).In this breakthrough work, Hintikka sets out to understand and explain the logical behavior of the two fundamental epistemological notions, Knowledge and belief. ""The word ""logic"" which occurs in the subtitle of this work is to be taken seriously. My first aim is to formulate and to defend explicit criteria of consistency for certain sets of statements - criteria which, it is hoped, will be comparable with the criteria of consistency studied in the established branches of logic. What the statements in question are like is also indicated in the title [...]"" (Chapter One, Prolegomena, p.3).""Knowledge and Belief"" has been extremely influential from the time of its appearance and continues to be so to this day, also due to the fact that epistemic logic has greatly influenced the fields of game theory, artificial intelligence and distributed computing.
Ithaca, New York, Cornell University Press, (1962). 8vo. Orig. full blue cloth w. blue lettering to spine and front board. A bit of bumping to capitals. Original blue dust-jacket w. red lettering. Spine faded and some minor wear to capitals. A tear to front of dust-jacket, no loss. Not price-clipped. Old owner's name to front free end-paper. Internally very nice and clean. A very good copy. X, 179 pp.
The uncommon first edition, first issue of Hintikka's seminal main work, which also constitutes the main work of contemporary epistemic logic.The Finnish born philosopher and logician, Jaakko Hintikka (born 1929), Professor of Philosophy at the University of Boston, is generally accepted as the founder of formal epistemic logic and of game semantics for logic. He has contributed seminally to the fields of philosophical and mathematical logic, philosophy of mathematics and science, language theory and epistemology. Independently of Evert Willem Beth he discovered the semantic tableau, and he is famous for his work on game semantics and logical quantifiers. In 2005 Hintakka was awarded the Schock Prize in logic and philosophy, the philosophical equivalent to the Nobel prize, ""for his pioneering contributions to the logical analysis of modal concepts, IN PARTICULAR THE CONCEPTS OF KNOWLEDGE AND BELIEF "". The first edition of this seminal work, which has founded contemporary epistemic logic, is very difficult to find. The work was reprinted three times between 1962 and 1969, but after that the work was only printed again in 2005.""In 1962 Jaakko Hintikka published ""Knowledge and Belief: An Introduction to the Logic of the Two Notions"" with Cornell University Press. Almost every paper or a book on epistemic and doxastic logic that has appeared since then has referred to this seminal work. Although many philosophers working in logic, epistemology, game-theory, economics, computer science and linguistics mention the book, it is very likely that most have never literally had their hands on it, much less owned a copy. After a fourth printing in 1969, Knowledge and Belief went out of print and as many of us have found to our dismay, it has become increasingly difficult to find used copies at our local shops or online. It is our pleasure to provide the interdisciplinary community with this reprint edition of Knowledge and Belief."" (Abstract of the re-issue edition, Prepared by Vincent F. Hendricks & John Symons, King's College Publications, 2005).In this breakthrough work, Hintikka sets out to understand and explain the logical behavior of the two fundamental epistemological notions, Knowledge and belief. ""The word ""logic"" which occurs in the subtitle of this work is to be taken seriously. My first aim is to formulate and to defend explicit criteria of consistency for certain sets of statements - criteria which, it is hoped, will be comparable with the criteria of consistency studied in the established branches of logic. What the statements in question are like is also indicated in the title [...]"" (Chapter One, Prolegomena, p.3).""Knowledge and Belief"" has been extremely influential from the time of its appearance and continues to be so to this day, also due to the fact that epistemic logic has greatly influenced the fields of game theory, artificial intelligence and distributed computing.
Ithaca, New York, Cornell University Press, (1964). 8vo. Orig. full blue cloth w. blue lettering to spine and front board. Original blue dust-jacket w. red lettering. An excellent, near mint copy in an astonishingly fine dust-jacket, not price-clipped. Old owner's name to front free end-paper. Internally very nice and clean. A very good copy. X, 179 pp.
First edition, second printing of Hintikka's seminal main work, which also constitutes the main work of contemporary epistemic logic.The Finnish born philosopher and logician, Jaakko Hintikka (born 1929), Professor of Philosophy at the University of Boston, is generally accepted as the founder of formal epistemic logic and of game semantics for logic. He has contributed seminally to the fields of philosophical and mathematical logic, philosophy of mathematics and science, language theory and epistemology. Independently of Evert Willem Beth he discovered the semantic tableau, and he is famous for his work on game semantics and logical quantifiers. In 2005 Hintakka was awarded the Schock Prize in logic and philosophy, the philosophical equivalent to the Nobel prize, ""for his pioneering contributions to the logical analysis of modal concepts, IN PARTICULAR THE CONCEPTS OF KNOWLEDGE AND BELIEF "". The first edition of this seminal work, which has founded contemporary epistemic logic, appeared in 1962 and is very difficult to find. The work was reprinted three times between 1962 and 1969, but after that the work was only printed again in 2005. The second issue appeared in 1964 and the third in 1967.""In 1962 Jaakko Hintikka published ""Knowledge and Belief: An Introduction to the Logic of the Two Notions"" with Cornell University Press. Almost every paper or a book on epistemic and doxastic logic that has appeared since then has referred to this seminal work. Although many philosophers working in logic, epistemology, game-theory, economics, computer science and linguistics mention the book, it is very likely that most have never literally had their hands on it, much less owned a copy. After a fourth printing in 1969, Knowledge and Belief went out of print and as many of us have found to our dismay, it has become increasingly difficult to find used copies at our local shops or online. It is our pleasure to provide the interdisciplinary community with this reprint edition of Knowledge and Belief."" (Abstract of the re-issue edition, Prepared by Vincent F. Hendricks & John Symons, King's College Publications, 2005).In this breakthrough work, Hintikka sets out to understand and explain the logical behavior of the two fundamental epistemological notions, Knowledge and belief. ""The word ""logic"" which occurs in the subtitle of this work is to be taken seriously. My first aim is to formulate and to defend explicit criteria of consistency for certain sets of statements - criteria which, it is hoped, will be comparable with the criteria of consistency studied in the established branches of logic. What the statements in question are like is also indicated in the title [...]"" (Chapter One, Prolegomena, p.3).""Knowledge and Belief"" has been extremely influential from the time of its appearance and continues to be so to this day, also due to the fact that epistemic logic has greatly influenced the fields of game theory, artificial intelligence and distributed computing.
Ithaca, New York, Cornell University Press, (1967). 8vo. Orig. full blue cloth w. blue lettering to spine and front board. Original blue dust-jacket w. red lettering. Dust-jacket w. a long tear to lower back hinge, crossing spine. A few tears and general wear. Price-clipped. Internally very nice and clean. X, 179 pp.
First edition, third printing of Hintikka's seminal main work, which also constitutes the main work of contemporary epistemic logic.The Finnish born philosopher and logician, Jaakko Hintikka (born 1929), Professor of Philosophy at the University of Boston, is generally accepted as the founder of formal epistemic logic and of game semantics for logic. He has contributed seminally to the fields of philosophical and mathematical logic, philosophy of mathematics and science, language theory and epistemology. Independently of Evert Willem Beth he discovered the semantic tableau, and he is famous for his work on game semantics and logical quantifiers. In 2005 Hintakka was awarded the Schock Prize in logic and philosophy, the philosophical equivalent to the Nobel prize, ""for his pioneering contributions to the logical analysis of modal concepts, IN PARTICULAR THE CONCEPTS OF KNOWLEDGE AND BELIEF "". The first edition of this seminal work, which has founded contemporary epistemic logic, appeared in 1962 and is very difficult to find. The work was reprinted three times between 1962 and 1969, but after that the work was only printed again in 2005. The second issue appeared in 1964 and the third in 1967.""In 1962 Jaakko Hintikka published ""Knowledge and Belief: An Introduction to the Logic of the Two Notions"" with Cornell University Press. Almost every paper or a book on epistemic and doxastic logic that has appeared since then has referred to this seminal work. Although many philosophers working in logic, epistemology, game-theory, economics, computer science and linguistics mention the book, it is very likely that most have never literally had their hands on it, much less owned a copy. After a fourth printing in 1969, Knowledge and Belief went out of print and as many of us have found to our dismay, it has become increasingly difficult to find used copies at our local shops or online. It is our pleasure to provide the interdisciplinary community with this reprint edition of Knowledge and Belief."" (Abstract of the re-issue edition, Prepared by Vincent F. Hendricks & John Symons, King's College Publications, 2005).In this breakthrough work, Hintikka sets out to understand and explain the logical behavior of the two fundamental epistemological notions, Knowledge and belief. ""The word ""logic"" which occurs in the subtitle of this work is to be taken seriously. My first aim is to formulate and to defend explicit criteria of consistency for certain sets of statements - criteria which, it is hoped, will be comparable with the criteria of consistency studied in the established branches of logic. What the statements in question are like is also indicated in the title [...]"" (Chapter One, Prolegomena, p.3).""Knowledge and Belief"" has been extremely influential from the time of its appearance and continues to be so to this day, also due to the fact that epistemic logic has greatly influenced the fields of game theory, artificial intelligence and distributed computing.
Oxford university press 1969 in8. 1969. Broché.
Bon état intérieur propre bonne tenue
USA, Cambridge University Press, 1996. 8vo. Original full blue cloth with original wrappers. (2), XII, 288 pp. A very fresh and clean copy.
Cambridge University Press 1998 in8. 1998. Cartonné.
Très bon état trace d'étiquette sur le 2e plat intérieur propre bonne tenue
Amsterdam, North-Holland, 1966. 8vo. Publishers full cloth with dust jacket. Fine condition. (4),320 pp.
First edition.
Berlin, chez Duncker et Humblot 1832 x + 306pp., traduits de l'allemand sur la quatrième édition, 20cm., reliure cart. (plats marbrés, dos en cuir avec traces d'usage et manque au dos en tête), feuilles de garde marbrées, rousseurs dans le texte, qqs.taches d'encre (pas dans le texte), peu commun, W82158
Berlin, Springer, 1956, un volume in 8, broché, (couverture défraichie avec petit manque de papier en bas du dos), 165pp.
---- EDITION ORIGINALE**2685/L7AR
S. l. (Tunis), Association Tunisienne des Sciences Mathématiques, s.d. (vers 2002) ; in-12 (155 x 240 mm), 124 + 304 pp., broché, couverture illustrée. Ouvrage bilingue: français-arabe. Texte établi et commenté par Mahdi ABDELJAOUAD.
Paris, Librairie Scientifique et Technique Albert Blanchard, 1999 ; in-8 (161 x 243 mm), X-430 pp., broché. Collection «Sciences dans l’Histoire», N° 06. Ouvrage bilingue: français-arabe.
Ellipses. 2005. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 143 pages - nombreuses illustrations et figures en noir et blanc dans le texte - une étiquette collée sur le 2ème plat.. . . . Classification Dewey : 510-Mathématiques
Classification Dewey : 510-Mathématiques