Home  - Scientists - Skolem Thoralf

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

1-20 of 88    1  | 2  | 3  | 4  | 5  | Next 20

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

1. Skolem Issue Of The Nordic Journal Of Philosophical Logic
   GRIGORI MINTS THORALF SKOLEM AND THE EPSILON SUBSTITUTION METHOD FOR PREDICATE LOGIC. MATTI EKLUND ON HOW LOGIC BECAME FIRSTORDER  
   http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

2. Webeverything.co.uk Top Science Math Logic And Foundations
   Top Science Math Logic and Foundations History People Skolem, Thoralf  
   http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

3. DIRECTORY - MATH THORALF SKOLEM - SCIENCE AND MATH THORALF SKOLEM
   SCIENCE AND MATH THORALF SKOLEM. Directory Home. Mizmoz. Music News. Festivals. Music Equipment. Science And Math Thoralf Skolem. Marshall  
   http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

4. Skolem, Thoralf, People, History, Logic And Foundations, Math
   Skolem, Thoralf, People, History, Logic and Foundations, Math, Science  
   http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

5. Science Math Logic And Foundations History People Skolem, Thoralf
   Redeg e Plougastell 10km de Lacq Vincent Toumazou, c Search Top Science Math Logic_and_Foundations History People Skolem _Thoralf  
   http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

6. Thoralf Skolem - Wikipedia, The Free Encyclopedia
   Thoralf Skolem. From Wikipedia, the free encyclopedia. Albert Thoralf Skolem (May23, 1887 March 23, 1963) was a Norwegian mathematician.  
   http://en.wikipedia.org/wiki/Thoralf_Skolem
   
   Extractions: The Red Cross and other charities also need your help. Albert Thoralf Skolem May 23 March 23 ) was a Norwegian mathematician . He worked mostly on mathematical logic See: edit This biographical article about a mathematician is a stub . You can help Wikipedia by expanding it Norwegian biographical article is a stub . You can help Wikipedia by expanding it Retrieved from " http://en.wikipedia.org/wiki/Thoralf_Skolem Categories Mathematician stubs Norwegian people stubs ... Norwegian mathematicians Views Personal tools Navigation Search Toolbox In other languages Deutsch Slovenščina This page was last modified 09:24, 8 August 2005. All text is available under the terms of the GNU Free Documentation License (see for details).

7. Skolem, Thoralf
   Canadian Content explores Skolem, Thoralf.  
   http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

8. Thoralf Skolem - Definition Of Thoralf Skolem In Encyclopedia
   Albert Thoralf Skolem (May 23, 1887 March 23, 1963) was a Norwegian mathematician.He worked mostly on mathematical logic.SeeLöwenheim-Skolem  
   http://encyclopedia.laborlawtalk.com/Thoralf_Skolem
   
   Extractions: This article is licensed under the GNU Free Documentation License . It uses material from the Wikipedia article "Thoralf_Skolem" Browse thoracoepigastric vein thoracic actinomycosis Thoralf Skolem thorn ... thorny skate Search Word: General Encyclopedia Legal Medical Computer Science Law Forum Embed a dictionary search in your own web page Link to Us Advertise Add to Favorites ...

9. Skolem, Thoralf - Search Engine
   Top Science Math Logic and Foundations History People Skolem, Thoralf (2)  
   http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

10. Thoralf Skolem
    Thoralf Skolem Albert Thoralf Skolem (May 23, 1887 March 23, 1963) was aNorwegian mathematician. He worked mostly on mathematical logic.  
    http://www.algebra.com/algebra/about/history/Thoralf-Skolem.wikipedia
    
    Extractions: The Red Cross and other charities also need your help. Albert Thoralf Skolem May 23 March 23 ) was a Norwegian mathematician . He worked mostly on mathematical logic See: This biographical article about a mathematician is a stub . You can help Wikipedia by expanding it Norwegian biographical article is a stub . You can help Wikipedia by expanding it Retrieved from " http://en.wikipedia.org/wiki/Thoralf_Skolem Categories Mathematician stubs Norwegian people stubs ... Norwegian mathematicians Views Personal tools Navigation Search Toolbox In other languages Deutsch Slovenščina This page was last modified 09:24, 8 August 2005.

11. Science/Math/Logic And Foundations/History/People/Skolem, Thoralf
    Search Guide Search front page. Search eSearch Science Math Logic and Foundations History People Skolem, Thoralf Web sites  
    http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

12. Kypros-Net ESearch
    "Skolem, Thoralf" search on All the Web AltaVista - Google USENET - Google - HotBot - Lycos - Northern Light - Yahoo  
    http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

13. Skolem
    Translate this page skolem thoralf Albert, norvégien, 1887-1963 (Zermelo-Fraenkel-axiome du choix)devrait aussi comporter le nom de Skolem puisque ce dernier contribua à  
    http://serge.mehl.free.fr/chrono/Skolem.html

