Skolem, Thoralf

Enciclopedia on line

Logico e matematico (Sandsvär 1887 - Oslo 1963). Prof. a Bergen e a Oslo. Ha dato un contributo determinante alla costruzione della teoria assiomatica degli insiemi; ha dimostrato per primo che nessun insieme finito o numerabile di assiomi esprimibile nella logica elementare è capace di definire la teoria dei numeri in modo da caratterizzarla completamente. Tra le opere: Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre (1923); Ein Satz über Zählausdrücke (1935); Une relativisation des notions mathématiques fondamentales (1958); Abstract set theory (1962).

Vedi anche
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione al loro significato ... Ernst Zermelo Matematico (Berlino 1871 - Friburgo in Brisgovia 1953). Studiò a Gottinga e fu prof. di matematica nell'univ. di Zurigo (1910). Il suo nome è legato a importanti problemi del calcolo delle variazioni, ma soprattutto alla teoria degli insiemi. Il postulato (1904) che da lui prende il nome, secondo il ... metamatematica Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), è la scienza, creata da D. Hilbert intorno al 1919, avente per oggetto intere teorie matematiche ... insieme numerabile In matematica, insieme che può essere posto in corrispondenza biunivoca con l’insieme dei numeri interi naturali. Un insieme n. è dunque necessariamente un insieme infinito; ogni suo sottoinsieme è finito oppure è esso stesso n.; da ciò segue che agli insiemi n. corrisponde il minimo n. cardinale transfinito ...
Categorie
Tag
Altri risultati per Skolem, Thoralf
  • Skolem
    Enciclopedia della Matematica (2013)
    Skolem Thoralf Albert (Sandsvaer 1887 - Oslo 1963) logico e matematico norvegese. Iniziò gli studi di matematica presso l’università di Kristiania (l’odierna Oslo) nel 1905, dove insegnò algebra e teoria dei numeri dal 1938 fino al termine della sua carriera nel 1957. Oltre alla teoria dei numeri (equazioni ...
  • Skolem, Thoralf
    Dizionario di filosofia (2009)
    Logico e matematico norvegese (Sandsvär 1887 - Oslo 1963). Insegnò nelle univv. di Bergen e di Oslo. Ha dato un contributo determinante alla costruzione della teoria assiomatica degli insiemi; ha dimostrato per primo che nessun insieme finito o numerabile di assiomi esprimibile nella logica elementare ...
  • Skolem Thoralf Albert
    Dizionario delle Scienze Fisiche (1996)
    Skolem 〈skùulem〉 Thoralf Albert [STF] (Sandsvær 1887 - Oslo 1963) Prof. di matematica nell'univ. di Oslo (1938). ◆ [ALG] [FAF] Paradosso di S.: v. Gödel, teorema di: III 54 f. ◆ [ALG] [FAF] Teoremi di Löwenheim-S.: v. logica: III 485 e.
  • SKOLEM, Thoralf
    Enciclopedia Italiana - V Appendice (1994)
    Carlo Cattani Logico matematico norvegese, nato a Sandsvaer, nella provincia di Buskerud, il 23 maggio 1887, morto a Oslo il 23 marzo 1963. Le modeste condizioni dei genitori (il padre Even insegnante elementare e la madre Helene Olette Vaal entrambi di origini contadine), non gli impedirono di ottenere ...