On 18 Dec 2012, at 22:12, Stephen P. King wrote:

## Advertising

On 12/18/2012 3:28 PM, meekerdb wrote:On 12/18/2012 10:27 AM, Stephen P. King wrote:On 12/18/2012 12:51 PM, meekerdb wrote:On 12/17/2012 11:51 PM, Quentin Anciaux wrote:Which implies there is some measure of 'true' other than'provable'.What do you mean ? that provable true is truer ?No, just that there must be propositions we judge to be true thataren't provable.Brent --Hi Brent,How do we defend such "propositions we judge to be true thataren't provable" from claims of subjectivity?Of course being provable does eliminate subjectivity - it justpushes it back to the axioms. Generally what we mean by objectiveis that there is almost universal subjective agreement, e.g. givenany number x there is a successor of x not equal to x. So if thereis some proposition of arithmetic that everyone agrees must betrue, then it's as 'objective' as the axioms and as 'objective' asanything proven from the axioms even though it is not provable fromthem.BrentHi Brent,You have written the magic words! "... if there is someproposition of arithmetic that everyone agrees must be true". Thisis exactly what I am talking about with my banter about "truthobtaining from agreements between mutually communicating observers".We remove the subjectivity of the individual by spreading it outover many individuals. When we have many individuals in agreement,the disagreement by one of them is inconsequential. This is the lawsof large numbers at work. ;-)

`OK for politics, but not for science. That would be worst than`

`solipsism, that would be nationalism, that is collective solipsism. In`

`science all argument per authority are invalid, and to invoke majority`

`would be the best way to kill the possibility of progress. history`

`shows that in science, very often, those who are "right" are a`

`minority for some period, which is normal in front of the unknown.`

We have many entities that are available to agree that 2+2=4(for all sizes of 2 and 4 that we can find),

`People agree that 2+2=4 because it is a simple truth which follow from`

`simple definition.`

2^90 entities at least! Every particle that exist in our universethat can hold a bit of data and all possible combinations of themthat agree on some "laws of physics". If we take this finite numberto be infinite then things change; we are not able to take aboutmeasures that are relative to agreements in populations of entitiesand must be capable of comprehending that simple fact.Granting ourselves imaginary powers of omniscience or to someimaginary Platonic proxy does not change anything when we areconsidering the degeneracy of the very idea of a measure in the caseof infinities.

`Measure theory has been invented to define measure on all kinds of`

`sets, especially infinite one. (Riemann measure, Lebesgues, etc.).`

Bruno

-- Onward! Stephen --You received this message because you are subscribed to the GoogleGroups "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.

http://iridia.ulb.ac.be/~marchal/ -- 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.