[FOM] My FOM reviews
Harvey Friedman
friedman at math.ohio-state.edu
Fri Jun 13 17:21:48 EDT 2003
Thank you for the input. But what I was most interested in, was what
OTHER items besides the ones I listed, would subscribers be most
interested in seeing me or someone else review?
>Hi,
>
>> But I thought that it would be interesting
>> to see what the FOM subscribers are particularly interested in.
>
>Since you asked, I would be most interested in reading your reviews of the
>following:
>
>
>
>> 3. Model Theory: Geometrical and Set-Theoretic Aspects and Prospects,
>> Angus Macintyre, Bulletin of Symbolic Logic, vol. 9, no. 2, June 2003.
>>
>>
>> 7. Computability and Recursion, Bulletin of Symbolic Logic, Robert I.
>> Soare, Vol. 2 No. 3, September, 1996.
>
>> 14. A New Kind of Science, Stephen Wolfram, Stephen Wolfram LLC, 2002.
>>
>> 15. Locus solum, J.-Y. Girard, Bulletin of Symbolic Logic, vol. 9,
>> no. 2, June 2003.
>>
>> 16. Foundations and applications: axiomatization and education,
>> Bulletin of Symbolic Logic, vol. 9, no. 2, June 2003.
>>
>> 17. Proof theory on the eve of year 2000, S. Feferman,
>> http://www-logic.stanford.edu/proofsurvey.html
>
>
>Jim
More information about the FOM
mailing list