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

21-40 of 88    Back | 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

21. The Mathematics Genealogy Project - Thoralf Skolem
    According to our current online database, thoralf skolem has 1 students and 228descendants. We welcome any additional information.  
    http://www.genealogy.math.ndsu.nodak.edu/html/id.phtml?id=18237

22. The Mathematics Genealogy Project - Update Data For Thoralf Skolem
    If you have Mathematics Subject Classifications to submit for an entire group ofindividuals (for instance all those that worked under a particular advisor)  
    http://www.genealogy.math.ndsu.nodak.edu/html/php/submit-update.php?id=18237

23. Peter Suber, "The Löwenheim-Skolem Theorem"
    A widely held interpretation is that of thoralf skolem himself. He believed thatLST showed a relativity in some of the fundamental concepts of set theory.  
    http://www.earlham.edu/~peters/courses/logsys/low-skol.htm
    
    Extractions: Peter Suber Philosophy Department Earlham College Review members. A first-order theory is a system of predicate logic with a few additions. The motivation for the additions is to "outfit" the system to capture arithmetic. We may add denumerably many constants, so that it can name all the natural numbers. We may add countably many proper axioms (axioms which are not logically valid wffs) to supplement the logical axioms (axioms which are logically valid wffs) of predicate logic. If we take one 2-place predicate, say Pxy, and demand that all interpretations assign it the meaning of "identity" (so that Pxy means x=y), and if we add suitable proper axioms specifying the use of the new identity predicate, then we have a first-order theory with identity. The interpretations in which Pxy is given the stipulated meaning are called "normal" interpretations. First-order theories with identity have all the additions they need to capture arithmetic at least as well as well as arithmetic can be captured formally. While all first-order theories are vulnerable to LST, systems of arithmetic are the most important victims. Skolem's Paradox LST has bite because we believe that there are un countably many real numbers (more than ). Indeed, let's insist that we

24. Ventura Pacific, Ltd.: Math
    skolem, thoralf A. University of Notre Dame, 1962. lt sunning, p/o name on fepp,clean and tight. Professor of Mathematics, University of Oslo,  
    http://www.venturapacific.net/cgi-bin/index/results?searchfield=title,publisher,

25. Ventura Pacific Used Books: Abstract Set Theory ( Noter Dame Mathematical Lectur
    lt sunning, p/o name on fepp, clean andtight. Professor of Mathematics, University of Oslo, Norway lectures.Author skolem, thoralf A.  
    http://www.venturapacific.net/cgi-bin/index/0344699.html
    
    Extractions: Description: lt sunning, p/o name on fepp, clean and tight. Professor of Mathematics, University of Oslo, Norway lectures. Cantor's theory, axiomatic theory of Zermelo-Fraenkel, set-theoretic relativism as a natural consequence of the application of Lowenheim's Theorem on the Axioms of set theory. More. Scarce

26. Math Lessons - Thoralf Skolem
    Math Lessons thoralf skolem. thoralf skolem. Albert thoralf skolem (May23, 1887 - March 23, 1963) was a Norwegian mathematician.  
    http://www.mathdaily.com/lessons/Thoralf_Skolem
    
    Extractions: Search algebra arithmetic calculus equations ... more applied mathematics mathematical games mathematicians more ... Norwegian mathematicians Albert Thoralf Skolem May 23 March 23 ) was a Norwegian mathematician . He worked mostly on mathematical logic See: Categories 1887 births 1963 deaths ... Norwegian mathematicians Last updated: 09-02-2005 16:50:46 algebra arithmetic calculus equations ... mathematicians

27. Math Lessons - Löwenheim-Skolem Theorem
    set M and a set of functions (sometimes taking several arguments) from M intoitself. The theorem is named for Leopold Löwenheim and thoralf skolem.  
    http://www.mathdaily.com/lessons/Löwenheim-Skolem_theorem
    
    Extractions: Search algebra arithmetic calculus equations ... more applied mathematics mathematical games mathematicians more ... Theorems In mathematical logic , the classic Skolem theorem states that any infinite "model" M has a countably infinite submodel N that satisfies exactly the same set of first-order sentences that M satisfies. A "model", in this sense, consists of an underlying set (often also denoted) " M " and a set of relations on the underlying set M and a set of functions (sometimes taking several arguments) from M into itself. The theorem is named for Leopold Löwenheim and Thoralf Skolem Contents showTocToggle("show","hide") 1 Examples 1 See also ordered fields are first-order sentences; the least-upper-bound axiom is not first-order, but second-order . The theorem implies that some countably infinite subfield satisfies all first-order sentences satisfied by the real numbers. (Being a countable ordered field, it cannot satisfy the least-upper-bound axiom.) For example, the assertion that a particular polynomial equation has a real solution is a first-order sentence and therefore would be true in the countable submodel whose existence is asserted.

