Geometry.Net - the online learning center
Home  - Scientists - Skolem Thoralf

e99.com Bookstore
  
Images 
Newsgroups
Page 4     61-79 of 79    Back | 1  | 2  | 3  | 4 
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
  1. Abstract Set Theory by Thoralf Skolem, 1962-06
  2. Lattice Theorists: Thoralf Skolem, Garrett Birkhoff, Henry Wallman, Øystein Ore, Robert P. Dilworth, Alfred Horn, Bjarni Jónsson, Richard J. Wood
  3. Mathématicien Norvégien: Niels Henrik Abel, Sophus Lie, Atle Selberg, Thoralf Skolem, Ludwig Sylow, Kristen Nygaard, Axel Thue, Viggo Brun (French Edition)
  4. Albert Thoralf Skolem (German Edition)
  5. Primitive Recursive Arithmetic: Primitive Recursive Arithmetic, Quantification, Thoralf Skolem, Finitism, Foundations of Mathematics, Ordinal Analysis, Peano Axioms, Natural Number
  6. Primitive Recursive Function: Primitive Recursive Function, Primitive Recursive Arithmetic, Quantification, Thoralf Skolem, Finitism, Foundations of Mathematics, ... Analysis, Peano Axioms, Natural Number
  7. Primitive Recursive Arithmetic: Quantification, Thoralf Skolem, Finitism, Foundations of Mathematics, Ordinal Analysis, Peano Axioms, Natural Number, Primitive Recursive Function, Addition
  8. ABSTRACT SET THEORY. Notre Dame Mathematical Lectures Number 8. by Thoralf A. SKOLEM, 1962
  9. MODERN LOGIC: FROM FREGE TO GÖDEL: SKOLEM: An entry from Gale's <i>Encyclopedia of Philosophy</i> by Bede Rundle, 2006

61. Excite France - Répertoire - Skolem, Thoralf
Translate this page 2 sites web dans la catégorie skolem, thoralf. 1. skolem Issue of theNordic Journal of Philosophical Logic, 2. thoralf skolem (1887-1963),
http://www.excite.fr/directory/Science/Math/Logic_and_Foundations/Logicians/Skol
METEO
TRADUCTEUR
JEUX
HOROSCOPE
... E-CARTES

makeAD("http://ad.tiscali.com","/SITE=FR.EX.EXCITE/AREA=SCIENCES/POS=C1/LANG=IT/AAMSZ=468x60",468,60)
WEB
IMAGES Directory Science ... Logicians Skolem, Thoralf
Recherchez votre
Recherche
d'Imagines

Excite Network
Italia

UK
France Deutschland 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. http://www.hf.uio.no/filosofi/njpl/vol1no2/contents.html Thoralf Skolem (1887-1963) Biography from MacTutor History of mathematics archive. http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians /Skolem.html Help build the largest human-edited directory of the web Suggest a site Open Directory Project Become an editor makeAD("http://ad.tiscali.com","/SITE=FR.EX.EXCITE/AREA=SCIENCES/POS=R1/LANG=IT/AAMSZ=144x120",144,120) makeAD("http://ad.tiscali.com","/SITE=FR.EX.EXCITE/AREA=SCIENCES/POS=R2/LANG=IT/AAMSZ=120x600",120,600) makeAD("http://ad.tiscali.com","/SITE=FR.EX.EXCITE/AREA=SCIENCES/POS=C2/LANG=IT/AAMSZ=1x1",1,1)

