Please create an account to participate in the Slashdot moderation system

 



Forgot your password?
typodupeerror
×

Comment Re:Saltwater and MTBF (Score 1) 90

It's not a question of whether or not it can be handled. Of course it can be handled, you just take the thing out of the water every x hours and repair/clean/repaint/whatever it. The question is, what's the value of 'x', and what's the associated cost, and at what point does that prevent the whole enterprise from being uneconomical?

Comment Re:By the same logic (Score 1) 335

There are entire languages that are restricted in such a way that ALL programs you can write in them are guaranteed to halt.

They don't sound all that Turing Complete. Examples?

Realtime operating systems even guarantee things are completed in a particular amount of time.

while(1);

I don't think pre-empting an infinite loop counts as 'halting' in this context.

Comment Re:By the same logic (Score 1) 335

It's perfectly possible to prove that a particular program will halt.

In trivial cases yes. In the general case no (of course).

It's also perfectly possible to determine whether any given program will finish or not in a particular amount of time.

Only by running it for that long, which is kind of cheating.

Comment Re: By the same logic (Score 1) 335

The proof may be contrived, but that doesn't make the result any less true. The point is that correctness cannot be proven for software by software. It is provably impossible to write bug-finding software that finds all bugs - even if one could describe to the bug-finder what the program is supposed to do.

Turing machines are contrived too - no-one ever builds a Turing machine to actually do anything, we use real computers instead. But Turing showed that all algorithms are homeomorphic to some Turing machine, and that all results that apply to Turing machines also apply to all other classical computers.

Hence the halting problem is important in that it places fundamental limits on what can and cannot be computed.

Comment Re:The Fix: Buy good Chocolate! (Score 1) 323

Reading your comments reminds me of why I come to slashdot in the first place, so firstly - thank you

Secondly; I'm a huge fan of chocolate - I mean, who isn't - and I want to know which brand of chocolate I ought to be buying. Living in NZ means I'm probably not going to be a customer of yours, so what do you suggest? Cadbury's? Whittakers? Green & Black's? Someone else that I've not heard of?

Comment Re: Welcome! (Score 1) 139

Yes. There had been smaller "warning" shakes

No. There is no reason to believe that smaller shakes are warnings. None whatsoever. That there was a subsequent deadly earthquake is a terrible tragedy, but it does not change the fact that small shakes are not a predictor of large earthquakes.

If those families had left l'Aquila, then one presumes that they would have returned at some point. If a large earthquake had not occurred by that point, but did shortly thereafter, would the scientists still be at fault?

Actually, upon re-reading your reply, I'm not sure what you were actually arguing.

Slashdot Top Deals

All I ask is a chance to prove that money can't make me happy.

Working...