[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