On 2/14/2011 2:11 AM, Stephen Paul King wrote:

Hi Bruno,Umm, I did not mean to upset you personally. I find your ideas tobe very interesting and even elegant, but there is an 800 PoundGorilla in the Room that needs to be addressed and it is the nature ofthe assumptions that we bring into our modelizations. Whether theGoldbach conjecture is true or false is a question that needs to haveits premise examined.Can we examine all of the even integers to determine if they arethe sum of two primes? No, obviously, but is the choice betweenfalsity or truth necessarily sound? Does not there exist a differencebetween finite and infinite sets such that we can define measure andratios on the finites but not on the infinites. The Goldbachconjecture is a conjecture about an infinite set and thus we may beprevented from proving the decidability of its truth by the fact thatit is infinite and has the property of an isomorphism between a propersubset of the infinity and its whole.

`We can't prove it's undecidable because that would constitute a proof`

`that it's true. And there must be infinitely many such conjectures.`

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.