On 12/9/2011 11:55 AM, Stephen P. King wrote:
On 12/9/2011 9:43 AM, Bruno Marchal wrote:
Assuming different instances of boolean algebra is assuming more than
the natural numbers (like assuming finite and infinite sets).
Are two Boolean algebras that have different propositional content
one and the same? If this is true then there is no variation is
algorithms, it is to say that all algorithms are identical in every way.
Let me answer this differently. Does not the postulation of the
primitive existence of numbers not equivalent to postulating an infinite
set. Are not the Integers an (countable) infinite set?
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To post to this group, send email to firstname.lastname@example.org.
To unsubscribe from this group, send email to
For more options, visit this group at