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.
But diagonalization arguments assume realized infinities.
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to email@example.com.
To unsubscribe from this group, send email to
For more options, visit this group at