*This cannot be understood outside of the philosophy of logic*
Most importantly analytical truthmaker theory must be understood.
*This is true by definition* Within the body of analytical truth of the analytic/synthetic distinction every element of the body of analytic knowledge (BOAK) is true entirely on the basis of its connection to the semantic meanings that make it true.
This proves that Gödel's 1931 Incompleteness and Tarski's Undefinability Theorem cannot apply to the body of analytical knowledge (BOAK). Lacking
this connection excludes an expression from the BOAK, thus undecidable expressions cannot exist within the BOAK.
True(x) is defined by the above, within the BOAK thus refuting Tarski.
Every element of the BOAK has a provability connection to its semantic meanings truthmaker within the BOAK thus refuting both Tarski and Gödel
that say this cannot correctly and consistently accomplished.
*This is similar to Wittgenstein* https://www.liarparadox.org/Wittgenstein.pdf
*This cannot be understood outside of the philosophy of logic*
Most importantly analytical truthmaker theory must be understood.
*This is true by definition* Within the body of analytical truth of the analytic/synthetic distinction every element of the body of analytic knowledge (BOAK) is true entirely on the basis of its connection to the semantic meanings that make it true.
This proves that Gödel's 1931 Incompleteness and Tarski's Undefinability Theorem cannot apply to the body of analytical knowledge (BOAK). Lacking
this connection excludes an expression from the BOAK, thus undecidable expressions cannot exist within the BOAK.
True(x) is defined by the above, within the BOAK thus refuting Tarski.
Every element of the BOAK has a provability connection to its semantic meanings truthmaker within the BOAK thus refuting both Tarski and Gödel
that say this cannot correctly and consistently accomplished.
*This is similar to Wittgenstein* https://www.liarparadox.org/Wittgenstein.pdf
On 12/23/2023 10:59 AM, olcott wrote:
*This cannot be understood outside of the philosophy of logic*
Most importantly analytical truthmaker theory must be understood.
*This is true by definition* Within the body of analytical truth of the
analytic/synthetic distinction every element of the body of analytic
knowledge (BOAK) is true entirely on the basis of its connection to the
semantic meanings that make it true.
This proves that Gödel's 1931 Incompleteness and Tarski's Undefinability
Theorem cannot apply to the body of analytical knowledge (BOAK). Lacking
this connection excludes an expression from the BOAK, thus undecidable
expressions cannot exist within the BOAK.
True(x) is defined by the above, within the BOAK thus refuting Tarski.
Every element of the BOAK has a provability connection to its semantic
meanings truthmaker within the BOAK thus refuting both Tarski and Gödel
that say this cannot correctly and consistently accomplished.
*This is similar to Wittgenstein*
https://www.liarparadox.org/Wittgenstein.pdf
To the extent that truths require infinite proofs such as
the Goldbach conjecture they are excluded from the BOAK
because their truth value remains unknown thus are not knowledge.
We know that the GC is true or false, yet do not know which.
Anything that cannot be proven or refuted from the axioms of
BOAK is defined as not a member of BOAK. This prevents
the Gödel's 1931 Incompleteness and Tarski's Undefinability
from applying to the BOAK.
*This cannot be understood outside of the philosophy of logic*
On 12/23/23 17:59, olcott wrote:
*This cannot be understood outside of the philosophy of logic*
Then don't post it to comp.theory.
On 12/23/2023 3:06 PM, immibis wrote:
On 12/23/23 17:59, olcott wrote:
*This cannot be understood outside of the philosophy of logic*
Then don't post it to comp.theory.
This also equally applies to computability.
Some of the basic concepts of computability
have incoherence hard-wired into them.
For example three computer scientists essentiallyI suspect that you don't understand what they are saying,
agree that the halting problem is essentially
a self-contradictory (thus incorrect) question.
They use different yet equivalent terminology.
The lead author of these three specifically agrees
that the halting problem <is> an incorrect question.
On 12/23/2023 3:06 PM, immibis wrote:
On 12/23/23 17:59, olcott wrote:
*This cannot be understood outside of the philosophy of logic*
Then don't post it to comp.theory.
This also equally applies to computability.
Some of the basic concepts of computability
have incoherence hard-wired into them.
For example three computer scientists essentially
agree that the halting problem is essentially
a self-contradictory (thus incorrect) question.
On 12/23/23 23:21, olcott wrote:
On 12/23/2023 3:06 PM, immibis wrote:
On 12/23/23 17:59, olcott wrote:
*This cannot be understood outside of the philosophy of logic*
Then don't post it to comp.theory.
This also equally applies to computability.
Some of the basic concepts of computability
have incoherence hard-wired into them.
For example three computer scientists essentially
agree that the halting problem is essentially
a self-contradictory (thus incorrect) question.
Anyone can find three idiots.
On 12/23/23 23:21, olcott wrote:
On 12/23/2023 3:06 PM, immibis wrote:
On 12/23/23 17:59, olcott wrote:
*This cannot be understood outside of the philosophy of logic*
Then don't post it to comp.theory.
This also equally applies to computability.
Some of the basic concepts of computability
have incoherence hard-wired into them.
For example three computer scientists essentially
agree that the halting problem is essentially
a self-contradictory (thus incorrect) question.
Anyone can find three idiots.
On 12/24/2023 4:42 AM, immibis wrote:
On 12/23/23 23:21, olcott wrote:
On 12/23/2023 3:06 PM, immibis wrote:
On 12/23/23 17:59, olcott wrote:
*This cannot be understood outside of the philosophy of logic*
Then don't post it to comp.theory.
This also equally applies to computability.
Some of the basic concepts of computability
have incoherence hard-wired into them.
For example three computer scientists essentially
agree that the halting problem is essentially
a self-contradictory (thus incorrect) question.
Anyone can find three idiots.
The halting problem <is> a self-contradictory thus incorrect question
when posed to termination analyzer H with input D.
When posed to termination analyzer H1 with input D the question has a different meaning thus is a different question.
Linguistics understands that the same word-for-word question can
have an entirely different meaning based on the linguistic
context of who is asked.
As a concrete example the question:
"Are you a little girl?"
has different correct answers depending on who is asked.
Le 24/12/2023 à 16:20, olcott a écrit :
On 12/24/2023 4:42 AM, immibis wrote:
On 12/23/23 23:21, olcott wrote:
On 12/23/2023 3:06 PM, immibis wrote:
On 12/23/23 17:59, olcott wrote:
*This cannot be understood outside of the philosophy of logic*
Then don't post it to comp.theory.
This also equally applies to computability.
Some of the basic concepts of computability
have incoherence hard-wired into them.
For example three computer scientists essentially
agree that the halting problem is essentially
a self-contradictory (thus incorrect) question.
Anyone can find three idiots.
The halting problem <is> a self-contradictory thus incorrect question
when posed to termination analyzer H with input D.
When posed to termination analyzer H1 with input D the question has a
different meaning thus is a different question.
Linguistics understands that the same word-for-word question can
have an entirely different meaning based on the linguistic
context of who is asked.
As a concrete example the question:
"Are you a little girl?"
has different correct answers depending on who is asked.
https://www.ketv.com/article/man-believed-child-porn-was-legal-because-he-was-god-authorities-say/7652218
A 60-year-old Sarpy County man accused of possessing child pornography
said he thought it was legal because he believed that he was God, court documents show.
Members of the Papillion Police Department executed a search warrant in March at Peter Olcott Jr.'s home as part of a narcotics investigation. During the search, officers found three boxes filled with child
pornography, according to court documents. Investigators reportedly
seized 30 VHS tapes of suspected child pornography and more than 100 magazines and pictures of child pornography.
According to court documents, Olcott told investigators that he believed
the images were legal as defined by the Supreme Court. Olcott also said
he believed that possession of the images was legal because he was God, court documents said.
Olcott is charged with one felony count of possession of child
pornography. He waived his preliminary hearing Tuesday in Sarpy County,
and his bond was set at $200,000.
The case now heads to district court for trial. Olcott's next court appearance is scheduled for May 4.
On 12/24/2023 4:42 AM, immibis wrote:
On 12/23/23 23:21, olcott wrote:
On 12/23/2023 3:06 PM, immibis wrote:
On 12/23/23 17:59, olcott wrote:
*This cannot be understood outside of the philosophy of logic*
Then don't post it to comp.theory.
This also equally applies to computability.
Some of the basic concepts of computability
have incoherence hard-wired into them.
For example three computer scientists essentially
agree that the halting problem is essentially
a self-contradictory (thus incorrect) question.
Anyone can find three idiots.
Zero idiots can become PhD computer science professors.
On 12/24/2023 4:42 AM, immibis wrote:
On 12/23/23 23:21, olcott wrote:
On 12/23/2023 3:06 PM, immibis wrote:
On 12/23/23 17:59, olcott wrote:
*This cannot be understood outside of the philosophy of logic*
Then don't post it to comp.theory.
This also equally applies to computability.
Some of the basic concepts of computability
have incoherence hard-wired into them.
For example three computer scientists essentially
agree that the halting problem is essentially
a self-contradictory (thus incorrect) question.
Anyone can find three idiots.
The halting problem <is> a self-contradictory thus incorrect question
when posed to termination analyzer H with input D.
When posed to termination analyzer H1 with input D the question has a different meaning thus is a different question.
Linguistics understands that the same word-for-word question can
have an entirely different meaning based on the linguistic
context of who is asked.
As a concrete example the question:
"Are you a little girl?"
has different correct answers depending on who is asked.
H and H1 and D are shown in this source-code https://github.com/plolcott/x86utm/blob/master/Halt7.c>
On 12/24/2023 10:04 AM, Python wrote:
Le 24/12/2023 à 16:20, olcott a écrit :
On 12/24/2023 4:42 AM, immibis wrote:
On 12/23/23 23:21, olcott wrote:
On 12/23/2023 3:06 PM, immibis wrote:
On 12/23/23 17:59, olcott wrote:
*This cannot be understood outside of the philosophy of logic*
Then don't post it to comp.theory.
This also equally applies to computability.
Some of the basic concepts of computability
have incoherence hard-wired into them.
For example three computer scientists essentially
agree that the halting problem is essentially
a self-contradictory (thus incorrect) question.
Anyone can find three idiots.
The halting problem <is> a self-contradictory thus incorrect question
when posed to termination analyzer H with input D.
When posed to termination analyzer H1 with input D the question has a
different meaning thus is a different question.
Linguistics understands that the same word-for-word question can
have an entirely different meaning based on the linguistic
context of who is asked.
As a concrete example the question:
"Are you a little girl?"
has different correct answers depending on who is asked.
https://www.ketv.com/article/man-believed-child-porn-was-legal-because-he-was-god-authorities-say/7652218
A 60-year-old Sarpy County man accused of possessing child pornography
said he thought it was legal because he believed that he was God,
court documents show.
Members of the Papillion Police Department executed a search warrant
in March at Peter Olcott Jr.'s home as part of a narcotics
investigation. During the search, officers found three boxes filled
with child pornography, according to court documents. Investigators
reportedly seized 30 VHS tapes of suspected child pornography and more
than 100 magazines and pictures of child pornography.
According to court documents, Olcott told investigators that he
believed the images were legal as defined by the Supreme Court. Olcott
also said he believed that possession of the images was legal because
he was God, court documents said.
Olcott is charged with one felony count of possession of child
pornography. He waived his preliminary hearing Tuesday in Sarpy
County, and his bond was set at $200,000.
The case now heads to district court for trial. Olcott's next court
appearance is scheduled for May 4.
Case dismissed November 17, 2016
Ad Hominem does not count as a rebuttal.
The halting problem <is> a self-contradictory thus incorrect question
when posed to termination analyzer H with input D.
When posed to termination analyzer H1 with input D the question has a different meaning thus is a different question.
Linguistics understands that the same word-for-word question can
have an entirely different meaning based on the linguistic
context of who is asked.
As a concrete example the question:
"Are you a little girl?"
has different correct answers depending on who is asked.
H and H1 and D are shown in this source-code https://github.com/plolcott/x86utm/blob/master/Halt7.c
https://www.ketv.com/article/man-believed-child-porn-was-legal-because-he-was-god-authorities-say/7652218
A 60-year-old Sarpy County man accused of possessing child pornography
said he thought it was legal because he believed that he was God, court documents show.
Members of the Papillion Police Department executed a search warrant in March at Peter Olcott Jr.'s home as part of a narcotics investigation. During the search, officers found three boxes filled with child
pornography, according to court documents. Investigators reportedly
seized 30 VHS tapes of suspected child pornography and more than 100 magazines and pictures of child pornography.
According to court documents, Olcott told investigators that he believed
the images were legal as defined by the Supreme Court. Olcott also said
he believed that possession of the images was legal because he was God, court documents said.
Olcott is charged with one felony count of possession of child
pornography. He waived his preliminary hearing Tuesday in Sarpy County,
and his bond was set at $200,000.
The case now heads to district court for trial. Olcott's next court appearance is scheduled for May 4.
On 12/24/23 17:04, Python wrote:
https://www.ketv.com/article/man-believed-child-porn-was-legal-because-he-was-god-authorities-say/7652218
A 60-year-old Sarpy County man accused of possessing child pornography
said he thought it was legal because he believed that he was God,
court documents show.
Members of the Papillion Police Department executed a search warrant
in March at Peter Olcott Jr.'s home as part of a narcotics
investigation. During the search, officers found three boxes filled
with child pornography, according to court documents. Investigators
reportedly seized 30 VHS tapes of suspected child pornography and more
than 100 magazines and pictures of child pornography.
According to court documents, Olcott told investigators that he
believed the images were legal as defined by the Supreme Court. Olcott
also said he believed that possession of the images was legal because
he was God, court documents said.
Olcott is charged with one felony count of possession of child
pornography. He waived his preliminary hearing Tuesday in Sarpy
County, and his bond was set at $200,000.
The case now heads to district court for trial. Olcott's next court
appearance is scheduled for May 4.
Geo-blocked. This can't be the same Peter Olcott... can it? This one
doesn't call himself God.
Sysop: | DaiTengu |
---|---|
Location: | Appleton, WI |
Users: | 994 |
Nodes: | 10 (0 / 10) |
Uptime: | 97:33:40 |
Calls: | 13,016 |
Calls today: | 2 |
Files: | 186,574 |
Messages: | 3,282,103 |