Davis's honor roll

Martin Davis martin.david.davis at gmail.com
Thu Jun 24 16:41:23 EDT 2021

Rosser's book "Logic for Mathematicians" developes set theory based on
Quine's New Foundations. One chapter assumes the axiom of choice.This was
proceed inconsistent by Specker.

Rosser was quite angry with me for including his name in my "honor roll".

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210624/43ebfd42/attachment-0001.html>

More information about the FOM mailing list