Indice
19 relazioni: Øystein Ore, Dimostrazione automatica di teoremi, Ernst Schröder, Ernst Zermelo, Kristian Birkeland, Lisp, Morti il 23 marzo, Morti nel 1963, Nati il 23 maggio, Nati nel 1887, Paradosso di Russell, Persone di nome Albert, Schema di assiomi di rimpiazzamento, Skolemizzazione, Teorema di Löwenheim-Skolem, Teoria assiomatica degli insiemi, Teoria degli insiemi, Teoria degli insiemi di Zermelo, Teoria degli insiemi di Zermelo-Fraenkel.
Øystein Ore
Ore si laureò in matematica presso l'Università di Oslo nel 1922. Nel 1924, sempre la stessa università gli conferì il dottorato di ricerca, avendo una tesi intitolata Zur Theorie der algebraischen Körper, aiutato da Thoralf Skolem.
Vedere Albert Thoralf Skolem e Øystein Ore
Dimostrazione automatica di teoremi
La dimostrazione automatica di teoremi (in inglese Automated theorem proving o ATP) o deduzione automatica, è il sottocampo più sviluppato del ragionamento automatico.
Vedere Albert Thoralf Skolem e Dimostrazione automatica di teoremi
Ernst Schröder
Figura di spicco nell'ambito della logica matematica (termine da lui inventato), sviluppò i lavori di George Boole, Augustus De Morgan, Hugh MacColl e Charles Peirce.
Vedere Albert Thoralf Skolem e Ernst Schröder
Ernst Zermelo
Si diplomò al Luisenstädtisches Gymnasium di Berlino nel 1889. Successivamente studiò matematica, fisica e filosofia alle Università di Berlino, Halle e Friburgo.
Vedere Albert Thoralf Skolem e Ernst Zermelo
Kristian Birkeland
Birkeland nacque a Oslo (in quegli anni Cristiania). Appassionato sin da ragazzo di scienze, a soli 18 anni scrisse il suo primo articolo scientifico.
Vedere Albert Thoralf Skolem e Kristian Birkeland
Lisp
Lisp (List Processor) è una famiglia di linguaggi di programmazione con implementazioni sia compilate sia interpretate, associata nel passato ai progetti di intelligenza artificiale.
Vedere Albert Thoralf Skolem e Lisp
Morti il 23 marzo
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Albert Thoralf Skolem e Morti il 23 marzo
Morti nel 1963
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Albert Thoralf Skolem e Morti nel 1963
Nati il 23 maggio
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Albert Thoralf Skolem e Nati il 23 maggio
Nati nel 1887
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Albert Thoralf Skolem e Nati nel 1887
Paradosso di Russell
Il paradosso di Russell, formulato dal filosofo e logico britannico Bertrand Russell tra il 1901 e il 1902, è una delle antinomie più importanti della storia della filosofia e della logica.
Vedere Albert Thoralf Skolem e Paradosso di Russell
Persone di nome Albert
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Albert Thoralf Skolem e Persone di nome Albert
Schema di assiomi di rimpiazzamento
Nella teoria degli insiemi, lo schema di assiomi di rimpiazzamento è uno schema di assiomi della teoria degli insiemi di Zermelo-Fraenkel. Sia P una generica relazione in due variabili che non usa il simbolo B. Allora, nel linguaggio formale degli assiomi di Zermelo-Fraenkel, lo schema di assiomi si scrive: oppure a parole: Si noti che esiste un assioma per ogni predicato P di quel tipo; quindi questo è uno schema di assiomi.
Vedere Albert Thoralf Skolem e Schema di assiomi di rimpiazzamento
Skolemizzazione
In logica matematica, si dice skolemizzazione l'applicazione dell'algoritmo di Albert Thoralf Skolem che trasforma un enunciato in forma normale in un enunciato universale.
Vedere Albert Thoralf Skolem e Skolemizzazione
Teorema di Löwenheim-Skolem
In teoria dei modelli, il teorema di Löwenheim-Skolem, enunciato da Leopold Löwenheim nel 1915 e dimostrato completamente nel 1920 da Thoralf Skolem, stabilisce che se un insieme di formule chiuse di una logica del primo ordine ammette un modello infinito, allora ammette un modello di una qualsiasi cardinalità infinita maggiore o uguale al cardinale del linguaggio e dell'insieme delle formule.
Vedere Albert Thoralf Skolem e Teorema di Löwenheim-Skolem
Teoria assiomatica degli insiemi
La teoria assiomatica degli insiemi è una versione della teoria degli insiemi che definisce gli insiemi sulla base di alcuni assiomi, in modo tale da evitare i paradossi derivati dalla formulazione della teoria ingenua degli insiemi.
Vedere Albert Thoralf Skolem e Teoria assiomatica degli insiemi
Teoria degli insiemi
La teoria degli insiemi è una teoria matematica posta ai fondamenti della matematica stessa, collocandosi nell'ambito della logica matematica.
Vedere Albert Thoralf Skolem e Teoria degli insiemi
Teoria degli insiemi di Zermelo
In teoria degli insiemi, con la lettera maiuscola Z, s'intende la versione assiomatica della teoria (ingenua) degli insiemi di Cantor, costruita dal matematico Ernst Zermelo, e pubblicata nel 1908.
Vedere Albert Thoralf Skolem e Teoria degli insiemi di Zermelo
Teoria degli insiemi di Zermelo-Fraenkel
In matematica, e in particolare in logica matematica, la teoria degli insiemi di Zermelo-Fraenkel comprende gli assiomi standard della teoria assiomatica degli insiemi su cui, insieme con l'assioma di scelta, si basa tutta la matematica ordinaria secondo formulazioni moderne.
Vedere Albert Thoralf Skolem e Teoria degli insiemi di Zermelo-Fraenkel
Conosciuto come Thoralf Skolem.