Introduction to mathematical logic - A problem solving course

Details Introduction to mathematical logic - A problem solving course Introduction to mathematical logic - A problem solving course

1996-01-16

arxiv.org/abs/math/9601203v1

Mathematics

Logic

Scientific paper

This is a set of 288 questions written for a Moore-style course in Mathematical Logic. I have used these (or some variation) four times in a beginning graduate course. Topics covered are: propositional logic axioms of ZFC wellorderings and equivalents of AC ordinal and cardinal arithmetic first order logic, and the compactness theorem Lowenheim-Skolem theorems Turing machines, Church's Thesis completeness theorem and first incompleteness theorem undecidable theories second incompleteness theorem

Affiliated with

Also associated with

No associations

Rating

Introduction to mathematical logic - A problem solving course does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Introduction to mathematical logic - A problem solving course, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Introduction to mathematical logic - A problem solving course will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-71359