62. Stanford Philosophy Department: Faculty, Staff And Students
thoralf skolem and the epsilon substitution method for predicate logic, Nordic Journal of Philosophical Logic, v.1 no.1, 1997, 133146;
http://www-philosophy.stanford.edu/fss/gm.html
Grigori Mints
Professor of Philosophy
Office: Bld. 100, rm. 101A
Mailing:
Department of Philosophy, Building 90
Stanford University
Stanford, CA 94305-2155
Phone:
Email:
mints@csli.stanford.edu Education History
Born: June 7, 1939, Leningrad (St. Petersburg) USSR
Sc.D. Leningrad University, Leningrad, 1990 (Mathematics) Ph.D. Leningrad, 1965 (Mathematics) M.S. Leningrad University, 1961 (Mathematics) Areas of Interest Logic, especially proof theory; its applications to philosophy, computer science and linguistics; foundations of mathematics; philosophy of mathematics Selected Bibliography
    Books:
  • A Short Introduction to Modal Logic Center for the Study of Language and Information, Stanford, 1992, 91p.
  • Selected Papers in Proof Theory , Bibliopolis, Napoli, Italia and North-Holland, Amsterdam, 1992.
  • A Short Introduction to Intuitionistic Logic , Kluwer Academic - Plenum Publishers, New York, Boston, Dordrecht, London, Moscow, 2000 Some articles after 1990:
  • "Gentzen-type Systems and Resolution Rules.Part I. Propositional Logic, "

