Comp 280: History and Philosophy of Computing, Winter 2009

Links

Below are some links to webpages that might be of interest to you. (If you know other websites that you think should be linked here, please let me know!)

  • The International Association for Computing and Philosophy.
  • Special Interest Group: Computers, Information and Society. Thomas Haigh's History Resources, "a kind of annotated bibliography of resources for the history of computing."

  • Ancient numerals

  • Babylonian culture and tablets
  • Mesopotamian mathematics
  • Cuneiform Digital Library Initiative
  • History Topics Index at The MacTutor History of Mathematics archive.
  • G. Donal Allen's Lectures on the History of Mathematics
  • Mechanisms, watches, and clocks
  • The Antikythera Mechanism Research Project
  • Manos Roumeliotis's Simulation and Animation of the Antikythera Mechanism
  • The National Watch and Clock Museum
  • History of computers

  • IEEE Annals of the History of Computing.
  • Tons of links relating to the History of Computers.
  • Charles Babbage Institute, center for the history of information technology.
  • PBS: The Triumph of the Nerds
  • PBS: Nerds 2.0.1 - A Brief History of the Internet
  • History of programming languages

  • Éric Lévénez's Computer languages history
  • The language list. Collected Information On About 2500 Computer Languages, Past and Present. Maintained by Bill Kinnersley.
  • Philosophy of computer science

  • Online and offline resources, University of Essex.
  • Mathematics:

  • See who are the Mathematicians of the Day.
  • If you are interested in Earliest Uses of Various Mathematical Symbols Jeff Miller's webpage is the place to go.
  • A recent edition of the Notices of the American Mathematical Society (Vol. 53, No. 10, November 2006) is entirely devoted to articles on Turing. [Thanks to Phil for the reference.]
  • For more on Gödel, check out the April 2006 edition of the Notices of the American Mathematical Society.
  • The Standford Encyclopedia of Philosophy has very well-written and comprehensive articles about logic and philosophers we've heard about in this course.

  • Historical texts:

  • Hilbert's Mathematical Problems. Contains a link to an English translation of Hilbert's 1900 address in which he formulated his famous 23 problems, as well as to other interesting articles regarding the problems. (See also The Mathematical Problems of David Hilbert.)
  • Gödel's famous 1931 paper "On formally undecidable propositions of Principia Mathematica and related systems I". A pdf version can be downloaded following the link at the bottom of this page.
  • Related courses at McGill

  • Winter 2009:

  • Math 591 Mathematical Logic 2
  • Phil 310 Intermediate Logic (Schlimm)
  • Phil 511 Seminar: Philosophy of Logic and Mathematics (Hallett)
  • Fall 2010:

  • Comp 230 Logic and Computability (Schlimm)
  • Math 318 Mathematical Logic
  • Math 338 History and Philosophy of Mathematics
  • Phil 210 Deductive Logic
  • Phil 411 Topics in Philosophy of Mathematics and Logic (Schlimm)
  • Some advice on how to write well:

  • Guidelines on writing a philosophy paper, by Jim Pryor
  • The elements of style, by William Strunk, Jr.
  • Guide to punctuation, by Larry Trask
  • LaTeX:

  • LaTeX - A document preparation system
  • LaTeX for Logicians (introduction, packages, etc.: all you need, and more!)
  • The Comprehensive TeX Archive Network (CTAN) is the authoritative collection of materials related to the TeX typesetting system.
  • FAQ (in French).

  • Home Syllabus Overview Schedule Assignments Papers Movies Links (c) Dirk Schlimm   1/03/09