28. Löwenheim-Skolem Theorem -- Facts, Info, And Encyclopedia Article
    and (Click link for more info and facts about thoralf skolem) thoralf skolem . The Löwenheimskolem theorem tells us that if they are uncountable,  
    http://www.absoluteastronomy.com/encyclopedia/l/l/löwenheim-skolem_theorem1.h
    
    Extractions: In (Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity) mathematical logic , the classic (Click link for more info and facts about Skolem) Skolem theorem states that any infinite (A representative form or pattern) model M has a countably infinite submodel N that satisfies exactly the same set of (Click link for more info and facts about first-order) first-order sentences that M satisfies. A model, in this context, consists of an underlying set (often also denoted) " M ", a set of relations on this set M , and a set of functions (sometimes taking several arguments) from M into itself. The theorem is named for (Click link for more info and facts about Leopold Löwenheim) Leopold Löwenheim and (Click link for more info and facts about Thoralf Skolem) Thoralf Skolem A familiar uncountable model is the set of all real numbers with the order relation " <" as the sole relation and addition and multiplication as the functions. The axioms of

29. Axiomatic Set Theory -- Facts, Info, And Encyclopedia Article
    facts about Adolf Fraenkel) Adolf Fraenkel and (Click link for more info andfacts about thoralf skolem) thoralf skolem, giving the axioms used today.  
    http://www.absoluteastronomy.com/encyclopedia/a/ax/axiomatic_set_theory.htm
    
    Extractions: Set theory is a branch of (A science (or group of related sciences) dealing with the logic of quantity and shape and arrangement) mathematics created principally by the German (A person skilled in mathematics) mathematician (Click link for more info and facts about Georg Cantor) Georg Cantor at the end of the (Click link for more info and facts about 19th century) 19th century . Initially controversial, set theory has come to play the role of a (Click link for more info and facts about foundational theory) 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 as numbers or functions) and their properties. Formal versions of set theory also have a foundational role to play as specifying a theoretical ideal of (Click link for more info and facts about mathematical rigor) mathematical rigor in proofs. At the same time the basic concepts of set theory are used throughout mathematics, the subject is pursued in its own right as a specialty by a comparatively small group of mathematicians and (The branch of philosophy that analyzes inference) logic ians.

30. Löwenheim-Skolem Theorem: Information From Answers.com
    and a set of functions (sometimes taking several arguments) from M into itself.The theorem is named for Leopold Löwenheim and thoralf skolem.  
    http://www.answers.com/topic/l-wenheim-skolem-theorem
    
    Extractions: showHide_TellMeAbout2('false'); Business Entertainment Games Health ... More... On this page: Wikipedia Best of Web Mentioned In Or search: - The Web - Images - News - Blogs - Shopping L¶wenheim-Skolem theorem Wikipedia L¶wenheim-Skolem theorem In mathematical logic , the classic L¶wenheim- Skolem theorem states that any infinite model M has a countably infinite submodel N that satisfies exactly the same set of first-order sentences that M satisfies. A model, in this context, consists of an underlying set (often also denoted) " M ", a set of relations on this set M , and a set of functions (sometimes taking several arguments) from M into itself. The theorem is named for Leopold L¶wenheim and Thoralf Skolem ordered fields are first-order sentences; the least-upper-bound axiom is not first-order, but second-order . The theorem implies that some subfield of the reals that is countably infinite, and hence distinct from the reals, satisfies all first-order sentences satisfied by the reals. (Being a countable ordered field, it cannot satisfy the least-upper-bound axiom.) For example, the assertion that a particular polynomial equation has a solution (in the model) is a first-order sentence and therefore would be true in the countable submodel whose existence is asserted if and only if it is true in the reals.

31. Wiki: SkolemFunction
    In 1922, thoralf skolem presented a complete proof of this theorem (which is nowcalled the Löwenheimskolem Theorem). One of the significant ideas skolem  
    http://gnufans.net/intrspctr.pl?SkolemFunction

32. The Philosophy Of Mathematics Workshop The Philosophy Of
    thoralf skolem, The foundations of elementary arithmetic established by means thoralf skolem, Some Remarks on Axiomatized Set Theory, a lecture given  
    http://www.math.ucla.edu/~dam/291/mathworkshop.html
    
    Extractions: The Philosophy of Mathematics Workshop The Philosophy of Mathematics Workshop traditionally meets most quarters on Mondays at 3:00 PM in the Philosophy Common Room (Dodd 399). Officially this is a graduate course, but most attendees are not enrolled participants are mostly faculty and graduate students from graduate programs in Philosophy or Linguistics within driving distance of UCLA, and others who are visiting the area. All faculty and graduate students are welcome. Topics vary from quarter to quarter, and sometimes during the quarter. Sometimes a departmental colloquium speaker is enticed into leading a workshop discussion, and sometimes speakers from elsewhere come and talk. The format is usually informal, with ample discussion. Topics vary from general to technical. Workshop announcements are also circulated by email. To be put on or removed from the list, go to http://lists.ucla.edu/cgi-bin/mailman/listinfo/mathwork-l Spring 2005 Mondays 3:00 - 6:00 in Dodd 399 Students who wish to take the class for credit (as a graduate seminar) should mention this to one of us. The requirement is a short paper.

