You are viewing the historical archive of The Philosophy Forum.
For current discussions, visit the live forum.
Go to live forum

PL Olcott

Comments

That is an excellent example.
October 27, 2023 at 18:12
In the court of law dishonest dodges and deceit land you in jail. Judge to Bill: Did you murder Mary or not? Bill: What even does the word "murder" me...
October 27, 2023 at 15:10
https://teflpedia.com/Polar_question If you are in a courtroom and asked a yes/no question and fail to answer with a yes/no answer you could be cited ...
October 27, 2023 at 14:16
When an incorrect question is defined as any question lacking a correct answer because there is something wrong with the question, the the question Wh...
October 26, 2023 at 23:14
I brought these same ideas up in the logic forum and they stopped getting any replies. I am referring to the subset of expressions of language that ei...
October 26, 2023 at 17:52
The term {bad} has too much subjective leeway of interpretation compared {incorrect} that hss no subjective leeway. "something wrong" also seems a lit...
October 26, 2023 at 17:40
So the question: What time is it (yes or no)? can be answered with a ratio?
October 26, 2023 at 17:21
His point was that a thing requiring mutually exclusive properties cannot exist. Do colorless green ideas sleep furiously? No they do not.
October 26, 2023 at 17:20
No, one merely provides the algorithm for obtaining this value.
October 26, 2023 at 16:33
Every yes/no question only has {yes, no} as a correct answer. Every yes/no defined such that no {yes, no} answer exists is probably an incorrect yes/n...
October 26, 2023 at 16:32
I accepted your answer. You cited many more good examples.
October 26, 2023 at 15:33
One of the people doing primary research into the mathematical formalization of natural language called Montague Grammar proposed that questions are s...
October 26, 2023 at 15:06
Logical possibilities are all the statements that cannot be proven false entirely on the basis of the meaning of their words. Here is a very strange l...
October 24, 2023 at 15:12
Impossible worlds is the exact same concept as logically impossible. is contrast wth and covers every expression of language that is proved to be impo...
October 24, 2023 at 03:17
That was a very apt cite.
October 23, 2023 at 21:56
Logically impossible is the strongest kind of impossible. A thing that is required to have simultaneous mutually exclusive properties like a square ci...
October 23, 2023 at 03:53
That a PhD computer science professor of decades has his own proof of this and agrees that my proof is correct provides sufficiently compelling eviden...
October 23, 2023 at 03:15
I have a completely different proof that shows every single detail of how H does correctly determine the halt status of the impossible input.
October 23, 2023 at 03:11
Like always there is no sense publishing anything until some people understand that the words are correct. There are now two people in the world that ...
October 23, 2023 at 03:07
When the halting problem is defined such that solving it is logically impossible then we reject this problem definition as unsound for the same reason...
October 23, 2023 at 01:38
We also cannot correctly determine the square root of a stack of pancakes. Logical impossibilities never create actual limits. Logical impossibilities...
October 23, 2023 at 01:07
You did not pay attention to the words that were targeted for you: This key point mostly uses ordinary words. The inability to do the logically imposs...
October 23, 2023 at 00:36
I just totally proved my whole point if and only if you fully understand all of its words. I have to write them so that computer programmers and compu...
October 23, 2023 at 00:01
These words may be a little too technical for you. It seems that everyone agrees with this: (a) When the halting problem is defined with a program spe...
October 22, 2023 at 23:36
My H simulates its D until it can see that D keeps calling H in recursive simulation. Then it aborts this simulation and returns 0 for non-halting. Pa...
October 22, 2023 at 22:55
That depends on what your H does and you didn't say. I have spent two full time years making the x86utm operating system so that I could make a real H...
October 22, 2023 at 21:48
I keep trying to make my words more clear. That a PhD computer science professor perfectly agrees with my exact words provides a subtantial weight of ...
October 22, 2023 at 21:27
When a human is asked a question that is defined to have no correct answer such as: What time it is (yes or no)? we know to reject the question and no...
October 22, 2023 at 15:34
That is all that it takes to determine that the halting problem as defined is invalid. Another logically impossible problem is making a CAD system tha...
October 21, 2023 at 13:59
So you can't see that the fact that Z does the opposite of whatever H says makes saying the correct thing a logical impossibility for H?
October 21, 2023 at 02:35
When I ask you the question: What time is it (yes or no)? it is dead obvious that your inability to provide a correct answer is not your fault it is t...
October 20, 2023 at 22:39
To all decision problem definitions. https://en.wikipedia.org/wiki/Reductio_ad_absurdum Finds the logical impossibility thus is fine. When it finds a ...
October 20, 2023 at 22:24
Yes this applies generally. The undecidability of all undecidable decision problems is always anchored a the requirement to satisfy a logical impossib...
October 20, 2023 at 22:14
The flaw is that the whole notion of decision problem undecidability is inherently flawed in that it requires the logically impossible. Every undecida...
October 20, 2023 at 21:58
The whole concept of decision problem undecidability is fatally flawed because it requires satisfying a logically impossible requirement. Instead of d...
October 20, 2023 at 21:21
An agument cannot possibly be valid if it contains a fatal flaw. When-so-ever any decision problem requires the logically impossible this decision pro...
October 20, 2023 at 20:51
When it is understood that requiring the logically impossible is an invalid requirement then the whole notion of undecidability is shown to be incoher...
October 20, 2023 at 20:46
Yes and likewise for any problem definition that requires the logically impossible. When we simply drop the requirement that termination analyzer H re...
October 20, 2023 at 20:35
When a problem definition requires a logical impossibility then it is the problem definition that must be rejected.
October 20, 2023 at 20:29
When the definition of the halting problem results in requirement that cannot be met because this requirement is a logical impossibility it is this pr...
October 20, 2023 at 20:24
I did not provided 100% of all of the details of the mathematical definition of a square and a circle so that people having zero knowledge of math wou...
October 20, 2023 at 18:13
I am trying to form a concrete example of the logically impossible changing the subject to the not logically impossible is a strawman rebuttal.
October 20, 2023 at 17:06
I am not talking about squaring a circle I am talking about drawing a circle that <is> a square thus not a circle. It must be in the same two dimensio...
October 20, 2023 at 15:59
I am talking about creating a perfectly round thing that cannot be round because it has four equal length sides, thus a logically impossible square ci...
October 20, 2023 at 04:12
The key error that I and Professor demonstrated that the inability of solving the halting problem is the same as the inability for a CAD system to cor...
October 19, 2023 at 04:08
Once this is understood to be true (1) The inability to do the logically impossible never places any actual limits on anyone or anything (2) then the ...
October 19, 2023 at 03:10
Yes everyone that does not pay complete attention makes sure that they never understand what is said. I will sum up the point much much more concisely...
October 19, 2023 at 02:51
If that was true then professor Hehner would not have totally agreed with me today. I am thinking the the problem is that I assumed you had more techn...
October 19, 2023 at 02:24
Isomorphic means <same kind of thing>. Carol's question for Carol and input D to decider H are the exact <same kind of thing>. In both cases their que...
October 19, 2023 at 02:14
The best that I can tell is that Z is an incorrect sloppy mess that has no actual name and no return value. Do you not know C? On the other hand D and...
October 19, 2023 at 02:01