81. Wissenglobal.de Translate this page NAME, skolem, Albert thoralf. ALTERNATIVNAMEN. KURZBESCHREIBUNG, norwegischerMathematiker, Logiker und Philosoph. GEBURTSDATUM, 23. Mai 1887 http://wissenglobal.de/Albert_Thoralf_Skolem.html

aus Wissenglobal, der freien Enzyklop¤die Albert Thoralf Skolem 23. Mai in Sandsvaer 23. M¤rz in Oslo ) war ein norwegischer Mathematiker, Logiker und Philosoph. Seine Arbeiten lieferten grundlegende Resultate zur mathematischen Logik , insbesondere zu den Bereichen Modelltheorie und Berechenbarkeit. Aber auch zur mathematischen Grundlagenforschung wie Pr¤dikatenlogik, Klassenlogik, Rekursionstheorie, Mengenlehre und Grundlagen der Arithmetik leistete er wesentliche Beitr¤ge. Mittels der nach ihm benannten pr¤dikatenlogischen Normalform hat er f¼r den Satz von L¶wenheim, daŸ jeder erf¼llbare Ausdruck des Pr¤dikatenkalk¼ls schon in einem h¶chstens abz¤hlbaren Bereich erf¼llbar ist, einen ¼berschaubaren Beweis gegeben, so daŸ dieser Satz heute mit Recht Satz von L¶wenheim und Skolem genannt wird. Durch Skolem wurde in der Axiomatisierung der Mengenlehre der Schlusspunkt gesetzt, indem er mit den Mitteln der Formalisierung dem Komprehensionsaxiom seine heute ¼bliche Fassung gab. Auf Skolem geht der heute ¼bliche Begriff der primitiv-rekursiven Funktion zur¼ck.

82. Stanford Philosophy Department: Faculty, Staff And Students 671696; thoralf skolem and the epsilon substitution method for predicate logic, Nordic Journal of Philosophical Logic, v.1 no.1, 1997, 133-146 http://www-philosophy.stanford.edu/fss/gm.html

Grigori Mints Professor of Philosophy Office: Bld. 100, rm. 101A Mailing: Department of Philosophy, Building 90 Stanford University Stanford, CA 94305-2155 Phone: Email: mints@csli.stanford.edu Education History Born: June 7, 1939, Leningrad (St. Petersburg) USSR Sc.D. Leningrad University, Leningrad, 1990 (Mathematics) Ph.D. Leningrad, 1965 (Mathematics) M.S. Leningrad University, 1961 (Mathematics) Areas of Interest Logic, especially proof theory; its applications to philosophy, computer science and linguistics; foundations of mathematics; philosophy of mathematics Selected Bibliography Books: A Short Introduction to Modal Logic Center for the Study of Language and Information, Stanford, 1992, 91p. Selected Papers in Proof Theory , Bibliopolis, Napoli, Italia and North-Holland, Amsterdam, 1992. A Short Introduction to Intuitionistic Logic , Kluwer Academic - Plenum Publishers, New York, Boston, Dordrecht, London, Moscow, 2000 Some articles after 1990: "Gentzen-type Systems and Resolution Rules.Part I. Propositional Logic, "

83. 1887_sc Translate this page skolem, thoralf Albert (Sandsvar 1887-Oslo 1963) logico e matematico norvegese1918, insegnante di matematica a Oslo, dove si è laureato nel 1913, http://www.viandante.it/sito24/work/XIX secolo/1887_sc.php

Il Viandante in rete dal 1996 bol.com Libri nuovi a metà prezzo CARTE PREPAGATE Nuova Ricerca ANNO 1887 storia e politica religione e filosofia arte scienze economia lettere e teatro cinema Leone XIII Hertz, Gustav Ludwig (Berlino 1887-Lipsia 1975) fisico tedesco, nipote di Heinrich Rudolf (1857-1894), si occupò di ricerche sperimentali nel campo della fisica atomica, premio Nobel per la fisica nel 1925 assieme a J. Franck Houssay, Bernardo Alberto (Buenos Aires 1887-1971) fisiologo argentino, premio Nobel per la fisiologia e la medicina nel 1947 per le sue ricerche sulla funzione dell'ipofisi, assieme a C.F. Cori e G.T. Cori Huxley, Julian Sorell (Londra 1887-1975) biologo e scrittore inglese, fratello dello scrittore Aldous (1894-1963) e fratellastro del premio Nobel per la medicina Andrew Fielding 1946-48, primo direttore generale del'UNESCO I suoi studi principali riguardano lo studio del comportamento degli animali, l'embriologia, l'ecologia animale e la genetica dello sviluppo. Kellin, David

