Geometry.Net - Scientists: Skolem Thoralf


Home - Scientists - Skolem Thoralf

e99.com Bookstore

Images

Newsgroups

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

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

Skolem Thoralf: more detail

Abstract Set Theory by Thoralf Skolem, 1962-06
Lattice Theorists: Thoralf Skolem, Garrett Birkhoff, Henry Wallman, Øystein Ore, Robert P. Dilworth, Alfred Horn, Bjarni Jónsson, Richard J. Wood
Mathématicien Norvégien: Niels Henrik Abel, Sophus Lie, Atle Selberg, Thoralf Skolem, Ludwig Sylow, Kristen Nygaard, Axel Thue, Viggo Brun (French Edition)
Albert Thoralf Skolem (German Edition)
Primitive Recursive Arithmetic: Primitive Recursive Arithmetic, Quantification, Thoralf Skolem, Finitism, Foundations of Mathematics, Ordinal Analysis, Peano Axioms, Natural Number
Primitive Recursive Function: Primitive Recursive Function, Primitive Recursive Arithmetic, Quantification, Thoralf Skolem, Finitism, Foundations of Mathematics, ... Analysis, Peano Axioms, Natural Number
Primitive Recursive Arithmetic: Quantification, Thoralf Skolem, Finitism, Foundations of Mathematics, Ordinal Analysis, Peano Axioms, Natural Number, Primitive Recursive Function, Addition
ABSTRACT SET THEORY. Notre Dame Mathematical Lectures Number 8. by Thoralf A. SKOLEM, 1962
MODERN LOGIC: FROM FREGE TO GÖDEL: SKOLEM: An entry from Gale's <i>Encyclopedia of Philosophy</i> by Bede Rundle, 2006

lists with details

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

Extractions: 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.
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

Extractions: 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, "
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

Extractions: 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
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
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

Extractions: 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
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
Mathematiker-Jubiläen
Christian Hugo Eduard (23.3.1862 - 6.1.1930) 150. GT (2030 100.TT)
http://de.geocities.com/romildner/mathjubi.html
Arché TWiki . Main . SkolemEinigeBermerkungenZurAxiomatischenBegrundung
in FenstadMatematikerkongressenIHelsingforsDen4, pp. 197
http://weka.ucdavis.edu/~ahwiki/bin/view/Main/SkolemEinigeBermerkungenZurAxiomat

Extractions: 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

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