On 4/18/24 10:53 AM, olcott wrote:
On 4/17/2024 9:34 PM, olcott wrote:
...14 Every epistemological antinomy can likewise be used for a similar
undecidability proof...(Gödel 1931:43-44)
*Parphrased as*
Every expression X that cannot possibly be true or false proves that the >>> formal system F cannot correctly determine whether X is true or false.
Which shows that X is undecidable in F.
Which shows that F is incomplete, even though X cannot possibly be a
proposition in F because propositions must be true or false.
A proposition is a central concept in the philosophy of language,
semantics, logic, and related fields, often characterized as the primary >>> bearer of truth or falsity.
https://en.wikipedia.org/wiki/Proposition
I posted this here to establish priority date. I already have
another person on a different forum that fully understands what
I am saying and are publishing my ideas as their own.
Why do you need "priority" to a LIE?
On 2024-04-18 22:33:03 +0000, Richard Damon said:
On 4/18/24 10:53 AM, olcott wrote:
On 4/17/2024 9:34 PM, olcott wrote:
...14 Every epistemological antinomy can likewise be used for a similar >>>> undecidability proof...(Gödel 1931:43-44)
*Parphrased as*
Every expression X that cannot possibly be true or false proves that
the
formal system F cannot correctly determine whether X is true or false. >>>> Which shows that X is undecidable in F.
Which shows that F is incomplete, even though X cannot possibly be a
proposition in F because propositions must be true or false.
A proposition is a central concept in the philosophy of language,
semantics, logic, and related fields, often characterized as the
primary
bearer of truth or falsity.
https://en.wikipedia.org/wiki/Proposition
I posted this here to establish priority date. I already have
another person on a different forum that fully understands what
I am saying and are publishing my ideas as their own.
Why do you need "priority" to a LIE?
To produce a lie requires a creative action that is not needed to
produce a truth, which may have be significant for copyright.
On 4/19/2024 6:12 AM, Richard Damon wrote:
On 4/19/24 3:48 AM, Mikko wrote:
On 2024-04-18 22:33:03 +0000, Richard Damon said:
On 4/18/24 10:53 AM, olcott wrote:
On 4/17/2024 9:34 PM, olcott wrote:
...14 Every epistemological antinomy can likewise be used for a
similar
undecidability proof...(Gödel 1931:43-44)
*Parphrased as*
Every expression X that cannot possibly be true or false proves
that the
formal system F cannot correctly determine whether X is true or
false.
Which shows that X is undecidable in F.
Which shows that F is incomplete, even though X cannot possibly be a >>>>>> proposition in F because propositions must be true or false.
A proposition is a central concept in the philosophy of language,
semantics, logic, and related fields, often characterized as the
primary
bearer of truth or falsity.
https://en.wikipedia.org/wiki/Proposition
I posted this here to establish priority date. I already have
another person on a different forum that fully understands what
I am saying and are publishing my ideas as their own.
Why do you need "priority" to a LIE?
To produce a lie requires a creative action that is not needed to
produce a truth, which may have be significant for copyright.
True, but he has made that same incorrect statement many times in the
past, so reposting doesn't add to his "priority".
It is not an incorrect statement.
Undecidability
The non-existence of an algorithm or the impossibility of proving or disproving a statement within a formal system. https://encyclopediaofmath.org/wiki/Undecidability#:~:text=The%20non%2Dexistence%20of%20an,statement%20within%20a%20formal%20system.
On 4/18/2024 8:58 PM, Richard Damon wrote:
Godel's proof you are quoting from had NOTHING to do with undecidability,
*Mendelson (and everyone that knows these things) disagrees*
https://sistemas.fciencias.unam.mx/~lokylog/images/Notas/la_aldea_de_la_logica/Libros_notas_varios/L_02_MENDELSON,%20E%20-%20Introduction%20to%20Mathematical%20Logic,%206th%20Ed%20-%20CRC%20Press%20(2015).pdf
| Sysop: | Keyop |
|---|---|
| Location: | Huddersfield, West Yorkshire, UK |
| Users: | 307 |
| Nodes: | 16 (2 / 14) |
| Uptime: | 45:11:43 |
| Calls: | 6,910 |
| Files: | 12,376 |
| Messages: | 5,429,356 |