24.242 | Spring 2004 | Undergraduate

Logic II

Lecture Notes

1st_incompletens.pdf

Description:

This resource explains ‘Godel’s First Incompleteness Theorem’ with it’s related collories and theorems. It also explains the Church’s theorem.

Resource Type:
Lecture Notes
pdf
364 kB
1st_incompletens.pdf

Course Info

Instructor
As Taught In
Spring 2004
Learning Resource Types
Lecture Notes
Problem Sets with Solutions