MATHEMATICAL LOGIC

MATH/PHILOS 571

Course Description

Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.

Prerequisties

(MATH 234 or MATH 375 ), (MATH 320 , MATH 340 , MATH 341 , or MATH 375 ), and (MATH 341 , MATH 375 , MATH 421 , MATH 467 , or MATH 521 ), or graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program

Satisfies

This course does not satisfy any prerequisites.

Credits

Not Reported

Offered

Not Reported

Grade Point Average

3.82% from Historical

Completion Rate

84.62%

-1.55% from Historical

A Rate

53.85%

59.62% from Historical

Class Size

-26.91% from Historical

Instructors (2025 Fall)

Sorted by ratings from Rate My Professors

Similar Courses

ADVANCED TOPICS IN FOUNDATIONS

MATH 873

Advanced topics from all areas of mathematical logic.

SEMINAR-LOGIC

PHILOS 911

Seminar on logic.

SEMINAR-THE FOUNDATIONS OF MATHEMATICS

MATH 975

Selected topics in Mathematical Logic.

SYMBOLIC LOGIC

PHILOS 511

Propositional and predicate logic, with emphasis on metatheory; independence of rules and completeness theorems; discussion of technical and philosophical limitations of classical logic.

FOUNDATIONS OF MATHEMATICS

MATH 770

First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.