Craig's Theorem
In mathematical logic, Craig's Theorem—not to be confused with Craig's Interpolation Theorem—states that any recursively enumerable theory is recursi...
Read more
Field, Hartry(1956–)
Hartry H. Field was born in Boston. He received his BA in Mathematics at the University of Wisconsin (1967) and his Ph.D. at Harvard (1972) working under Hilary Putnam and ...
Read more
Craig's Theorem