FOM: Are Harvey's postings "Foundational"?

Matthew Frank mfrank at
Wed Mar 27 11:36:35 EST 2002

Just a brief comment for now:

> But, I believe--please correct me if I'm wrong--that Feferman's work has
> become increasingly more technical over the years.

His 1998 book "In the Light of Logic" was a notable step in other
directions:  more philosophical and more popular.


More information about the FOM mailing list