Skip to main content

MA 58500, Fall 2023

Course Description

Credit Hours: 3.00. Propositional and predicate calculus; the Gdel completeness and compactness theorem, primitive recursive and recursive functions; the Gdel incompleteness theorem; Tarski's theorem; Church's theorem; recursive undecidability; special topics such as nonstandard analysis. Typically offered Fall.

Course Materials

Section Type Title Author

Important Notes

  • ADA policies: please see our ADA Information page for more details
  • In the event of a missed exam, see your instructor/professor as soon as possible.
  • See the online course evaluation page for more information on how we collect course feedback from students

Department of Mathematics, Purdue University, 150 N. University Street, West Lafayette, IN 47907-2067

Phone: (765) 494-1901 - FAX: (765) 494-0548  Contact Us

© 2022 Purdue University | An equal access/equal opportunity university | Copyright Complaints

Trouble with this page? Disability-related accessibility issue? Please contact the College of Science.

Maintained by Science IT