[FOM] Consistency of Robinson arithmetic

Frode Bjørdal frode.bjordal at ifikk.uio.no
Wed May 18 18:10:14 EDT 2011

I believe Nelson has been on the record stating as much as that he
harbours doubts concerning Q, and that some on the list can clarify
more deeply. If my memory serves me well I did read a couple of texts
by him to that effect, one graciously sent to me by one list member
when visiting my country (and I should at that time have had the wits
about me to thank him by also pointing out that I had read that
article earlier as a result of a link posted on this list).

Frode Bjørdal
Professor i filosofi
IFIKK, Universitetet i Oslo

2011/5/18 Timothy Y. Chow <tchow at alum.mit.edu>:
> The current discussion about the consistency of PA makes me wonder: Does
> Voevodsky or Nelson doubt the consistency of Q?  Some of the vague
> objections that I sketched in my previous post would apply just as well to
> Con(Q) as to Con(PA).  Getting a straight answer to this question could
> sharpen the discussion, by clarifying whether PA is just being used as an
> arbitrary placeholder or whether there is something specific about PA that
> is (allegedly) problematic.
> Tim
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

More information about the FOM mailing list