Thoralf Skolem oor Engels

Thoralf Skolem

Vertalings in die woordeboek Nederlands - Engels

Thoralf Skolem

voorbeelde

Dit standpunt werd reeds in 1923 ingenomen door Thoralf Skolem, zelfs nog vóór de eerste onvolledigheidsstelling van Gödel.
This viewpoint was advanced as early as 1923 by Skolem, even before Gödel's first incompleteness theorem.

Zijn enige bekende promovendus was Thoralf Skolem.
His only known PhD student was Thoralf Skolem.

Bevat een gedetailleerde exegese over de proef in Löwenheim (1915) en bediscussieert hoe Thoralf Skolem dit bewijs simplificeerde, veralgemeende en de reikwijdte van dit bewijs uitbreidde. (en) Leopold Löwenheim op MacTutor
Contains a detailed exegesis of the proof in Löwenheim (1915), and discusses how Thoralf Skolem simplified that proof and extended the scope and generality of the theorem.

Thoralf Skolem was in 1922 de eerste die de schijnbaar tegenstrijdige aspecten van deze stelling besprak en die de relativiteit van de verzamelingtheoretische noties ontdekte die nu bekendstaan als niet-absoluutheid.
Thoralf Skolem (1922) was the first to discuss the seemingly contradictory aspects of the theorem, and to discover the relativity of set-theoretic notions now known as non-absoluteness.

In 1922 stelden Abraham Fraenkel en Thoralf Skolem onafhankelijk van elkaar een operationalisering van deze "definiete" eigenschap voor als één die zou kunnen worden geformuleerd als een eerste orde theorie, waarvan de atomaire formules werden gelimiteerd tot lidmaatschap van de verzameling en identiteit.
In 1922, Fraenkel and Thoralf Skolem independently proposed operationalizing a "definite" property as one that could be formulated as a well-formed formula in a first-order logic whose atomic formulas were limited to set membership and identity.

In 1922 verbeterden Adolf Fraenkel en Thoralf Skolem onafhankelijk van elkaar Zermelo's axiomasysteem.
In 1922, Adolf Fraenkel and Thoralf Skolem independently improved Zermelo's axiom system.

Albert Thoralf Skolem (Sandsvaer, 23 mei 1887 – Oslo, 23 maart 1963) was een Noorse wiskundige. Zijn belangrijkste werkterrein was de logica.
Thoralf Albert Skolem (23 May 1887 – 23 March 1963) (Norwegian pronunciation: [ˈtuːɾɑlf ˈskuːləm]) was a Norwegian mathematician who worked in mathematical logic and set theory.

In 1924 promoveerde hij onder supervisie van Thoralf Skolem aan de Universiteit van Oslo op een proefschrift met de titel Zur Theorie der algebraischen Körper.
In 1924, the University of Oslo awarded him the Ph.D. for a thesis titled Zur Theorie der algebraischen Körper, supervised by Thoralf Skolem.

In 1922 stelden Abraham Fraenkel en Thoralf Skolem onafhankelijk van elkaar een operationalisering van deze "definiete" eigenschap voor als één die zou kunnen worden geformuleerd als een eerste orde theorie, waarvan de atomaire formules werden gelimiteerd tot lidmaatschap van de verzameling en identiteit.
In 1922, Fraenkel and Thoralf Skolem independently proposed operationalizing a "definite" property as one that could be formulated as a first order theory whose atomic formulas were limited to set membership and identity.