84. Collected Works : Correspondence H-Z (Godel, Kurt//collected Works): ‹IˆÉš  Translate this page Carl Seelig 248 (7) Introductory note by Jens Erik Fenstad 255 (3) thoralfskolem Letter to thoralf skolem 256 (2) Introductory note by Solomon Feferman http://bookweb.kinokuniya.co.jp/htmy/0198500750.html

US:New York Times US:PublishersWeekly US:Brandon-Hill US:Library Journal ... ŸŠúŠÔŒÀ’è“Á‰¿ƒR[ƒi[ ˜a‘ —m‘ “dŽq‘Ð “X“ªÝŒÉ Kinokuniya DataBase Search Result matches Table of Contents Collected Works : Correspondence H-Z (Godel, Kurt//collected Works) -US- ISBN:0198500750 (Hard cover book) vol.005 Godel, Kurt Feferman, Solomon (EDT) Dawson, John W. (EDT) Goldfarb, /Publisher:Oxford Univ Pr Published 2003/05 ŠO‰Ý’艿:US$ 199.50 Price: (D) Qty. FAST DELIVERY ‚±‚̏¤•i‚́AŠCŠO‚̏‘ÐŽæŽŸ‰ïŽÐ‚ɍ݌ɂª‚²‚´‚¢‚Ü‚·B ’ʏíA (Science/Mathematics) Look for similar books by category Look for similar books by subject: Logic, Symbolic and mathematic šAcademic Title Information DDC: Source:ENG Academic Descriptors: Publishers : University Press Place of Publication : Great Britain Language of Publication : English Edition : First Physical Format : Hardbound Continuations : Sets,any number Textual Format : Readings/Anthologies Academic Level : Graduate Geographic Designator : Western Europe Table of Contents E-mail: webmaster@kinokuniya.com DATA

85. Biografia De Skolem, Albert Thoralf Translate this page skolem, Albert thoralf. (Sandsvaer, 1887-Oslo, 1936) Lógico y matemático noruego.Contribuyó al desarrollo de la teoría intuicionista. http://www.biografiasyvidas.com/biografia/s/skolem.htm

Inicio Buscador Las figuras clave de la historia Reportajes Los protagonistas de la actualidad Skolem, Albert Thoralf (Sandsvaer, 1887-Oslo, 1936) Lógico y matemático noruego. Contribuyó al desarrollo de la teoría intuicionista. Trabajó en especial en la resolución de las ecuaciones diofánticas y en el estudio axiomático de los números enteros. Inicio Buscador Recomendar sitio

86. Actualités skolem ». Le mathématicien norvégienThoralf skolem (1887-1963) a proposé le problème suivant http://euler.ac-versailles.fr/webMathematica/actualites/actualites.htm

Espaces de travail sur euler euler avant la fin du mois de septembre. vous inscrire

87. Mathematiker-Jubiläen Christian Hugo Eduard (23.3.1862 - 6.1.1930) 150. GT (2030 100.TT) http://de.geocities.com/romildner/mathjubi.html

Jubiläen bedeutender Mathematiker (2002 - 2026) zusammengestellt von Dr. Roland Mildner, Leipzig GT = Geburtstag, TT = Todestag) der Zunft des abstrakten Geistes in den kommenden Jahren Ehrerbietung zu erweisen. Mathematiker" ( Bibliographisches Institut, Leipzig 1990), an dessen Entstehung der Verfasser als Mitautor beteiligt war. und -gesellschaften, von Zeitungs- und Zeitschriften-Redaktionen sowie von Redaktionen anderer Medien, aber auch von allen mathematikhistorisch interessierten Personen. 25 Jahre umfasst, so erscheint jeder der genannten Mathematiker i.Allg. zweimal. Bei jedem Jubiläum wird auf das nächste Jubiläum verwiesen. Innerhalb eines Jahres wurden jedoch die Mathematikernamen nicht in monatlich-zeitlicher Reihenfolge, sondern alphabetisch angeordnet. Jubiläum 2005 home 1. Abel, Niels Henrik (5.8. 200. GT (2004: 175. TT) 200. GT (2010: 150. TT) 3. Fredholm, (Erik) Ivar (7.4.1866 - -17.8. 75. TT (2016: 150. GT) 225. GT (2005: 150. TT) 5. Hardy, Godefrey Harold (7.2. 125. GT

88. Arché TWiki . Main . SkolemEinigeBermerkungenZurAxiomatischenBegrundung in FenstadMatematikerkongressenIHelsingforsDen4, pp. 197 http://weka.ucdavis.edu/~ahwiki/bin/view/Main/SkolemEinigeBermerkungenZurAxiomat

Arché TWiki Main SkolemEinigeBermerkungenZurAxiomatischenBegrundung Arché TWiki webs: Main Arché Dept TWiki ... Sandbox Changes Search Thoralf Skolem, "Einige bermerkungen zur axiomatischen begrundung der mengenlehre" , in , pp. 197 This citation belongs to the following research topics: MathBibConvert 17 Feb 2003 InCollectionCitation Pagerange: Crossref: Title: Einige bermerkungen zur axiomatischen begrundung der mengenlehre Author: Thoralf Skolem Topic SkolemEinigeBermerkungenZurAxiomatischenBegrundung Edit Attach Ref-By Print Diffs More Revision r1.1 - 17 Feb 2003 - 22:58 - MathBibConvert

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 5     81-88 of 88    Back | 1  | 2  | 3  | 4  | 5