On 5/29/2012 12:27 AM, Bruno Marchal wrote:
I doubt infinities.
I can doubt actual infinities. Not potential infinities, which gives sense to any non
stooping program notion.
Comp is ontologically finitist. As long as you don't claim that there is a biggest prime
number, there should be no problem with the comp hyp. Infinities can be put in the
epistemology, or at the meta-level: they are mind tool, souls attractor etc.
Bruno
But diagonalization arguments assume realized infinities.
Brent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to everything-list@googlegroups.com.
To unsubscribe from this group, send email to
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.