Biography of David Hilbert (1862-1943) ...
www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Hilbert.html
Web site devoted to the works and life of Charles S. Peirce, American philisopher.
G J Chaitin Home Page e-mail: chaitin@us.ibm.com web sites (mirror images): http://www.cs.umaine.edu/~chaitin http://www.cs.auckland.ac.nz/CDMTCS/chaitin phone: 914/945-2785 mailing address: IBM Research, P O Box 218, Yorktown Heights, NY 10598, USA shipping address: IBM T J Watson Research Center, 1101 Kitchawan Road, Route 134, Yorktown Heights, NY 10598, USA Outline Quotes Recent Reviews ...
www.cs.auckland.ac.nz/CDMTCS/chaitin
Welcome to the domain of www.turing.org.uk maintained by Andrew Hodges.
C u r r e n t E v e n t s & U p d a t e s The Fall 2000 issue of the Peirce Project Newsletter is now available in PDF format. Volume 6 Links -- Electronic Companion -- Table of Contents -- Introduction -- Annotations -- Cases abstracted from Phantasms of the Living PEIRCE EDITION PROJECT IUPUI 545 Cavanaugh Hall 425 University Blvd. Indianapolis, IN 46202 Phone: (317) 274-2173 Fax: (317) ...
www.iupui.edu/~peirce/web
Andrew Pitts Picture Professor of Theoretical Computer Science Deputy Head of Department Fellow of Darwin College Research My research is in applications of mathematical logic and category theory to computer science. I am especially interested in the semantics of programming languages and type theories, formal logics for reasoning about program properties, and metaprogramming languages and the ...
Biography of George Boole (1815-1864) ...
www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Boole.html
Biography of Alan Turing (1912-1954) ...
www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Turing.html
This page contains the archive of Saharon Shelah's mathematical papers. Professor Shelah is a mathematician working at the Hebrew University of Jerusalem and Rutgers University in New Jersey, USA.
math.rutgers.edu/~shelarch
The Mathematical Problems of David Hilbert About Hilbert's address and his 23 mathematical problems Hilbert's address of 1900 to the International Congress of Mathematicians in Paris is perhaps the most influential speech ever given to mathematicians, given by a mathematician, or given about mathematics. In it, Hilbert outlined 23 major mathematical problems to be studied in the coming century.
aleph0.clarku.edu/~djoyce/hilbert
Andre Scedrov Professor of Mathematics and Computer and Information Science, University of Pennsylvania. Department of Mathematics University of Pennsylvania 209 South 33rd Street Philadelphia, PA 19104-6395 U.S.A. Contacts Photo by Tomislav Robotic. Teaching Fall 2002: Advanced Mathematical Methods in Computer Science. Research Interests: logic, information assurance, computer security, hybrid ...
www.cis.upenn.edu/~scedrov
Richard Kaye's Home Page Conferences For BLC2002, the meeting of the British Logic Colloquium, 12-14 Sep 2002 at Birmingham University, go to http://www.cs.bham.ac.uk/~blc02/ For BMC2003, the meeting of the British Mathematical Colloquium, 7-10 Apr 2003 at Birmingham University, go to http://www.mat.bham.ac.uk/bmc/ Can a leech do maths ... instinct tells you that this bloodsucker can no more ...
for.mat.bham.ac.uk/R.W.Kaye
AlanTuring.net The Turing Archive for the History of Computing Largest web collection of digital facsimiles of original documents by Turing and other pioneers of computing. Plus articles about Turing and his work, including Artificial Intelligence. NEW Recently declassified previously top-secret documents about codebreaking. The Turing Archive for the History of Computing is now hosted in two ...
Stanford Encyclopedia of Philosophy, Gottlob Frege. Entry has a biography, chronology, and analysis of Frege's works, chronology of works, bibliography of secondary literature, and links to other sites.
plato.stanford.edu/entries/frege
Stanford Encyclopedia of Philosophy 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 The Church-Turing Thesis There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine. The Church-Turing thesis is often misunderstood, particularly in recent ...
plato.stanford.edu/entries/church-turing
Stanford's Metaphysics Research Lab web site has a chronology, list of principle works, and reading list for Frege.
mally.stanford.edu/frege.html
Biography of Alonzo Church (1903-1995) ...
www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Church.html
Richard Zach is Assistant Professor of Philosophy at the University of Calgary, Alberta, Canada. His interests include philosophy of mathematics, history and philosophy of logic, theory of proofs, and non-classical logics.
Biography of Gottlob Frege (1848-1925) ...
www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Frege.html
Dr.-Ing. Renate A. Schmidt Currently on sabbatical at: Max-Planck-Institut fur Informatik, Stuhlsatzenhausweg 85, D-66123 Saarbrucken, Germany. Tel: +49 (0)681 9325 226, Fax: +49 (0)681 9325 299. Department of Computer Science University of Manchester Oxford Rd, Manchester M13 9PL, UK. Tel: +44 (0)161 275 6163, Fax: +44 (0)161 275 6236. Mobile: +44 (0)776 193 5696. Email: schmidt@cs.man.ac.uk ...
www.cs.man.ac.uk/~schmidt
Biography of Alfred Tarski (1902-1983) ...
www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Tarski.html
Stanford Encyclopedia of Philosophy 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 Frege's Logic, Theorem, and Foundations for Arithmetic Frege formulated two distinguished formal systems and used these systems in his attempt both to express certain basic concepts of mathematics precisely and to derive certain mathematical laws from the laws ...
plato.stanford.edu/entries/frege-logic
Stanford Encyclopedia of Philosophy 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 Turing Machine A Turing machine is an abstract representation of a computing device. It consists of a read/write head that scans a (possibly infinite) one-dimensional (bi-directional) tape divided into squares, each of which is inscribed with a 0 or 1.
plato.stanford.edu/entries/turing-machine
Archive | Alan Turing About Us Wired Magazine Wired News Webmonkey Animation Express HotWired Archives The Web - ...
www.wired.com/wired/archive/people/alan_turing
Stanford Encyclopedia of Philosophy 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 Peirce's Logic Charles Peirce's contributions to logical theory are numerous and profound. His work on relations building on ideas of De Morgan influenced Schroder, and through Schroder Peano, Russell, Lowenheim and much of contemporary logical theory.
plato.stanford.edu/entries/peirce-logic
Andreas R. Blass Office: 3830 East Hall Mathematics Department University of Michigan (2072 East Hall 525 East University Ave.) Ann Arbor, MI 48109-1109 U.S.A. Office phone: (734) 763-1183 Dept. fax: (734) 763-0937 e-mail: ablass@umich.edu Research My research is primarily in mathematical logic, especially set theory, but it extends into other areas, including finite combinatorics and ...
www.math.lsa.umich.edu/~ablass
Books & Papers For My Classes Prose and Poetry Tautology Tester Other Web Pages Conferences New Book E-Mail: fitting@lehman.cuny.edu Melvin Fitting Department of Mathematics and Computer Science Lehman College 250 Bedford Park Boulevard West Bronx, NY 10468-1589 Offices: Gillet Hall 200A (phone 718 960-8874) Graduate Center 4411 (phone 212 817-8206) ...
comet.lehman.cuny.edu/fitting
www-math.mit.edu/~sipser/index.html
Rami Grossberg Department of Mathematical Sciences Carnegie Mellon University Ph.D. Hebrew University of Jerusalem, 1986 (advisor: Saharon Shelah ) Research Recent papers Teaching Logic Seminar Some links Personal Information Email Research I'm interested in model theory (a branch of logic), especially in the classification theory of non elementary classes, infinitary logics, extensions of ...
www.math.cmu.edu/users/rami
www.cs.technion.ac.il/~janos/index.html
Solomon Feferman Professor of Mathematics and Philosophy Patrick Suppes Family Professor of Humanities and Sciences Stanford University Interests: Mathematical logic, especially proof theory and theory of computation Foundations of mathematics, especially constructive and predicative foundations Philosophy of mathematics History of modern logic Office: Room 383-Z, Building 380 Email: sf@csli.
math.stanford.edu/~feferman
Biography of Jan Lukasiewicz (1878-1956) ...
www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Lukasiewicz.html
Biography of Emil Post (1897-1954) ...
www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Post.html
The home page of Ullrich Hustadt at the Department of Computer Science, University of Liverpool, UK.
www.csc.liv.ac.uk/~ullrich
Martin Goldstern is a mathematician working at the Vienna University of Technology in Wien, Austria. This page contains information about his work -- teaching and research ...
info.tuwien.ac.at/goldstern
www.amsta.leeds.ac.uk/Pure/staff/rathjen/rathjen.html
John Etchemendy Department of Philosophy Stanford University Stanford, CA 94305 I am Professor and Chair of Philosophy at Stanford University. I am also a faculty member in the Symbolic Systems Program at Stanford and a senior researcher at the Center for the Study of Language and Information. My research interests include logic, semantics, and the philosophy of language. My recent research has ...
www-csli.stanford.edu/hp/etchemendy.html
Biography of Paul Bernays (1888-1977) ...
www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Bernays.html
Kenneth Kunen Professor, University of Wisconsin 305 Van Vleck Hall 480 Lincoln Drive Madison, WI 53706 E-Mail: kunen@math.wisc.edu Telephone: (608) 263-4831 Ph.D., Stanford University, 1968 Interests: set theory, automated deduction, topology, measure theory. Courses Taught For spring, 2001: Math 131: Geometrical Inference and Reasoning. Math 873: Topics in Foundations (i.e., Set Theory). For ...
Luke Ong Reader in Computation Tutorial Fellow in Computation, Merton College Address Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD, England. Telephone Direct: +44 (0)1865 283522 Department: +44 (0)1865 273838 Fax: +44 (0)1865 273839 EMail Luke.Ong@comlab.ox.ac.uk WWW Work-related information (OUCL) Personal Information (Personal page, content is not the ...
web.comlab.ox.ac.uk/oucl/people/luke.ong.html
www.ditext.com/tarski/tarski.html
Last revised 25.03.02 Vincent Danos Equipe Preuves, Programmes, Syst mes Charge de Recherches au CNRS Universite Paris VII tel: +33 1 4427 8679, fax: +33 1 4427 8654 Slides Classical Realizability and New Forms of Control lectures for the PPS Agay 2002 Spring School. Communication and Control slides of a talk at the Logic and Semantics seminar series in Cambridge. New Binders on the Block slides ...
www.logique.jussieu.fr/www.danos
Edward Nelson's Home Page Links More Links Bookmarks Characters Campus Directory Points I am in the Department of Mathematics at Princeton University. To reach me, please use email: nelson@math.princeton.edu Otherwise, phone: (609)-258-4206, fax: (609)-258-1367, or write: Edward Nelson Fine Hall -- Washington Road Princeton, NJ 08544-1000 USA My office is Fine 1208. Here are my list of ...
www.math.princeton.edu/~nelson/index.html
Biography of Thoralf Skolem (1887-1963) ...
www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Skolem.html
Herbert B. Enderton Adjunct Professor, Department of Mathematics, UCLA Coordinating Editor of Reviews for the Association for Symbolic Logic, publisher of The Journal of Symbolic Logic and The Bulletin of Symbolic Logic. Logic Colloquium chairman. Click here for more about logic at UCLA and here for information on VIG 2003. Here: links to logicians' web pages! Electronic mail: hbe@math.ucla.edu ...
Anton Setzer From 1/xi/2000 until 31/xi/2000 and from 15/vii/2001 I am a lecturer at Dept. of Computer Science, University of Wales Swansea; See my homepage in Swansea with references to lectures given there. Before 1/xi/2000 I was and from 1/i/2001 - 15/vii/2001 I have a research position, and am associated with Group for Mathematical Logic, Department of Mathematics, Uppsala University.
The Calculus of Logic' by George Boole The Calculus of Logic by George Boole, first published in The Cambridge and Dublin Mathematical Journal, vol. 3 (1848), is available here in the following formats: HTML (with inlined images) PDF LaTeX DVI PostScript (US Letter size) PostScript (A4 size) Links: George Boole (1815-1864) The History of Mathematics D.R. Wilkins (dwilkins@maths.tcd.ie) School of ...
www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic
ALEXANDER S. KECHRIS Professor of Mathematics Diploma, Mechanical & Electrical Engineering, National Technical University of Athens, 1969 Ph.D., Mathematics, UCLA, 1972 Research Interests Foundations of mathematics; mathematical logic and set theory; their interactions with analysis and dynamical systems. Recent projects include the study of foundational and set theoretic questions, and the ...
www.math.caltech.edu/people/kechris.html
The Homepage of Boris Zilber Personal Information Full name: Boris Zilber Affiliation: Mathematical Institute University of Oxford, and Merton College, Oxford Address: 24-29 St Giles Phone: (+44)(0) 1865 273537 Oxford, OX1 3LB Fax: (+44)(0) 1865 273583 United Kingdom email: zilber@maths.ox.ac.uk Teaching Model Theory (c/MSc course) Lecture Notes lect.dvi lect.ps (updated 7.11.01) Problems sheet1.
www.maths.ox.ac.uk/~zilber
Steve Awodey Assistant Professor Department of Philosophy Carnegie Mellon University Research Areas : Category theory Logic History and philosophy of mathematics and logic Connections: Logic of Types and Computation Publications Topological completeness for higher-order logic S. Awodey and C. Butz., Journal of Symbolic Logic 65(3), (2000) pp. 1168--82. Topological representation of the ...
www.andrew.cmu.edu/user/awodey
J.M.E. Hyland Reader in Mathematical Logic Kings College Research interests: Mathematical Logic , Category Theory, Theoretical Computer Science Office: C1.11 Phone: 37986 Email: M.Hyland@dpmms.cam.ac.uk Home page at the Computer Laboratory. Summary of recent EPSRC project Uniform Game semantics etc made available as required. New paper on abstract games - not done. Examples Sheets: 1irst, ...
www.dpmms.cam.ac.uk/~martin/index.html
Laurent Regnier Charge de recherches l'Institut de mathematiques de Luminy (CNRS) Telephone : bureau +33 4 91 26 96 42 fax +33 4 91 26 96 55 Adresse electronique : regnier@iml.univ-mrs.fr Une liste de mes articles se trouve ici ...
Nordic Journal of Philosophical Logic, Volume 1, No. 2. Articles by Jens Erik Fenstad, Herman Ruge Jervell, Hao Wang, Grigori Mints, Matti Eklund, Jaakko Hintikka and Gabriel Sandu. Full-text Web edition free for personal use.
www.hf.uio.no/filosofi/njpl/vol1no2/contents.html
Dr T.E. Forster Hughes Hall Fellow and Director of Studies in Mathematics, Hughes Hall. Tel 337981 (at DPMMS) 523469 (home) Research interests: I work on Set Theory, Type Theory, BQO theory and Philosophy of Mind. I developed this last interest when I was a music+philosophy student and it led me into Neurophysiology: to this day I am a paid-up working member (albeit part-time!) of the ...
Equipe de Logique Mathematique Elisabeth Bouscaren Equipe de Logique Mathematique (CNRS - UMR 7056) tel: (33) 1 44 27 54 58 UFR de Mathematiques, Case 7012 fax: (33) 1 44 27 61 48 Universite Paris 7 email: elibou_at_logique.jussieu.fr 2 place Jussieu 75251 Paris Cedex 05 FRANCE Adresse du bureau:175 rue du Chevaleret, 5 me etage, Bureau A31. Model Theory and Algebraic Geometry A Book, and some ...
www.logique.jussieu.fr/www.elibou
Alan Turing person Alan M. Turing, 1912-06-22/3 - 1954-06-07. A British mathematician, inventor of the Turing Machine. Turing also proposed the Turing test. Turing's work was fundamental in the theoretical foundations of computer science. Turing was a student and fellow of King's College Cambridge and was a graduate student at Princeton University from 1936 to 1938. While at Princeton Turing ...
foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?Alan+Turing
Zoe Chatzidakis UFR de Mathematiques, Case 7012 Universite Paris 7 2, place Jussieu 75251 Paris Cedex 05 FRANCE tel: (33) 1 44 27 68 56 fax: (33) 1 44 27 61 48 e-mail: zoe@logique.jussieu.fr Adresse du bureau: 175-179 rue du Chevaleret, 5 me etage, plateau A, bureau 5. Articles, preprints avec E. Hrushovski: The model theory of difference fields (Trans. Amer. Math. Soc. 351 (1999), pp.
www.logique.jussieu.fr/www.zoe
Albert-Ludwigs-Universitat Freiburg Mathematische Fakultat Institut fur mathematische Logik und Grundlagen der Mathematik Prof. Dr. Heinz-Dieter Ebbinghaus Albert-Ludwigs-Universitat Freiburg Mathematisches Institut Abteilung fur mathematische Logik Eckerstr. 1 79104 Freiburg Zimmer 310 Tel.: 0761/203-5603 email: hde@math.uni-freiburg.de Sprechstunde: Mo 17-18 und nach Vereinbarung ...
logik.mathematik.uni-freiburg.de/personen/Ebbinghaus.html
JAMES CUMMINGS Welcome to my page. I am a professor at Carnegie Mellon University where I work in the Mathematical Sciences Department. My main research interest is set theory and mathematical logic, and I am part of the CMU interdisciplinary program in logic. When I'm not doing maths I enjoy reading, movies and travel. On the left those of you with graphical browsers can see a picture of me and ...
www.math.cmu.edu/users/jcumming
DEPARTMENT OF MATHEMATICS Mike Prest Publications and preprints Courses/Teaching Seminars, Mathematics Challenge and other activities Links Professor of Mathematics Department of Mathematics University of Manchester Oxford Road Manchester M13 9PL Telephone: (+44) (0)161 275 5875 Fax: (+44) (0)161 275 5819 email: mprest@maths.man.ac.uk Research interests: Algebra and Model Theory Back to the ...
www.maths.man.ac.uk/~mprest
What's Post's Correspondence Problem (PCP) Definition: Given an alphabet S, one instance of Post's correspondence problem of size s is a finite set of pairs of strings (gi , hi) ( i = 1...s s ...
www.cs.ualberta.ca/~zhao/PCP/intro.htm
Akihiro Kanamori Do not do to others what you would not have them do to you. The perfect is often the enemy of the good. If something is worth doing, then it is also worth doing badly. O Western wind, when wilt thou blow The small rain down doth rain . . . Oh God, that my love were in my arms, And I in bed again! --Anonymous, 12th Century Whatsoever thy hand findeth to do, do with all thy ...
math.vanderbilt.edu/~mckenzie
Steven Buechler's Personal Page This document augments my official page, maintained by the Math Department. Complete CV Contact Information Electronic Phone Book I am located in room 360 of the Math/Computing Building; phone: (219)631-6233; e-mail: steven.a.buechler.1@nd.edu. Local Info In addition to my normal faculty duties, I currently serve as Associate Dean of the College of Science.
This is an essay about the ontological proof ...
www.stats.uwaterloo.ca/~cgsmall/ontology.html
This essay originally appeared in the Ellsworth American, August 27, 1992, Section I, p. 2.Copyright 1992, Peter Suber. This is a brief account of Kurt G del's trip to Blue Hill, Maine, in the summer of 1942, written for the audience that knows Blue Hill better than G del. (The Ellsworth American is the newspaper serving the Blue Hill area.) For this HTML version I restore the footnotes, which ...
www.earlham.edu/~peters/writing/godel.htm
The Homepage of Alex Wilkie Personal Information Full name: Alex Wilkie Affiliation: Mathematical Institute University of Oxford Address: 24-29 St Giles Phone: (+44)(0) 1865 273540 Oxford, OX1 3LB Fax: (+44)(0) 1865 273583 United Kingdom email: wilkie@maths.ox.ac.uk Research PUBLICATIONS 1. On models of arithmetic-answers to two problems raised by H. Gaifman, J Symb Logic, 40(1975)(1), 41-47. 2. A ...
www.maths.ox.ac.uk/~wilkie
University of California, Irvine Department of Mathematics Professor Matthew Foreman Mathematics 265 Multipurpose Science & Technology Building Irvine, CA 92697-3875 (949) 824-5424 (949) 824-7993 Fax mforeman@math.uci.edu Office hour: Appointment only Publication *****PAPERS AVAILABLE FOR DOWNLOADING:***** *****COMPLETE PUBLICATIONS LIST***** *****RECENT PUBLICATIONS***** (with R. Dougherty) ...
www.math.uci.edu/faculty/mforeman.html
Anil Nerode Goldwin Smith Professor of Mathematics Director, Center for Foundations of Intelligent Systems OFFICE ADDRESSES Department of Mathematics 545 Malott Hall Cornell University 625 Rhodes Hall Cornell University Ithaca, New York 14853 545 Malott Phone:(607) 255-3577 Department Phone:(607) 255-4013 Home Phone: (607) 257-7641 Department Fax:(607) 255-7149 Home Fax :(607) 255 5716 e-mail: ...
William Mitchell Dept of Mathematics University of Florida (Click to see my nieces and nephew) Contact Information. Schedule. Courses Analytic Geometry and Calculus II (MAC 2312 section 3177) Introduction to Set Theory (MHF 4102/5107 section 3276/3277) Here are some suggestions in case you have trouble with these (or any other) math courses. Logic seminars at the University of Florida Logic ...
www.math.ufl.edu/~mitchell
The Window -- Philsophy on the WWW. Philosophers Section ...
www.trincoll.edu/depts/phil/philo/phils/frege.html
Charles Sanders Peirce par Robert Tremblay, du cegep du Vieux Montreal Sa vie Ne en 1839, Charles S. Peirce est aujourd'hui considere comme le plus grand philosophe americain de tous les temps. Ce n'etait pourtant pas le cas de son vivant, pusqu'il mena une vie d'exclu et n'obtint jamais de poste d'enseignant dans une universite. D'abord logicien, bien sur philosophe, mais aussi chimiste et ...
www.cvm.qc.ca/encephi/contenu/philoso/peirce.htm
Peter Quigley - Home Page Position: Senior Lecturer. Qualifications: BA (Mathematics & Computing), Cert Ed, MSc (Software Engineering). Research Interests: Functional Programming, Computational Logic, Formal Methods, Formal Specification, Automated Reasoning and Proof Planning. I work within the Centre for Agent Research and Development, and currently I am involved in the Mechanising First-Order ...
www.doc.mmu.ac.uk/STAFF/P.Quigley
Richard A. Shore Home Page Department of Mathematics White Hall Cornell University Ithaca NY 14853 607-255-4081 shore@math.cornell.edu fax: 607-255-7149 7 Avon Road Binghamton NY 13905 607-729-6135 14 Kenwood Avenue Newton MA 02459 617-916-1035 617-916-1035 Research Interests (from Department's Annual Report) Curriculum Vitae Education and Employment Invited Talks Grants Editorial Boards and ...
Hilbert, David David Hilbert (23.01.1862 - 14.02.1943) wurde in K nigsberg geboren. Sein Vater und sein Gro vater waren Richter. Im Jahre 1885 promovierte er mit einer Dissertation uber Invariantentheorie. Nachdem er 1892 zunachst Professor in K nigsberg wurde, bekam er 1895 einen Lehrstuhl in G ttingen, wo er bis zu seiner Emeritierung im Jahre 1930 blieb. Hilberts mathematische Interessen ...
www.mathe.tu-freiberg.de/~hebisch/cafe/hilbert.html
Luck DARNIeRE's homepage. Topics: Mathematical logic, french poetry, humour, PhD student's association ...
math.univ-angers.fr/~darniere/home_uk.html
Jean A. Larson Dept of Mathematics University of Florida Spring 2002 Classes: MHF 3202 Sets and Logic MAA 4103/5105 Advanced Calculus for Engineers and Physical Scientists 2 UF Math PhD Alumni Research Interests: Set Theory and Foundations, Combinatorics PhD from Dartmouth College, 1972 Logic and Set Theory at the University of Florida, UF Logic Seminar Some homepages in set theory and ...
Faculty Visiting Faculty Staff Graduate Students Undergraduate Students Home Richard Statman Professor Ph.D., Stanford University Office: Wean Hall 7214 Phone: (412) 268-8475 E-mail: statman@cs.cmu.edu Research My principal research interests lie in the theory of computation with special emphasis on symbolic computation. In particular, my current research involves lambda calculus and combinatory ...
www.math.cmu.edu/people/fac/statman.html
The Need for Abstract Entities Alonzo Church Published in the American Academy of Arts and Sciences Proceedings 80 (1951): pp. 100-113. We distinguish between a logistic system and a formalized language on the basis that the former is an abstractly formulated calculus for which no interpretation is fixed, and thus has a syntax and no semantics; but the latter is a logistic system together with ...
www.ditext.com/church/nae.html
Search the Web. Type it and go! John L. Casti & Werner DePauli G del: A Life of Logic, the Mind, and Mathematics As part of its millennium celebration, Time magazine published a list of the 100 greatest people of the 20th century. On this list was their choice of the greatest mathematician--Kurt G del. Most likely, if you were to randomly select 100 people and ask them, 'Do you know who Kurt G ...
www.2think.org/godel.shtml
Dr. Heinrich Wansing University of Leipzig Institute of Logic and Philosophy of Science Augustusplatz 9 04109 Leipzig Germany Phone: +49 (0)341 9735773 Fax: +49 (0)341 9735798 e-mail: wansing@rz.uni-leipzig.de Research areas and interests: - non-classical logics, in particular modal, constructive and substructural logic - sequent-style proof systems, proof-theoretic semantics - deontic logics, ...
www.uni-leipzig.de/~logik/wansing/wansing.html
Mai Gehrke Department of Mathematical Sciences Phone: (505] 646-4218 New Mexico State University Fax: (505) 646-1064 Las Cruces, NM 88003 mgehrke@nmsu.edu Office Location: Science Hall Room 232 Return to Faculty Page, Return to Main Index PROFESSIONAL EXPERIENCE 8/00--Present Professor, New Mexico State University, Las Cruces, New Mexico. 1/99--Present Part-time consulting, Physical Science ...
math.nmsu.edu/mgehrke/mgehrke.html
Biography and links for Alan Turing. Links, biographical information, bibliographies et cetera. Creator of the Turing Test. Alan Turing broke the enigma cipher used by Nazi Germany in world war 2. ...
www.popsubculture.com/pop/bio_project/alan_turing.html
The papers of George Boole, first Professor of Mathematics at Queens College Cork, are preserved in the archives section of the library which bears his name, the Boole Library, University College, Cork. The inventor of Boolean logic, he laid the foundations in the latter half of the nineteenth century of a system of mathematical expression which formed the basis for all modern computer languages.
booleweb.ucc.ie/search/subject/archives/boole.htm
Yves LAFONT professor at Universite de la Mediterranee research at IML (CNRS, UPR 9016) in the LDP team teaching at Faculte des Sciences de Luminy in the math department address : Institut de Mathematiques de Luminy - 163 avenue de Luminy, Case 907 - 13288 Marseille CEDEX 9 office : 227 - phone : +33 4 91 26 96 37 - fax : +33 4 91 26 96 55 - e-mail : lafont@iml.univ-mrs.fr French version (with ...
iml.univ-mrs.fr/~lafont/welcome.html
The Bulletin of Symbolic Logic Volume 1, Issue 4, December 1995 Articles Inner models and large cardinals, by Ronald Jensen, pages 393 -- 407. Singular cardinals and the PCF theory, by Thomas Jech, pages 408 -- 424. The complexity of propositional proofs, by Alasdair Urquhart, pages 425 -- 467. Communications Recent advances in ordinal analysis: $\Pi^1-2$ -- CA and related systems, by Michael ...
www.math.ucla.edu/~asl/bsl/0104-toc.htm
Friedrich Ludwig Gottlob Frege (1848-1925). His life and works, also secondary sources.
www.findlink.dk/frege/frege.htm
The Bulletin of Symbolic Logic Volume 5, Issue 2, June 1999 Articles New directions in descriptive set theory, by Alexander S. Kechris, pages 161 -- 174. Tarski's system of geometry, by Alfred Tarski and Steven Givant, pages 175 -- 214. Communications The logic of bunched implications, by Peter W. O'Hearn and David J. Pym, pages 215 -- 244. Church's problem revisited, by Orna Kupferman and Moshe ...
www.math.ucla.edu/~asl/bsl/0502-toc.htm
Organize and date the manuscripts and to produce an approved scholarly edition of Peirce's writings; includes biography, resources, online texts.
www.angelfire.com/on2/ph103herm
Name: Wilfried Sieg Rank: Professor of Philosophy Administrative Functions: Head, Philosophy Department Ph.D.: Stanford University Department Member Since: 1985 Research Interests I came from mathematics to philosophy: learning and doing mathematics had to be complemented by studying the foundations of the subject. I learned quickly that foundational positions and their mathematical ...
www.hss.cmu.edu/departments/philosophy/people/directory/Wilfried_Sieg.html
Biography of Kurt Godel (1906-1978) ...
www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Godel.html