31–40 of 86 posts
Earlier quoted context omitted.
Outsourcing to a far away place to a random contractor is looking for trouble. But your generalization is offensive.
I understand your point, but overuse of the word "offensive" offends me.
The thing to note about the halting problem is that it's impossible to create a general solution that works for all the input programs. That said, one could create an approximative solution and even solve the halting problem for non-turning complete languages. A lot of the time when we actually solve "hard" problems, we only find approximative solutions (this is for example true when doing static code analysis). Aski…
http://research.microsoft.com/Terminator/ The ultimate goal of the TERMINATOR project is develop automatic techniques (and tools that implement them) that will allow us to prove that industrial software components cannot hang.
(define (halt? p) #t)
Earlier quoted context omitted.
http://research.microsoft.com/Terminator/ The ultimate goal of the TERMINATOR project is develop automatic techniques (and tools that implement them) that will allow us to prove that industrial software components cannot hang.
My father designs HVAC systems for nuclear missile silos. I was asked him about how the embedded controls software works, and how they handle error conditions. The biggest concern? EMP blasts. The solution? Mechanical failsafes.
Funny, after reading jeff atwood's article on codinghorror ( http://www.codinghorror.com/blog/archives/001190.html ), I left a comment suggesting someone do this. I see someone took me up on the offer. PS, mega points to whoever claimed to know BNF, and also to whoever made the George Cantor post. Also mega points to the creator for using the handle "AlanT".
I am 'GeorgCantor'... I couldn't resist because Gödel's reply seemed lame. He just assumed the undecidability and used it to bang on about his own ideas.
Earlier quoted context omitted.
I understand your point, but overuse of the word "offensive" offends me.
There was absolutely no need to name those countries. As somebody said before, the funny thing about racial privilege is how hard it is to see when one is the beneficiary of it .
Earlier quoted context omitted.
I understand your point, but overuse of the word "offensive" offends me.
There was absolutely no need to name those countries. As somebody said before, the funny thing about racial privilege is how hard it is to see when one is the beneficiary of it .
If I go to McDonalds and have a bad burger then I'm sure going to remember it. In fact if the topic comes up I'll probably tell people "Don't eat at McDonalds, they make bad burgers".
How is stating ones past experience in any way racist?
Earlier quoted context omitted.
I am 'GeorgCantor'... I couldn't resist because Gödel's reply seemed lame. He just assumed the undecidability and used it to bang on about his own ideas.
Well Cantor's diagonalization doesn't have anything to do with it either.
In Turing's paper "On computable numbers, with an application to the Entscheidungsproblem" he makes direct reference to diagonalization arguments (section 8 "Application of the diagonal process") alluding to the proof that the real numbers are not enumerable.
His proof then relies on a diagonal argument.