Davis's honor roll

[Martin Davis]

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".

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