Th Skolem (41 results)

Condition: As New. Unread book in perfect condition.

Condition: New.

Soft cover. Condition: Good. Soft Cover. Good. 7 x 9 1/2. 192 text pages. Text in English. Many contributors. Unmarked, tight and clean.

Soft cover. Condition: Very Good. Soft Cover. Good. 7 x 9 1/2. 332 text pages. Many contributors. Text in English. Unmarked, tight and clean.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: Fine. *Price HAS BEEN REDUCED by 10% until Monday, June 8 (weekend SALE item)* 132 pp., Hardcover, spine rubbed, else fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

paperback. Condition: Good.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Broschiert. Condition: Gut. 130 Seiten; Das Buch befindet sich in einem ordentlich erhaltenen Zustand. Einbandkanten sind bestoßen. Altersbedingte Anbräunung des Papiers. Sprache: Deutsch Gewicht in Gramm: 210.

Chelsea publishing company, New York - 1950, Ergebnisse der Mathematik und ihrer Grenzgebiete herausgegeben von der Schriftleitung des "Zentralblatt für Mathematik", fünfter Band, 4, 13,50x21 cm, relié, 132 pages Bon état, mais exemplaire de bibliothèque sans jaquette - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.

Hardcover. Condition: Fine. Dust Jacket Condition: Fine. Studies in Logic and the Foundations of Mathematics. Flexible printed wraps in original matching dust jacket. Signature of Samuel Skulsky, notable philosopher and meta-physicist, on front fly leaf. Virtually as new. Fine in fine dust jacket.

Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,400grams, ISBN:

Condition: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,250grams, ISBN:

gebundene Ausgabe. Condition: Gut. 140 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In FRANZÖSISCHER Sprache. Sprache: Französisch Gewicht in Gramm: 360.

Condition: Near Fine. Oslo 1934 first edition. Dybwad. Extracted from Skrifter det Norske Videnskaps-Akademi i oslo 1933. I. Mathemtisk. 2. Bind. 61p. 4to. Rebound in later plain wraps. Near Fine, no owner marks.

Mathematische zeitschrift - 1955 - 1956, in-8, relié, 541 pages Très bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.

Softcover. 113 p. -good.-(Cover worn and sunned, name in ink on the fly-leaf, three underlinings in pencil, but otherwise in good condition. ).

Condition: Good. Oslo 1944. Ugitt av det Dorke Videnskaps-Akademi i Oslo, Mat.- Naturv. Klasse. In Norwegian. Sm.4to., 70pp., rebound in later plain wraps. Narrow old dry stain at left margin of first dozen pages. Good.

Condition: Bueno. 29.

Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

weicher Einband. 37 S. Gr 8° Br. Sprache: Deutsch.

weicher Einband. 28 S. Gr 8° Br. Sprache: Deutsch.

weicher Einband. 14 S. Gr 8° Br. Sprache: Deutsch.

weicher Einband. 38 S. Gr 8° Br. Sprache: Deutsch.

weicher Einband. 49 S. Gr 8° Br. Sprache: Deutsch.

Soft cover. Condition: Near Fine. 1st Edition. 36 pp. Original printed wrappers. UNOPENED COPY. Near Fine. First Edition. Löwenheim-Skolem Theorem. "Many logicians would agree that Skolem and Gödel are the two greatest logicians of the [20th] century" (Wang, "Skolem and Gödel", Nordic Journal of Philosophical Logic, Vol. 1, no. 2, pp. 119-132). "The first result presented in the paper is that every well-formed formula of the first-order predicate calculus has what is now known as a Skolem normal form for satisfiability. . . . Skolem normal forms have since become one of the logician's standard tools. These forms were used, in particular, by Gödel in his proof of the completeness of quantification theory (1930). . . . After having introduced the normal form of a formula, Skolem offers (Theorem 2) a new proof of Löwenheim's theorem. . . . He is able to fill a serious gap left open by Löwenheim in his proof. Skolem notes the use of the axiom of choice in his proof. . .(Van Heijenoort, From Frege to Gödel, p. 252; English translation (of §1) Logico-Combinatorial Investigations in the Satisfiability or Provability of Mathematical Propositions: A Simplified Proof of a Theorem by L. Löwenheim and Generalizations of the Theorem in Van Heijenoort, pp. 254-63). "It seems clear that Godel read at least the statements of theorems and definitions in Löwenheim's paper, and in Skolem's 1920 paper as well. In the published version of his thesis (1930), Gödel cites Skolem (1920) explicitly: 'An analogous procedure was used by Skolem (1920) in proving Löwenheim's theorem' (Gödel 1930, pp. 108-109). . . . Skolem studied at Göttingen in the winter of 1915-1916. We do not know whether he first learned of Löwenheim's paper at Göttingen, or whether he simply read it in the Mathematische Annalen. Skolem's first paper re-proving Löwenheim's theorem (1920) introduced the notion of first-order equations and dropped the relative sum and product notation that Löwenheim had adopted from Schröder, and which originated with Peirce. Skolem's 1920 proof was thus a simplified version of Löwenheim's original proof using algebraic notations and the axiom of choice. Skolem did not claim that Löwenheim's original proof was wrong or incomplete; he only said he was giving a simpler and clearer proof. . . . Stated in the language of the calculus of relatives, Löwenheim's celebrated theorem about first-order logic simply fell out of what was for him an obvious technical generalization of something that was more interesting in the calculus of relatives, that is, a technique that enables him to say what the cardinalities of universes can be from the analysis of the form of an equation. It was left to Skolem to extract the essence of Löwenheim's theorem and state it in the language of first-order logic. . . . [A]lthough Löwenheim's paper was published in 1915 in the premier mathematical journal in the world, it was not until Skolem's paper of 1920 that Löwenheim's theorem received any attention. . . . Skolem's 1920 paper . . . begins with a theorem known today as the Skolem normal form. . . . Skolem's 1920 proof of Löwenheim's theorem uses the axiom of choice. It is quite simple. It is also not Löwenheim's proof, although the ideas are present in Löwenheim in a less clear form and in a longer proof. . ." (Brady, From Peirce to Skolem: A Neglected Chapter in the History of Logic pp. 3-4, 170-71, 197-98). OCLC locates copies in these 5 US libraries: Chicago, Iowa, Johns Hopkins, Stanford, Washington.