63. Collected Works In Mathematics And Statistics
Sierpinski, Waclaw, 18821969, Oeuvres choisies, 3, QA 3 S57 1974, Killam. skolem,thoralf Albert, 1887-1963, Selected works in logic, 1, QA 9 S54 1970, Killam.
http://www.mathstat.dal.ca/~dilcher/collwks.html
Collected Works in Mathematics and Statistics
This is a list of Mathematics and Statistics collected works that can be found at Dalhousie University and at other Halifax universities. The vast majority of these works are located in the Killam Library on the Dalhousie campus. A guide to other locations is given at the end of this list. If a title is owned by both Dalhousie and another university, only the Dalhousie site is listed. For all locations, and for full bibliographic details, see the NOVANET library catalogue This list was compiled, and the collection is being enlarged, with the invaluable help of the Bibliography of Collected Works maintained by the Cornell University Mathematics Library. The thumbnail sketches of mathematicians were taken from the MacTutor History of Mathematics Archive at the University of St. Andrews. For correction, comments, or questions, write to Karl Dilcher ( dilcher@mscs.dal.ca You can scroll through this list, or jump to the beginning of the letter:
A B C D ... X-Y-Z
A
[On to B] [Back to Top]
N.H. Abel

64. Another View Of Nonstandard Analysis
In 1961, Abraham Robinson based a new way to study limits, continuity, and otheraspects of analysis on thoralf skolem's nonstandard models for Peano
http://www.haverford.edu/math/wdavidon/NonStd.html
Another View of Nonstandard Analysis
William C. Davidon, Haverford College, Haverford PA 19041 wdavidon@haverford.edu ... there are good reasons to believe that nonstandard analysis, in some version or other, will be the analysis of the future.
0. Introduction
All versions of nonstandard analysis relate standard numbers to others in much the way that numbers like 1/7 and used in exact and symbolic computations relate to numbers like .142857 and 3.14159 used in numerical approximations. While nonstandard integers are too large to be uniquely specified, each has a decimal representatiion with a nonstandard number of digits, and students can compute with these in much the way that they do with standard integers, without reference to any formal theory; e.g. = 97...361. Each nonstandard positive integer exceeds all standard ones, and each has the familiar arithmetic properties of all standard integers; e.g. , each is a product of primes and a sum of four squares. Some mathematicians use Edward Nelson's Internal Set Theory [1977] to classify both standard and nonstandard integers as finite, and hence members of the ordered ring Z of finite integers. Others use a more traditional set theory to classify nonstandard integers as neither finite nor members of

65. Links To Famous Logicians
Shannon Learn about Claude Shannon. skolemLearn about thoralf skolem. TarskiLearnabout Alfred Tarski. TuringLearn about Alan Turing. VennLearn about John Venn.
http://www.sandiego.edu/LogicSlave/fmslog.html
A List of Logicians
The following are some important logicians along with links to Web sites describing their lives and works.
Learn about Aristotle Learn about Charles Babbage Learn about Paul Bernays Learn about George Boole Learn about George Boolos Learn about Georg Cantor Learn about Chrysippus Learn about Rudolf Carnap Learn about Alonzo Church Learn about Julius Dedekind Learn about Augustus DeMorgan Learn about Charles Dodgson, aka Lewis Carroll Learn about Gottlab Frege Learn about Kurt Godel Learn about David Hilbert Learn about William Stanley Jevons Learn about Gottfried Leibniz Learn about Ada Lovelace Learn about Jan Lukasiewicz Learn about G. E. Moore Learn about William of Ockham Learn about Blaise Pascal Learn about Giuseppe Peano Learn about Charles Peirce Learn about Emil Leon Post Learn about Willard van Orman Quine Learn about Frank Ramsey Learn about Julia Hall Bowman Robinson Learn about Bertrand Russell Learn about Claude Shannon Learn about Thoralf Skolem Learn about Alfred Tarski Learn about Alan Turing Learn about John Venn Learn about John Von Neumann Learn about Ludwig Wittgenstein Learn about Alfred North Whitehead
Back to Top

66. AAS Database - Browse - List
5, Skoda, Henri. 1, Skofronick, James G. 1, Skogestad, Sigurd. 1, Skold, Kurt.2, skolem, thoralf. 1, Skolka, Jiri V. 1, Skolnik, Herman. 5, Skolnik, MerrillI.
http://valeph.tau.ac.il/ALEPH/ENG/ATA/AAS/AAS/SCAN-F/2019279
AAS database - Browse - AUTHOR list - ALL DOCUMENTS
The numbers in the list below indicate the number of documents listed under a term.
To display the documents, click on an eye . To move up or down the list, click on the arrow. Skliar, Alexander Skobel'tsyn, D. V. Skobel'tsyn, Dmitrii V. Skobov, V. G. Skoda, Henri Skofronick, James G. Skogestad, Sigurd Skold, Kurt Skolem, Thoralf Skolka, Jiri V. Skolnik, Herman Skolnik, Merrill I.

67. Zermelo-Fraenkel Axioms - Wikipedia
The axioms are the result of work by thoralf skolem in 1922, based on earlier workby Adolf Fraenkel in the same year, which was based on the axiom system put
http://www.wikipedia.org/wiki/Zermelo-Fraenkel_axiom
Main Page Recent changes Edit this page Older versions Special pages Set my user preferences My watchlist Recently updated pages Upload image files Image list Registered users Site statistics Random article Orphaned articles Orphaned images Popular articles Most wanted articles Short articles Long articles Newly created articles Interlanguage links All pages by title Blocked IP addresses Maintenance page External book sources Printable version Talk
Log in
Help
Zermelo-Fraenkel axioms
(Redirected from Zermelo-Fraenkel axiom The Zermelo-Fraenkel axioms of set theory, denoted ZF , are the standard axioms of axiomatic set theory on which, together with the axiom of choice , all of ordinary mathematics is based. When the axiom of choice is included, the resulting system is ZFC The axioms are the result of work by Thoralf Skolem in , based on earlier work by Adolf Fraenkel in the same year, which was based on the axiom system put forth by Ernst Zermelo in Zermelo set theory The axiom system is written in first-order logic . The axiom system has an infinite number of axioms because an axiom schema is used. An equivalent

68. Notre Dame Archives Inventory: UDIS Bio S
UDIS117/98 (folder) Skoglund, Leonard ?1916-1972 UDIS144/73 - (folder) skolem,thoralf Albert - Math - 1887- UDIS117/99 - (folder) Slake, Edmund C
http://catholic.archives.nd.edu/udis-s.htm
Public Relations and Information
Biographical Files (S)
Sachar, Abram Leon - Honorary Degree Recipient :: UDIS130/05 - (subject within a folder)
Sadlier, Mary Anne Madden- Laetare Medalist - 1820-1903 :: UDIS129/01 - (subject within a folder)
Saeks, Richard - Electrical Engineering :: UDIS117/13 - (folder)
Saenz, Delia S. - 1959- :: UDIS147/75 - (folder)
Saha, Lawrence J. Sociology [empty] :: UDIS117/14 - (folder)
Saint John Stevas, Norman Antony Francis - Honorary Degree Recipient - 1999 - (subject within a folder)
Saitta, Joseph John - 1916- :: UDIS137/22 - (folder)
Salbey, Robert McKeon - English - 1931- :: UDIS117/15 - (folder)
Saletta, Gerald F. - Electrical Engineering - 1936- :: UDIS117/16 - (folder)
Salzman, Eymard - died 1990/0119 :: UDIS 59/22 - (subject within a folder)
Samiee, Saeed - Marketing - 1946- :: UDIS117/17 - (folder) Samora, Julian - l920- :: UDIS139/33 - (folder) Samson, Charles Harold, Jr Civil Engineering- 1924- :: UDIS117/18 - (folder) Sandman, Joseph G. - 1948- :: UDIS147/76 - (folder) Sandonato, Peter D. - died 1980/0507 :: UDIS 58/22 - (subject within a folder)

69. Katalog :  : Science : Math : Logic_and_Foundations : History : People
skolem, thoralf; Tarski, Alfred; Turing, Alan Mathison;Wittgenstein, Ludwig (*); Zermelo, Ernst. See also Science Math Mathematicians.
http://www.netz-tipp.de/kat/Science/Math/Logic_and_Foundations/History/People/
Katalog
Suchmaschinen-Eintrag - kostenlos!
(Anzeige)
Web: Suche im ganzen Netz Spezial: Suche im Katalog
Startseite
Buchhandel Bibliothek Zeitung ... Suchmaschinen Kostenloser Newsletter.
Bitte tragen Sie hier Ihre E-Mail-Adresse ein!
Startseite Welt Deutsch Anzeige: Verdienen Sie Geld mit Ihren ungenutzten Domains! Welt English Science ... History : People See also: Seite (URL) vorschlagen Eintrag in weiteren Suchmaschinen Help build the largest human-edited directory on the web. Submit a Site Open Directory Project Become an Editor In einigen Teilen modifizierte Version des DMOZ. Anzeige Sind die Domains xyz.de oder xyz.com wieder frei?

70. Katalog - Wirtualna Polska
Serwis Katalog w Wirtualna Polska S.A. pierwszy portal w Polsce.
http://katalog.wp.pl/DMOZ/Science/Math/Logic_and_Foundations/Logicians/Skolem%2C
Poczta Czat SMS Pomoc Szukaj.wp.pl: -Katalog -Polskie www -¦wiatowe www -Wirtualna Polska -FTP/Pliki -Grupy dyskusyjne -Encyklopedia -Produkty wp.pl Katalog Katalog ¦wiatowy DMOZ ... Logic and Foundations > Logicians Fakty o Katalogu Pomoc Regulamin Serwis szukaj ... Ostatnio dodane
NAWIGACJA Fakty o katalogu
Pomoc

Regulamin

Serwis Szukaj
...
FAQ

Dodaj stronê
Katalog WP

Polskie Strony WWW

Oferta dla firm

WP-HIT
... Wirtualna Polska

71. Mathematicians
Seki, Kowa (Takakazu) Shannon, Claude Elwood Simpson, Thomas Sitter, Willem deSkolem, thoralf Albert Snell, Willebrord, Sommerville, Duncan MacLaren Young
http://www.cartage.org.lb/en/themes/Biographies/Categories/Scientists/Mathematic
Seki, Kowa (Takakazu)
Shannon, Claude Elwood

Simpson, Thomas

Sitter, Willem de
Seki, Kowa (Takakazu)
Shannon, Claude Elwood

Simpson, Thomas

Sitter, Willem de
...
Sylvester, James Joseph

72. Web Wombat World Directory
Top Science Math Logic and Foundations Logicians skolem _Thoralf. Categories. Web Sites
http://www.webwombat.com.au/wwdir/WW332678.HTM
Entertainment Finance Games Lifestyle ... Auctions You are here: Home / World Directory Daily Resources Holiday Ideas Daily Horoscopes Weather by the hour What's on TV ... Grumpy's Humour Premium Links Find a Date Jobs! Jobs! Jobs! Mobile Phone Ringtones Home Loans Home Loans ... Hot Links Web Wombat Search Advanced Search Submit a Site Enter search term: World Directory Top Science Math Logic and Foundations ... People : Skolem,_Thoralf
Categories Web Sites Help build the largest human-edited directory on the web. Submit a Site O
pen D ... Privacy Statement

73. Logicians
University of Waterloo universal algebra, logic, computers. Category Science Math Logic and Foundations Logicians http//www.thoralf.uwaterloo.ca/.
http://www.ad.com/Science/Math/Mathematicians/__Logicians/
search
Top
Categories:
Aczel, Peter University of Manchester - Philosophy and Foundations of Mathematics and Computing, Mathematical Logic, Categorical Logic.
Category: Science > Math > Logic and Foundations > Logicians
http://www.cs.man.ac.uk/~petera/
Andrews, Peter B.
Carnegie Mellon University - type theory, automated theorem proving.
Category: Science > Math > Logic and Foundations > Logicians
http://www.cs.cmu.edu/afs/cs.cmu.edu/user/andrews/www/andrews.html Avigad, Jeremy Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and the history and philosophy of mathematics. Category: Science > Math > Logic and Foundations > Logicians http://www.andrew.cmu.edu/~avigad/ Awodey, Steve Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic. Category: Science > Math > Logic and Foundations > Logicians http://www.andrew.cmu.edu/user/awodey/ Baldwin, John T. University of Illinois, Chicago - model theory (finite and infinite). Category: Science > Math > Logic and Foundations > Logicians http://www.math.uic.edu/~jbaldwin/

74. Science/Math/Logic_and_Foundations/Logicians
algebra logic computers. URL http//www.thoralf.uwaterloo.ca/ CholakPeter University of Notre Dame recursion theory. URL http
http://www.science-and-research.com/Science/Math/Logic_and_Foundations/Logicians
Search: Category Description:
Information about individual logicians, including historic personalities. Science Math Logicians Bernays, Paul
Boole, George

Church, Alonzo

Frege, Gottlob
...
Friedman Harvey

Ohio State University.
URL: http://www.math.ohio-state.edu/foundations/
Shelah Saharon

Rutgers University and Hebrew University - includes paper archive.
URL: http://math.rutgers.edu/~shelarch/ Slaman Theodore A. UC Berkeley - recursion theory URL: http://www.math.berkeley.edu/~slaman/ Solovay Robert M. UC Berkeley. URL: http://www.math.berkeley.edu/~solovay/ Foreman Matthew UC Irvine. URL: http://www.math.uci.edu/mforeman.html Hjorth Greg UCLA - descriptive set theory countable models definable equivalence relations. URL: http://www.math.ucla.edu/~greg/ Moschovakis Yiannis N. UCLA. URL: http://www.math.ucla.edu/~ynm/ Kanamori Akihiro Boston University - set theory. URL: http://math.bu.edu/people/aki/ Avigad Jeremy Carnegie Mellon University - proof theory constructive mathematics proof complexity and the history and philosophy of mathematics. URL: http://www.andrew.cmu.edu/~avigad/

75. AnsMe Directory - Science > Math > Logic And Foundations > Logicians
http//www.nd.edu/~steve/. 14. Burris, Stanley University of Waterloo universalalgebra, logic, computers. http//www.thoralf.uwaterloo.ca/. 15.
http://dir.ansme.com/science/168896.html
Search: Web Sites Dictionary - Define Dictionary - Sounds Like Dictionary - Relations Dictionary - Rhymes Dictionary - Translate Sponsors
Web Directory Logicians
Web Directory Science Math Logic and Foundations
Category Description Information about individual logicians, including historic personalities.
Sub Directories Aristotle Bernays, Paul Boole, George Cantor, Georg ... Wittgenstein, Ludwig
Related Categories Science > Math > Mathematicians
Web sites
Aczel, Peter

University of Manchester - Philosophy and Foundations of Mathematics and Computing, Mathematical Logic, Categorical Logic.
http://www.cs.man.ac.uk/~petera/
Andrews, Peter B.

Carnegie Mellon University - type theory, automated theorem proving. http://www.cs.cmu.edu/afs/cs.cmu.edu/user/andrews/www/andrews.html Avigad, Jeremy Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and the history and philosophy of mathematics. http://www.andrew.cmu.edu/~avigad/ Awodey, Steve Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic. http://www.andrew.cmu.edu/user/awodey/

76. DINO-Online - Diese Seite Kann Leider Nicht Angezeigt Werden.
Waterloo universal algebra, logic, computers. http//www.thoralf.uwaterloo.ca/- Verwandte Websites. 15. Dieser 'externe' Link öffnet
http://www.dino-online.de/dino_page_e23a19249d8639f09da39bc006336348.html
Suche Profi-Suche Katalog Video ... Produkte Suchen: Web-Seiten Video Audio Bilder Produkte Schon gewusst? Hier suchen Sie in 2 Milliarden Webseiten. Live-Suche: Was suchen andere Dino-Besucher?
You are here: DINO Language Englisch Sprache/Language
Leider kann diese Seite zur Zeit nicht angezeigt werden.
Zur DINO-Startseite
Services
AKTUELLE Nachrichten Topthemen
Wirtschaft

Deutschland

Sport
...
Kalender

DOMAIN NOCH FREI? www. .DE .COM .NET .ORG .INFO .BIZ .TV .WS
Weitersagen
Seite Drucken Zum Seitenanfang Home ... Home
Weitere Angebote der freenet.de AG: aktiencheck.de dino-online.de filepilot.de fondscheck.de ... 4netplayers.de

77. Skolem-Normalform

http://www.informatik.uni-bonn.de/III/lehre/vorlesungen/DeskriptiveProgrammierun
Skolem-Normalform
  • Standardtechnik zum Eliminieren von exists-Quantoren:
    • benannt nach dem norwegischen Logiker Thoralf Skolem
    • systematisches Ersetzen von exists-Variablen durch funktionale Terme ("Skolemterme") Skolemisieren
    • Prinzip des Skolemisierens:
      • pro exists-Quantor ein neues Funktionssymbol ("Skolemfunktion")
      • Stelligkeit = Anzahl das exists "dominierender" forall-Quantoren (d.h., im Präfix vor dem exists stehend)
      • Ersetzen aller Vorkommen der exists-Variable durch identische Skolemterme:
        • Funktionssymbol = jeweilige Skolemfunktion
        • Parameter: alle dominierenden forall-Variablen
      • führende exists-Quantoren: zugehörige Variable ersetzt durch "Skolemkonstante"
      • schliesslich: Streichen des Quantors
      • durch Skolemisieren aller exists-Quantoren: Skolem-Normalform
      Vorherige Folie Nächste Folie Zurück zur ersten Folie Graphik-Version anzeigen

78. Logicians Information Sites
NUMBERSorg.com. Search SPYorg.com (Not sure of spelling? Use firstletters and * such as abc* or abcd* or abcde*) Match.. All
http://numbersorg.com/LogicandFoundations/Logicians/
NUMBERSorg.com Search SPYorg.com
(Not sure of spelling? Use first letters and * such as abc* or abcd* or abcde*) Match:.. All Any
Format: Long Short
Search Words: Top Science Math Logic and Foundations : Logicians

See Also:

79. People
Henri Lebesgue (18751941). Simeon Denis Poisson (1781-1840). Albert ThoralfSkolem (1887-1963). John von Neumann (1903-1957). Norbert Wiener (1894-1964).
http://ergo.ucsd.edu/~movellan/courses/245/people.html
Some material in this page was copied from the The History of Mathematics Archive and is presented here for educational purposes.
  • Thomas Bayes (1702-1761)
  • Emille Borel (1871-1956)
  • Paul Cohen (1934- )
  • Adolf Fraenkel (1891-1965) ...
  • Ernst Friedrich Ferdinand Zermelo (1871-1953)
  • 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 4     61-79 of 79    Back | 1  | 2  | 3  | 4 

    free hit counter