21. ScienceDaily -- Browse Topics: Science/Math/Logic_and_Foundations/History/People News about skolem, thoralf full story. More news about skolem, thoralf. Books about skolem, thoralf More books about skolem, thoralf . http://www.sciencedaily.com/directory/Science/Math/Logic_and_Foundations/History

Match: sort by: relevance date Free Services Subscribe by email RSS newsfeeds PDA-friendly format loc="/images/" A A A Find Jobs In: Healthcare Engineering Accounting College Contract / Freelance Customer Service Diversity Engineering Executive Healthcare Hospitality Human Resources Information Tech International Manufacturing Nonprofit Retail All Jobs by Job Type All Jobs by Industry Relocating? Visit: Moving Resources Moving Companies Mortgage Information Mortgage Calculator Real Estate Lookup Front Page Today's Digest Week in Review Email Updates ... People Skolem, Thoralf (2 links) News about Skolem, Thoralf New Surgical Bypass Technique Offers Longer-Lasting Bypasses (February 26, 1999) full story [ More news about Skolem, Thoralf Books about Skolem, Thoralf [ More books about Skolem, Thoralf Links about Skolem, Thoralf Skolem Issue of the Nordic Journal of Philosophical Logic - Special issue with articles by Jens Erik Fenstad, Herman Ruge Jervell, Hao Wang, Grigori Mints, Matti Eklund on Skolem's life and work. Thoralf Skolem (1887-1963) - Biography from MacTutor History of mathematics archive. Our Picks: Moving Companies - Find Moving Companies in Your area and get a free Moving Quote.

22. References Translate this page skolem, thoralf. 1910. H. Weyl. Über die Definitionen der mathematischenGrundbegriffe. 89-90. Review of Weyl 1910. skolem, thoralf. 1920. http://www.hf.uio.no/filosofi/njpl/vol1no2/skogod/node2.html

Next: Up: Skolem and Gödel Previous: Skolem and Gödel References Boos, William. Jul. 1992. Typescript. , 2, p. 3. Reprinted in , pp. 240-242. , 4, p. 385. Reprinted in , p. 262. , 40, pp. 433-443. Reprinted in , pp. 306-326. Besprechung von ``Ein kombinatorischer Satz mit Anwendung auf ein logisches Entscheidungsproblem''. , 7, pp. 97-98. Reprinted in , p. 372. , 2, p. 3. Reprinted in , pp. 378-380. , 10, p. 49. Reprinted in , p. 384. Collected Works, edited by Solomon Feferman , vol. 1. Oxford University Press, New York. Goldfarb, Warren D. 1971. Review of Skolem 1970 Journal of Philosophy , 68, pp. 520-530. Goldfarb, Warren D. 1979. Logic in the twenties: The nature of the quantifier. Journal of Symbolic Logic , 44, pp. 351-368. van Heijenoort, Jean (ed.). 1967. Harvard University Press, Cambridge, Mass. Skolem, Thoralf. 1910. , 41, pp. 89-90. Review of Weyl 1910 Skolem, Thoralf. 1920. Skrifter utgit av Videnskabsselskapet i Kristiania, I. Matematisk-naturvidenskabelig klasse , 4, pp. 1-36. Reprinted as 1920a in Skolem 1970 , pp. 103-136.

23. References Translate this page Conclusion. References. skolem, thoralf. 1919a. Untersuchungen überdie pp. 67-101. skolem, thoralf. 1920a. Logisch-kombinatorische http://www.hf.uio.no/filosofi/njpl/vol1no2/pioneer/node14.html

Next: Up: Thoralf Skolem: Pioneer of Previous: 13. Conclusion References Skolem, Thoralf. 1919a. Untersuchungen über die Axiome des Klassenkalküls und über Produktations- und Summationsprobleme, welche gewisse Klassen von Aussagen betreffen. Skrifter utgit av Videnskabsselskapet i Kristiania Reprinted in Skolem , pp. 67-101. Skolem, Thoralf. 1920a. Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit und Beweisbarkeit mathematischen Sätze nebst einem Theoreme über dichte Mengen. Skrifter utgit av Videnskabsselskapet i Kristiania, I. Matematisk-naturvidenskabelig klasse , 4, pp. 1-36. Reprinted in Skolem , pp. 103-136. Skolem, Thoralf. 1922a. Über ganzzahlige Lösungen einer Klasse unbestimmter Gleichungen. Norsk Matematisk Forenings skrifter , series 1, no. 12. Skolem, Thoralf. 1922b. Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre. In Matematikerkongressen i Helsingfors 4-7 juli 1922, Den femte skandinaviska matematikerkongressen, Redogörelse , pp. 217-232. Akademiska Bokhandeln, Helsinki. Reprinted in Skolem , pp. 137-152.