14. Thoralf Skolem
    Bookmark Thoralf Skolem. Thoralf Skolem. Albert Thoralf Skolem (May 23, 1887 March 23, 1963) was a Norwegian mathematician.  
    http://www.firebird.cn/wiki/Thoralf_Skolem

15. Skolem, Thoralf Albert
    skolem, thoralf Albert (18871963) skolem was born at Sandsvaer and educatedat Oslo, where he became professor 1938. He wrote 182 scientific papers,  
    http://www.cartage.org.lb/en/themes/Biographies/MainBiographies/S/Skolem/1.html

16. Skolem
    Biography from MacTutor History of mathematics archive.  
    http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Skolem.html
    
    Extractions: Version for printing Thoralf Skolem 's parents were Helene Olette Vaal and Even Skolem, who was primary school teacher. Although his father was a teacher, Thoralf came from a farming family with most of his relations being farmers. He attended secondary school taking the final examination, the Examen artium, in Kristiania (later renamed Oslo) in 1905. He then entered Kristiania University to study mathematics, but he also took courses on physics, chemistry, zoology and botany. In 1909 Skolem took a job as assistant to the physicist Kristian Birkeland, who was famed for his experiments with the aurora-like effect obtained by bombarding a magnetized sphere with electrons, and Skolem's first publications were physics papers written jointly with Birkeland. Skolem took his state examination in 1913, passing with distinction. His dissertation Undersokelser innenfor logikkens algebra ... Viggo Brun and Skolem agreed that neither of them would bother to obtain the degree of Doctor, probably feeling that, in Norway, it served no useful function in the education of a young scientist.

17. References
    skolem, thoralf. 1923a. Einige Bemerkungen zur axiomatischen Begründung  
    http://www.hf.uio.no/filosofi/njpl/vol1no2/skogod/node2.html

18. Skolem
    Biography of thoralf skolem (18871963) thoralf skolem s parents were HeleneOlette Vaal and Even skolem, who was primary school teacher.  
    http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Skolem.html
    
    Extractions: Version for printing Thoralf Skolem 's parents were Helene Olette Vaal and Even Skolem, who was primary school teacher. Although his father was a teacher, Thoralf came from a farming family with most of his relations being farmers. He attended secondary school taking the final examination, the Examen artium, in Kristiania (later renamed Oslo) in 1905. He then entered Kristiania University to study mathematics, but he also took courses on physics, chemistry, zoology and botany. In 1909 Skolem took a job as assistant to the physicist Kristian Birkeland, who was famed for his experiments with the aurora-like effect obtained by bombarding a magnetized sphere with electrons, and Skolem's first publications were physics papers written jointly with Birkeland. Skolem took his state examination in 1913, passing with distinction. His dissertation Undersokelser innenfor logikkens algebra ... Viggo Brun and Skolem agreed that neither of them would bother to obtain the degree of Doctor, probably feeling that, in Norway, it served no useful function in the education of a young scientist.

19. References For Skolem
    References for the biography of thoralf skolem. G Mints, thoralf skolem andthe epsilon substitution method for predicate logic, Nordic J. Philos.  
    http://www-gap.dcs.st-and.ac.uk/~history/Printref/Skolem.html
    
    Extractions: (Dordrecht, 1995), 283-329. R Crespo, Th Skolem (Spanish), Gaceta Mat. (1) J E Fenstadt, Thoralf Albert Skolem in Memoriam, Nordisk Mathematisk Tidsskrift J E Fenstadt, Thoralf Albert Skolem 1887-1963 : a biographical sketch, Nordic J. Philos. Logic G Gjone, Uber Leben und Werk von Thoralf Skolem, Contributions to the history, philosophy and methodology of mathematics, Wiss. Z. Greifswald, Ernst- Moritz- Arndt- Univ. Math.-Natur. Reihe Philos. Math. (3) H R Jervell, Thoralf Skolem: pioneer of computational logic, Nordic J. Philos. Logic W Ljunggren, Thoralf Albert Skolem in memoriam, Math. Scand. G Mints, Thoralf Skolem and the epsilon substitution method for predicate logic, Nordic J. Philos. Logic T Nagell, Thoralf Skolem in Memoriam, Acta Mathematica (1963), i-xi. S Selberg, Thoralf Albert Skolem (Norwegian), Norske Vid. Selsk. Forh. (Trondheim)

20. Logic - CASE Bibliography
    skolem, thoralf (1922). Some remarks on axiomatized set theory. skolem,thoralf (1928). On mathematical logic. Van Heijenoort, pp. 508f.  
    http://david_hewins.tripod.com/papers/id13.html
    
    Extractions: Atzeni, Paolo and Peter P. Chen (1981). Completeness of Query Languages for the Entity-Relationship Model. Entity-Relationship Approach to Information Modeling and Analysis, ed. P.P. Chen. ER Institute, 1981. Republished in Second International Conference on the Entity-Relationship Approach, 1981 (1983). North-Holland.

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

1-20 of 88    1  | 2  | 3  | 4  | 5  | Next 20