[FOM] Proof "from the book"

Jesse Alama alama at stanford.edu
Tue Aug 31 21:53:42 EDT 2004

Feferman's paper on Gödel can also be found in his book called "In the 
Light of Logic".


On Aug 31, 2004, at 1:32 PM, charles silver wrote:

>     An explanation of Godel's thinking along the lines you indicate
> can be found in Feferman's "Kurt Godel: Conviction and Caution", in
> a book by Shanker, _Godel's Theorem_, 1988.

More information about the FOM mailing list