QUALIFYING EXAMINATION
AUGUST 1995
MA 585
1. State Gdels Completeness Theorem and outline a proof.
o
2. State Gdels Incompleteness Theorem and outline a proof.
o
3. A theory T is said to be complete if for all sentences in the language of T either
T or T
Qualifying Examination
August 2000
MATH 585 - Prof. Lipshitz
(5) 1. Prove that every formula of the Propositional Calculus is logically equivalent to a
formula in Conjunctive Normal Form (i.e. a conjunction of disjunctions of atomic
and negated atomic for
QUALIFYING EXAMINATION
August 1999
MATH 585 - Prof. Lipshitz
1. Prove that every formula of the Propositional Calculus is logically equivalent to
a formula in disjunctive normal form (i.e. a disjunction of conjunctions of atomic
and negated atomic formula