up previous

Mathematical Logic at Penn State

September 16, 2013

Historically, mathematical logic grew out of profound investigations concerning the most basic concepts and logical structure of mathematics. Among the great names are Georg Cantor, David Hilbert, Kurt Gödel, and Alan Turing.

Important Note:

  1. Gödel and Turing are the only mathematicians in Time Magazine's list of the 20 most influential thinkers of the 20th century.
  2. MATH 557 and MATH 558 are an exposition of the ideas of Gödel and Turing.

About this document ...

This document was generated using the LaTeX2HTML translator Version 2008 (1.71)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -split 0 130916.tex

The translation was initiated by Stephen G Simpson on 2013-09-16

up previous
Stephen G Simpson 2013-09-16