The Carnegie Pulseabout the carnegie pulse | advertise | contact | subscriptions | join 
newsart & cultureopinionseventscourse schedule

My schedule
Most popular
View departments
View locations
View times

Find course by title:


21-700 Mathematical Logic II

Department:Mathematical Sciences
Prerequisites:21-300 or 21-600
Related URLs:

Higher-order logic (type theory). Syntax, Lambda-notation, Axioms of Description and Choice, computer-assisted formal proofs, semantics, soundness, standard and non-standard models, completeness, compactness, formalization of mathematics, definability of natural numbers, representability of recursive functions, Church's Thesis. Godel's Incompleteness Theorems, undecidability, undefinability.

  Popularity index
Rank for this semester:#450
Rank in this department:#30

  Students also scheduled
15-399 Special Topic: Constructive Logic
80-180 The Nature of Language
15-462 Computer Graphics
21-356 Principles of Real Analysis II
21-623 Complex Analysis
80-254 Analytic Philosophy
15-410 Operating System Design and Impleme...
21-229 Set Theory
15-415 Database Applications
21-465 Topology and Geometry

  Spring 2005 times

Sec Time Day Instructor Location  
A 11:30 am - 12:20 pm M Andrews DH 1209 Add course to my schedule
W Andrews DH 1209
F Andrews DH 1209

talkback to the pulse
No comments about this course have been posted, yet. Be the first to post!
Share your opinion on this course with other Pulse readers. Login below or register to begin posting.

Email address:

  (c) Copyright 2004 The Carnegie Pulse, Carnegie Mellon's first exclusively online student-run news source. campus mirror | RSS