24. Albert Thoralf Skolem Translate this page Albert thoralf skolem Seite aus einem deutschsprachigen Online-Philosophenlexikon.philosophenlexikon.de, Albert thoralf skolem (1887 - 1963). http://www.philosophenlexikon.de/skolem.htm

Begriffe Abaelard - Ayer Baader - Byron Cabanis - Czezowski Ebbinghaus - Ewald ... Frauen in der Philosophie Diskussion PhilTalk Philosophieforen Andere Lexika PhilLex -Lexikon der Philosophie Lexikon der griechischen Mythologie PhiloThek Bibliothek der Klassiker Zeitschriftenlesesaal Nachschlagewerke Allgemeine Information ... Dokumentenlieferdienste Spiele Philosophisches Galgenraten PhilSearch.de Shops PhiloShop PhiloShirt Service Kontakt Impressum eMail Albert Thoralf Skolem (1887 - 1963) Der norwegische Mathematiker und Logiker powered by Uwe Wiedemann

25. Philosophenlexikon.de skolem, Albert thoralf; Sloniewska, Halina;Slupecki, Jerzy; Smiglecki, Marcin; Smolka, Franciszek; Smuts, Jan http://www.philosophenlexikon.de/index-ss.htm

Begriffe Abaelard - Ayer Baader - Byron Cabanis - Czezowski Ebbinghaus - Ewald ... Frauen in der Philosophie Diskussion PhilTalk Philosophieforen Andere Lexika PhilLex -Lexikon der Philosophie Lexikon der griechischen Mythologie PhiloThek Bibliothek der Klassiker Zeitschriftenlesesaal Nachschlagewerke Allgemeine Information ... Dokumentenlieferdienste Spiele Philosophisches Galgenraten PhilSearch.de Shops PhiloShop PhiloShirt Service Kontakt Impressum eMail Philosophen und Logiker [a] [b] [c] [d] ... [z] S Saarnio, Uuno Sachs, Eva Sack, August Friedrich Wilhelm Salamucha, Jan ... Szilasi, Wilhelm powered by Uwe Wiedemann

26. Zermelo-Fraenkel Set Theory - Encyclopedia Article About Zermelo-Fraenkel Set Th The axioms are the result of work by thoralf skolem Albert thoralf skolem(May 23, 1887 March 23, 1963) was a Norwegian mathematician. http://encyclopedia.thefreedictionary.com/Zermelo-Fraenkel set theory

