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 Werbung Presse Rechtliches ... Impressum Partner: Voreintrag Ladezeit Link-Check Linkparade HTML-Check Startseite Welt Deutsch Anzeige: Verdienen Sie Geld mit Ihren ungenutzten Domains! Welt English Science ... History : People Aristotle Bernays, Paul Boole, George Cantor, Georg ... Zermelo, Ernst See also: Science: Math: Mathematicians Who are Boole, Fitch, and Tarski? - Brief biographies of the logicians whose names appear in Barwise and Etchemendy's textbook Language, Proof and Logic. 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 Thoralf Skolem (1887-1963) - Biography from MacTutor History of mathematics archive. 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. 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: Bernays, Paul Boole, George Cantor, Georg Church, Alonzo ... 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 Aristotle Bernays, Paul Boole, George Cantor, Georg ... Wittgenstein, Ludwig See Also: Science: Math: Mathematicians Friedman, Harvey - Ohio State University. Shelah, Saharon - Rutgers University and Hebrew University - includes paper archive. Slaman, Theodore A. - UC Berkeley - recursion theory Solovay, Robert M. - UC Berkeley. Schmidt, Renate - University of Manchester - modal logic, resolution theorem proving, resolution decision problems, relation algebras, Peirce algebras and knowledge representation. Hjorth, Greg - UCLA - descriptive set theory, countable models, definable equivalence relations. Moschovakis, Yiannis N. - UCLA. Kanamori, Akihiro - Boston University - set theory. Avigad, Jeremy - Carnegie Mellon University - proof theory, constructive mathematics, proof complexity, and the history and philosophy of mathematics. Kechris, Alexander S.

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