Sujet : Re: Defining a correct halting decidability decider
De : python (at) *nospam* invalid.org (Python)
Groupes : comp.theoryDate : 08. Aug 2024, 14:27:46
Autres entêtes
Organisation : CCCP
Message-ID : <v92h4i$3srn5$23@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla Thunderbird
Le 08/08/2024 à 15:21, Peter Olcott a écrit :
...
*Semantic property of well-behaved is decided for input*
It the program well behaved thus halts?
else The program is not well behaved.
"well behaved" is not a property of programes or Turing Machines.
"well behaved" is a property of human beings that YOU do not have.
You lie, you deceive, you abuse, you commit blasphemy in courts and
collect child pornography [this is documented].
As a bigot you believe that this can bring you to Hell.
Fortunately there is no God, no Hell, so you'll just vanished into
oblivion.
| Date | Sujet | # | | Auteur |
| 4 Aug 24 |  Defining a correct halt decider | 67 | | olcott |
| 4 Aug 24 |  Re: Defining a correct halt decider | 45 | | Richard Damon |
| 4 Aug 24 |   Re: Defining a correct halting decidability decider | 44 | | olcott |
| 4 Aug 24 |  Re: Defining a correct halting decidability decider | 43 | | Richard Damon |
| 4 Aug 24 | Re: Defining a correct halting decidability decider | 42 | | olcott |
| 4 Aug 24 | Re: Defining a correct halting decidability decider | 20 | | Richard Damon |
| 4 Aug 24 | Re: Defining a correct halting decidability decider | 19 | | olcott |
| 4 Aug 24 | Re: Defining a correct halting decidability decider | 18 | | Richard Damon |
| 4 Aug 24 | Re: Defining a correct halting decidability decider | 17 | | olcott |
| 5 Aug 24 | Re: Defining a correct halting decidability decider | 16 | | Richard Damon |
| 5 Aug 24 | Re: Defining a correct halting decidability decider | 15 | | olcott |
| 5 Aug 24 | Re: Defining a correct halting decidability decider | 14 | | Richard Damon |
| 5 Aug 24 | Re: Defining a correct halting decidability decider | 13 | | olcott |
| 5 Aug 24 | Re: Defining a correct halting decidability decider | 12 | | Richard Damon |
| 5 Aug 24 | Re: Defining a correct halting decidability decider | 11 | | olcott |
| 5 Aug 24 | Re: Defining a correct halting decidability decider | 10 | | Richard Damon |
| 5 Aug 24 | You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 9 | | olcott |
| 5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 8 | | Richard Damon |
| 5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 7 | | olcott |
| 5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 6 | | Richard Damon |
| 5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 5 | | olcott |
| 5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 4 | | Richard Damon |
| 5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 3 | | wij |
| 5 Aug 24 | Re: You still seem too dishonest to admit that DDD correctly emulated by any HHH cannot possibly reach its own ,"return" instruction | 2 | | olcott |
| 6 Aug 24 |  Re: Olcott still seems too dishonest to admit that his HHH doesn't correctly emulate DDD | 1 | | Richard Damon |
| 7 Aug 24 | Re: Defining a correct halting decidability decider | 21 | | Mikko |
| 7 Aug 24 | Re: Defining a correct halting decidability decider | 20 | | olcott |
| 8 Aug 24 | Re: Defining a correct halting decidability decider (Which isn't a valid criteria for a decider) | 1 | | Richard Damon |
| 8 Aug 24 | Re: Defining a correct halting decidability decider | 18 | | Mikko |
| 8 Aug 24 | Re: Defining a correct halting decidability decider | 17 | | olcott |
| 8 Aug 24 | Re: Defining a correct halting decidability decider | 4 | | Python |
| 8 Aug 24 | Re: Defining a correct halting decidability decider | 3 | | olcott |
| 9 Aug 24 | Re: Defining a correct halting decidability decider | 1 | | Richard Damon |
| 9 Aug 24 | Re: Defining a correct halting decidability decider | 1 | | Python |
| 9 Aug 24 | Re: Defining a correct halting decidability decider | 1 | | Richard Damon |
| 9 Aug 24 | Re: Defining a correct halting decidability decider | 11 | | Mikko |
| 9 Aug 24 | Re: Defining a correct halting decidability decider | 10 | | olcott |
| 10 Aug 24 | Re: Defining a correct halting decidability decider | 1 | | Richard Damon |
| 10 Aug 24 | Re: Defining a correct halting decidability decider | 8 | | Mikko |
| 10 Aug 24 | Re: Defining a correct halting decidability decider | 7 | | olcott |
| 10 Aug 24 | Re: Defining a correct halting decidability decider | 3 | | Richard Damon |
| 10 Aug 24 | Re: Defining a correct halting decidability decider | 2 | | olcott |
| 10 Aug 24 | Re: Defining a correct halting decidability decider | 1 | | Richard Damon |
| 11 Aug 24 | Re: Defining a correct halting decidability decider | 3 | | Mikko |
| 11 Aug 24 | Re: Defining a correct halting decidability decider | 2 | | olcott |
| 11 Aug 24 | Re: Defining a correct halting decidability decider | 1 | | Richard Damon |
| 5 Aug 24 | Re: Defining a correct halt decider | 21 | | Mikko |
| 5 Aug 24 | I call it a halting decidability decider | 20 | | olcott |
| 5 Aug 24 | Re: I call it a halting decidability decider | 14 | | Python |
| 5 Aug 24 | Re: I call it a halting decidability decider | 13 | | olcott |
| 6 Aug 24 | Re: I call it a halting decidability decider, and thus isn't actually a computability decider. | 5 | | Richard Damon |
| 6 Aug 24 | Re: I call it a halting decidability decider, and thus isn't actually a computability decider. | 4 | | olcott |
| 6 Aug 24 | Re: I call it a halting decidability decider, and thus isn't actually a computability decider. | 3 | | Richard Damon |
| 6 Aug 24 | Re: I call it a halting decidability decider, and thus isn't actually a computability decider. | 2 | | olcott |
| 6 Aug 24 | Re: I call it a halting decidability decider, and thus isn't actually a computability decider. | 1 | | Richard Damon |
| 7 Aug 24 | Re: I call it a halting decidability decider | 7 | | Mikko |
| 7 Aug 24 | HHH decides a non-trivial semantic property of its input | 6 | | olcott |
| 8 Aug 24 | Re: HHH decides a trivial semantic non-property of its input | 1 | | Richard Damon |
| 8 Aug 24 | Re: HHH decides a non-trivial semantic property of its input | 3 | | Mikko |
| 8 Aug 24 | Re: HHH decides a non-trivial semantic property of its input | 2 | | olcott |
| 9 Aug 24 | Re: HHH decides a non-trivial semantic property of its input | 1 | | Richard Damon |
| 8 Aug 24 | Re: HHH decides a trivial non-semantic non-property of its input | 1 | | Richard Damon |
| 6 Aug 24 | Re: I call it a halting decidability decider, and thus doesn't say anything about the halting problem | 1 | | Richard Damon |
| 7 Aug 24 | Re: I call it a halting decidability decider | 4 | | Mikko |
| 7 Aug 24 | Re: I call it a halting decidability decider | 3 | | olcott |
| 8 Aug 24 | Re: I call it a halting decidability decider | 1 | | Richard Damon |
| 8 Aug 24 | Re: I call it a halting decidability decider | 1 | | Mikko |