Dictionaries: General Computing Medical Legal Encyclopedia Zermelo-Fraenkel set theory Word: Word Starts with Ends with Definition The Zermelo-Fraenkel axioms of set theory (ZF) , are the standard axioms axioma axioein axios ), meaning worthy. Among the philosophers of the ancient Greeks an axiom was a claim which could be seen to be true without any need for proof. Click the link for more information. of axiomatic set theory Set theory is a branch of mathematics and computer science created principally by the German mathematician Georg Cantor at the end of the 19th century. Initially controversial, set theory has come to play the role of a foundational theory in modern mathematics, in the sense of a theory invoked to justify assumptions made in mathematics concerning the existence of mathematical objects (such Click the link for more information. on which, together with the axiom of choice The axiom of choice is an axiom in set theory. It was formulated about a century ago by Ernst Zermelo, and was quite controversial at the time. It states the following: Let X be a collection of non-empty sets. Then we can

27. MathSeek.com Skolem,_Thoralf Math Logic and Foundations History People skolem,thoralf Found 0 sites about skolem, thoralf. http://www.mathseek.com/categories/Science__Math__Logic_and_Foundations__History

@import url(http://www.animationseek.com/style.css); Search Directory Forum Math Logic and Foundations History People ... Skolem, Thoralf - Found sites about Skolem, Thoralf Add / Update Url Become an Editor Link to Us Sitemap ... MathSeek.com - Math Search Engine - Seeking Sites about Math,Applications,Education,Recreations,Statistics,Algebra,Analysis,Chaos,Fractals,Combinatorics,Differential,Equations,Geometry,Logic,Foundations,Number,Theory,Numerical,Analysis,Operations,Research,Precalculus. PhysicsSeek.com SocialScienceSeek.com TechnologySeek.net BaseballSeek.com ... MartialArtsSeek.com

28. Directorio - Enlaces Arthur Norman @ (2); Quine, Willard van Orman @ (12); Russell, Bertrand@ (18); skolem, thoralf (2); Tarski, Alfred (5); Turing, Alan http://www.satd.uma.es/matap/svera/links/matnet1.html

Análisis Matemático Asociaciones Constantes Pi Análisis Matemático Asociaciones Constantes Pi ... Knot Theory

29. Directorio - Lógica Y Fundamentos skolem, thoralf (2); Tarski, Alfred (5); Turing, AlanMathison (7); Wittgenstein, Ludwig @ (53). Logicians (159). Links 101 - 200. http://www.satd.uma.es/matap/svera/links/matnet12.html

Lógica y Fundamentos Restaurar marco Añade tu web Anterior Home ... Siguiente en todo el directorio Dmoz sólo en Filosofía/Lógica Top Directorio Español: Matemáticas : Lógica y conjuntos Descripción Genéricas: Acontecimientos Aplicaciones Asociaciones Bibliotecas ... Software Específicas: Álgebra Análisis An. Numérico Cálculo ... Topología Esta categoría en otros idiomas: Inglés Ciudad Futura - Lógica Matemática - Objetivos de la Lógica, definiciones y operaciones básicas. Grupo de Lógica Matemática y Teoría de Conjuntos. - Facultad de Ciencias, Universidad Nacional Autónoma de México. Integrantes, líneas de trabajo y artículos sobre lógica matemática y computacional y conjuntos. Introducción a la Lógica Matemática - Completo manual de lógica, lenguajes formales, computación y sistemas expertos. Lógica y teoría de conjuntos - Manuales de Lógica y teoría de conjuntos, Pruebas de consistencia, Análisis no estándar, Álgebra y Funciones de variable compleja (universidad de Valencia). Monografias.com - Lógica Matemática

30. The Mathematics Genealogy Project - Thoralf Skolem thoralf Albert skolem Biography Ph.D. Universitetet i Oslo 1926. According to ourcurrent online database, thoralf skolem has 1 students and 201 descendants. http://www.genealogy.ams.org/html/id.phtml?id=18237

31. Logician's Year Carnap Rudolf, (* 1891). 23 Mar, skolem, thoralf, (+ 1963). 24 Mar, Lorenzen,Paul, (* 1915). 21 May, Zermelo, Ernst, (+ 1951). 23 May, skolem, thoralf, (* 1887).June. http://www.volny.cz/logici/vyroci/english.html

The Logician's Year January February March April ... December January 5 Jan Kleene, Stephen Cole 6 Jan Cantor, Georg 12 Jan Hintikka, Jaakko 14 Jan Carroll, Lewis Tarski, Alfred Gödel, Kurt 19 Jan Ramsey, Frank Plumpton 23 Jan Hilbert, David 26 Jan Kleene, Stephen Cole 27 Jan Carroll, Lewis February 2 Feb Russell, Bertrand Artur William 3 Feb Lewis, Clarence Irving 6 Feb Arnauld, Antoine 8 Feb von Neumann, Johannes 11 Feb Post, Emil Leon 12 Feb Herbrand, Jean Dedekind, Richard 13 Feb £ukasiewicz, Jan 14 Feb Hilbert, David 15 Feb Whitehead, Alfred North 16 Feb Nicod, Jean 17 Feb Fraenkel, Adolf Abraham 22 Feb Ramsey, Frank Plumpton 27 Feb Brouwer, Luitzgen Egbertus Jan March 3 Mar Cantor, Georg 5 Mar Barwise, Jon 6 Mar Davidson, Donald 7 Mar Montague, Richard 18 Mar de Morgan, Augustus Carnap Rudolf 23 Mar Skolem, Thoralf 24 Mar Lorenzen, Paul 25 Mar Ackermann, Wilhelm April 2 Apr Vaught, Robert Lawson 4 Apr Venn, John Vaught, Robert Lawson 12 Apr Lewis, Clarence Irving 19 Apr Peirce, Charles Sanders 20 Apr Peano, Giuseppe 21 Apr Post, Emil Leon 26 Apr Wittgenstein, Ludwig 28 Apr Gödel, Kurt

32. Logikùv Rok Translate this page Carnap Rudolf, (* 1891). 23. 3. skolem, thoralf, (+ 1963). 24. 23. 5. skolem,thoralf, (* 1887). Èerven. 7. 6. Turing, Alan Mathison, (+ 1954). 14. http://www.volny.cz/logici/vyroci/

Logikùv rok Leden Únor Bøezen Duben ... Prosinec Leden Kleene, Stephen Cole Cantor, Georg Hintikka, Jaakko Carroll, Lewis Tarski, Alfred Gödel, Kurt Ramsey, Frank Plumpton Hilbert, David Kleene, Stephen Cole Carroll, Lewis Únor Russell, Bertrand Artur William Lewis, Clarence Irving Arnauld, Antoine von Neumann, Johannes Post, Emil Leon Herbrand, Jean Dedekind, Richard £ukasiewicz, Jan Hilbert, David Whitehead, Alfred North Nicod, Jean Fraenkel, Adolf Abraham Ramsey, Frank Plumpton Brouwer, Luitzgen Egbertus Jan Bøezen Cantor, Georg Barwise, Jon Davidson, Donald Montague, Richard de Morgan, Augustus Carnap Rudolf Skolem, Thoralf Lorenzen, Paul Ackermann, Wilhelm Duben Vaught, Robert Lawson Venn, John Vaught, Robert Lawson Lewis, Clarence Irving Peirce, Charles Sanders Peano, Giuseppe Post, Emil Leon Wittgenstein, Ludwig Gödel, Kurt Wittgenstein, Ludwig Kvìten Löwenheim, Leopold Heyting, Arend Wang, Hao Russell, Bertrand Arthur William Wang, Hao Zermelo, Ernst Skolem, Thoralf Èerven Turing, Alan Mathison Church, Alonzo von Wright, Georg Henrik von Wright, Georg Henrik Turing, Alan Mathison

33. Clarification: Skolem Clarification skolem. skolem, like Löwenheim, adopts the notation of Schröder. Thiswill later be needed for the skolem Paradox in set theory. http://www.thoralf.uwaterloo.ca/htdocs/scav/skolem/skolem.html

Previous: Principia Mathematica Next: Hilbert Up: Supplementary Text Topics Clarification: Skolem Skolem shows that by adding predicates for ``has at least n , where is quantifier-free, and finding an equivalent quantifier-free formula . Skolem notes that this means that every first-order formula is then equivalent to a quantifier-free formula. This is of course the modern meaning of the elimination of quantifiers. And Skolem notes that the final form of such a quantifier-free formula is equivalent to a Boolean combination of assertions about the sizes of the constituents. Thus he has a precise handle on the expressive power of the Calculus of Classes. In this paper Skolem first introduces what is now called the Skolem normal form , namely to each first-order statement he associates an sentence which is obtained via a simple combinatorial procedure, and has the essential property that is satisfiable on a given domain iff is satisfiable on the same domain. He shows that if an His main achievement here is to give an algorithm to decide which universally quantified statements are consequences of the lattice axioms.

34. HighBeam Research: ELibrary Search: Results While studying and working in New York 195557 8. skolem, thoralf Albert (1887-1963)The Hutchinson Dictionary of Scientific Biography; January 1, 1998 http://www.highbeam.com/library/search.asp?FN=AO&refid=ency_refd&search_dictiona

35. HighBeam Research: ELibrary Search: Results 1998 All rights reserved 8. skolem, thoralf Albert (18871963) TheHutchinson Dictionary of Scientific Biography; January 1, 1998 http://www.highbeam.com/library/search.asp?FN=AO&refid=ency_refd&search_dictiona

36. From Frege To Goedel Translate this page tr. by Stefan Bauer-Mengelberg. (Über Möglichkeiten im Relativkalkül, MathematischeAnnalen 76.) skolem, thoralf, Logico-combinatorial investigations in the http://www.fuchu.or.jp/~d-logic/en/books/ftog.html

HEIJENOORT, Jean van, (ed.), Harvard Univ. Press, 1967 ; 3rd Pr., 1977. This book contains some 40 articles. Each of them contributes more or less to the development of mathematical logic. CONTENTS FREGE, Gottlob Begriffsschrift , a formula language, modeled upon that of arithmetic, for pure thought, 1879. tr. by Stefan Bauer-Mengelberg. ( Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens , Halle ; reprinted in , ed. by Ignacio ANGELELLI, Hildesheim, Olms, 1964.) PEANO, Guiseppe The principles of arithmetic by a new method, 1889. tr. by Jean van Heijenoort. ( Arithmetices principia, nova methodo exposita , Turin ; reprinted in Opera scelte , vol. 2, Edizioni cremonese, 1958.) DEDEKIND, Richard Letter to Keferstein, 1890. BURALI-FORTI, Cesare A question on transfinite numbers, 1897. tr. by Jean van Heijenoort. (Una questione sui numeri transfiniti, Rendiconti del Circolo matematico di Palermo 11 CANTOR, Georg Letter to Dedekind, 1899. tr. by Stefan Bauer-Mengelberg. (Cantor an Dedekind, in Gesammelte Abhandlungen mathematischen und philosophischen Inhalts , ed. by Ernst ZELMELO, Berlin, Springer, 1932 ; reprinted 1962, Hildesheim, Olms.)

37. Albert Thoralf Skolem Albert thoralf skolem. 1887~1963. Albert thoralf skolem. http://www.aistudy.co.kr/pioneer/Skolem.T.htm

Albert Thoralf Skolem Google : Skolem Google : Skolem Albert Thoralf Skolem

38. List Of Mathematical Topics (S-U) - Information Skewes number Skewness SkewHermitian matrix Skew-symmetric Skew-symmetricmatrix skolem normal form skolem, thoralf Slater determinant http://www.book-spot.co.uk/index.php/List_of_mathematical_topics_(S-U)

List of mathematical topics (S-U) - Information Home Mathematical and natural sciences Applied arts and sciences Social sciences and philosophy ... P-R S-U V-Z Subtopics Mathematicians S Saccheri Saccheri, Giovanni Gerolamo Sadleirian Chair Sainte-Laguë method ... Set-builder notation Set-theoretic intersection see: Intersection (set theory) Set domain Set-theoretic union see: Union (set theory) Set theory Seven bridges of Königsberg Sexagesimal ... Szego, Gabor T T1 space Table of bases Table of derivatives Table of divisors ... Typical set U Ulam spiral Ulam, Stanislaw Marcin Ultra Ultrafilter ... Utility All text is available under the terms of the GNU Free Documentation License (see for details). . Wikipedia is powered by MediaWiki , an open source wiki engine.

39. Godel 3 1931. 1932d Review of thoralf skolem 1931, AMsS, 2 pp. 1932. 1932e 1932.1932n Review of thoralf skolem 1932, AMsS, 2 pp. 1932. 1933j http://libweb.princeton.edu/libraries/firestone/rbsc/aids/godel/godel3.html

IV. Drafts and Offprints Box/Folder AMs Notebook (in Gabelsberger shorthand) labelled "Diss. unrein," written both directions [1929?] TMs [carbon] (in German) labelled "Dissertation," with autograph corrections, 34 pp. [1929?] TMs (in German), labelled "Vollstandigkeit d. Axiome" with autograph corrections, 20 pp. [1930?] Printed page proof with autograph corrections [1930?] Offprint 1930 Galley with autograph annotations [1930] TMs (in German) with autograph corrections, pp. 10 [1930] AC describing contents of original file n.d. Erkenntnis 2 TMs [carbon] of discussion (in German) with autograph corrections, p. 23 ca.1930 TMs of Nachtrag ("Supplement"), with autograph corrections, 3 pp., back labelled "Erkenntnis" [1931?] TMs of Nachtrag with autograph corrections, p. 3 Offprint with autograph annotations [1931] Copy of Erkenntnis 2 with autograph annotations 1931 Undecidability Results (early drafts of AMs (in Gabelsberger shorthand) in 2 Notebooks, one inserted in the other, labelled "Unentsch. unrein," written both directions [1930?] AMs Notebook (in Gabelsberger shorthand), labelled "Unentsch. unrein," written both directions [1930?]

40. References For Skolem References for Albert thoralf skolem. Scand. 13 (1963), 58. T Nagell,thoralf skolem in Memoriam, Acta Mathematica 110 (1963), i-xi. http://intranet.woodvillehs.sa.edu.au/pages/resources/maths/History/~DZ9C8B.htm

References for Albert Thoralf Skolem Biography in Dictionary of Scientific Biography (New York 1970-1990). Articles: E Fenstadt, Thoralf Albert Skolem in Memoriam, Nordisk Mathematisk Tidsskrift 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 W Ljunggren, Thoralf Albert Skolem in memoriam, Math. Scand. T Nagell, Thoralf Skolem in Memoriam, Acta Mathematica (1963), i-xi. S Selberg, Thoralf Albert Skolem (Norwegian), Norske Vid. Selsk. Forh. (Trondheim) Close this window or click this link to go back to Skolem Welcome page Biographies Index History Topics Index Famous curves index ... Search Suggestions JOC/EFR December 1996 The URL of this page is: http://www-history.mcs.st-andrews.ac.uk/history/References/Skolem.html

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

Page 2     21-40 of 85    Back | 1  | 2  | 3  | 4  | 5  | Next 20