1976 in Science - Mathematics

Mathematics

  • July 11 – Keuffel and Esser manufacture the last slide rule in the United States.
  • Imre Lakatos' Proofs and Refutations: the Logic of Mathematical Discovery is published posthumously.
  • The four color theorem is proved by Kenneth Appel and Wolfgang Haken, the first major theorem to be proved using a computer.

Read more about this topic:  1976 In Science

Famous quotes containing the word mathematics:

    The three main medieval points of view regarding universals are designated by historians as realism, conceptualism, and nominalism. Essentially these same three doctrines reappear in twentieth-century surveys of the philosophy of mathematics under the new names logicism, intuitionism, and formalism.
    Willard Van Orman Quine (b. 1908)