Re: The Time Deniers

2005-07-15 Thread Bruno Marchal
Le 15-juil.-05, à 04:15, Hal Finney a écrit : Surely Chaitin's algorithmic information theory would not work; inputting a zero length program into a typical UTM would not produce the set of all infinite length bitstrings; in fact, I don't see how a TM could even create such an output from

Noncommutability of observables

2005-07-15 Thread Stephen Paul King
Dear Russel, Any ideas on the 3rd person aspect? Are you assuming that that commutability or non-commutativity of observables is fixed a priori? Kindest regards, Stephen - Original Message - From: Russell Standish [EMAIL PROTECTED] To: Stephen Paul King [EMAIL PROTECTED] Cc:

Re: is induction unformalizable?

2005-07-15 Thread Bruno Marchal
I make a comment on Wei Dai, as quoted by Hal Finney, and then I Hal Finney's answer. Le 14-juil.-05, à 23:03, Hal Finney a écrit : Wei Dai writes: One day, Earth is contacted by a highly advanced alien civilization, and they tell us that contrary to what most of us think is likely, not all of

Re: is induction unformalizable?

2005-07-15 Thread Hal Finney
One question I am uncertain about is this: how well could we test a supposed halting-problem oracle (HPO) box? In particular I wonder, suppose it turns out that P=NP and that further there is an efficient algorithm to solve any NP problem. For those unfamiliar with this terminology P means

Re: The Time Deniers and the idea of time as a dimension

2005-07-15 Thread chris peck
Hi James; Yes, you are definitely a conventional thinker Chris. I’m not sure what this line of argument has to do with the price of peas, but as I have said, it wouldn’t be troubling to me to be considered conventional. However, I do think you are being hasty in so far as I’m still finding

Re: is induction unformalizable?

2005-07-15 Thread scerir
Ben Goertzel: but this doesn't mean induction is unformalizable, it just means that the formalization of cognitive-science induction in terms of algorithmic information theory (rather than experience-grounded semantics) is flawed... Imo, induction only works when the complexity of the

Re: Noncommutability of observables

2005-07-15 Thread scerir
Any ideas on the 3rd person aspect? Are you assuming that that commutability or non-commutativity of observables is fixed a priori? Stephen There are problems about consistency between measurements on the same system http://www.arxiv.org/abs/quant-ph/0107151 and related

Re: Noncommutability of observables

2005-07-15 Thread Stephen Paul King
Dear scenir, Thank you for reminding me to read that paper! It has been in my stack for about a year. I have been a long advocate that contextuality is very important in physics and must be taken into account within any realist philosophy. Whether contextuality manifests in terms of