33. Proof Of Some Theorems On Recursively Enumerable Sets., Thoralf Skolem
    Addendum thoralf skolem, Addendum to my article ``Proof of some theorems onrecursively enumerable sets .. Notre Dame Journal of Formal Logic, volume 4,  
    http://projecteuclid.org/Dienst/UI/1.0/Display/euclid.ndjfl/1093957149
    
    Extractions: Current Issue Past Issues Search this Journal Editorial Board ... Note on Volumes 35-40 Thoralf Skolem Source: Notre Dame J. Formal Logic Related Works: Addendum: Thoralf Skolem, Addendum to my article: ``Proof of some theorems on recursively enumerable sets''.. Notre Dame Journal of Formal Logic, volume 4, issue 1, (1963), pp. 44-47 Euclid Identifier: euclid.ndjfl/1093957393 Primary Subjects:

34. Obituary Of Thoralf A. Skolem.
    Obituary of thoralf A. skolem. Source Notre Dame J. Formal Logic 4, no. 3 (1963),161. Fulltext Access granted, by subscription (subscriber google  
    http://projecteuclid.org/Dienst/UI/1.0/Display/euclid.ndjfl/1093957572

35. Tarski's Truth Definitions
    Tarski refers his readers to a paper of thoralf skolem in 1919 for the technicalities.One can think of the language L as the firstorder language with  
    http://plato.stanford.edu/entries/tarski-truth/
    
    Extractions: Please Read How You Can Help Keep the Encyclopedia Free We say that a language is fully interpreted if all its sentences have meanings that make them either true or false. All the languages that Tarski considered in the 1933 paper were fully interpreted, with one exception described in Section 2.2 below. This was the main difference between the 1933 definition and the later model-theoretic definition of 1956, which we shall examine in Section 3. Tarski described several conditions that a satisfactory definition of truth should meet.

36. Master
    skolem,thoralf A., Einige Bemerkungen zur axiomatischen Begründung der  
    http://name.math.univ-rennes1.fr/alain.herreman/master.html

37. Logician's Year
    23 Mar, +, skolem, thoralf, (+ 1963). 24 Mar, *, Lorenzen, Paul, (* 1915) 21 May, +, Zermelo, Ernst, (+ 1951). 23 May, *, skolem, thoralf, (* 1887)  
    http://www.volny.cz/logici/vyroci/english.html
    
    Extractions: January February March April ... December 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 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 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 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

38. Logikùv Rok
    Translate this page Èerné pivo, skolem, thoralf, (+ 1963). 24. 3. Svìtlé pivo, Lorenzen, Paul,(* 1915) 23. 5. Svìtlé pivo, skolem, thoralf, (* 1887)  
    http://www.volny.cz/logici/vyroci/
    
    Extractions: Leden Únor Bøezen Duben ... Prosinec Kleene, Stephen Cole Cantor, Georg Hintikka, Jaakko Carroll, Lewis Tarski, Alfred Gödel, Kurt Ramsey, Frank Plumpton Hilbert, David Kleene, Stephen Cole Carroll, Lewis 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 Cantor, Georg Barwise, Jon Davidson, Donald Montague, Richard de Morgan, Augustus Carnap Rudolf Skolem, Thoralf Lorenzen, Paul Ackermann, Wilhelm 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 Löwenheim, Leopold Heyting, Arend Wang, Hao Russell, Bertrand Arthur William Wang, Hao Zermelo, Ernst Skolem, Thoralf Turing, Alan Mathison Church, Alonzo von Wright, Georg Henrik von Wright, Georg Henrik Turing, Alan Mathison

39. Skolem Arrays Last Updated July 7th, 1999 Skolem Arrays Are A
    studied in the 1950s by the Norwegian mathematician thoralf skolem(18871963).A skolem sequence of order n is a sequence of integers which satisfies  
    http://mathcs.mta.ca/research/cbaker/skolem/
    
    Extractions: Skolem arrays are an extension of Skolem sequences which were studied in the 1950s by the Norwegian mathematician Thoralf Skolem(1887-1963). A Skolem sequence of order n is a sequence of integers which satisfies the following properties: The two occurrences of i are exactly i integers apart. The sequence

40. The Results Of Our Project
    thoralf skolem proved that n = 0,1 mod 4 was a necessary and sufficient conditionfor the existence of skolem sequences. Similarly, we have proven that n  
    http://mathcs.mta.ca/research/cbaker/skolem/results.htm
    
    Extractions: Thoralf Skolem proved that n 0,1 mod 4 was a necessary and sufficient condition for the existence of Skolem sequences. Similarly, we have proven that n 0,1 mod 4 is also a necessary and sufficient condition for the existence of Skolem arrays. Despite this, we have yet to find a direct link between Skolem sequences and Skolem arrays. Current research is devoted to finding a link between Skolem arrays and combinatorial designs. A split pair occurs when the two instances of a number appear on different rows. We conjecture that in all Skolem arrays, the number of split pairs is greater than or equal to the number of unsplit pairs.

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

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