Dear Bruno,

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
To unsubscribe from this group, send email to
For more options, visit this group at

Reply via email to