Re: The philosophy of logic reformulates existing ideas on a new basis ---

Liste des GroupesRevenir à theory 
Sujet : Re: The philosophy of logic reformulates existing ideas on a new basis ---
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 08. Nov 2024, 17:21:55
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vgldr3$38uph$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Mozilla Thunderbird
On 11/8/2024 10:02 AM, Alan Mackenzie wrote:
olcott <polcott333@gmail.com> wrote:
On 11/8/2024 9:05 AM, Alan Mackenzie wrote:
olcott <polcott333@gmail.com> wrote:
On 11/8/2024 5:58 AM, Alan Mackenzie wrote:
 [ .... ]
 
And you are continually stating that theorems like 2 + 2 = 4 are false.
 
That is a lie. I never said anything like that and you know it.
 
Now who's lying?  You have frequently denied the truth of proven
mathematical facts like 2 + 2 = 4.
 
Never and you are a damned (going to actual Hell) liar for
saying so.
 Hahahaha!  There is no actual Hell.
 Let me repeat: you have frequently denied the truth of proven
mathematical facts like 2 + 2 = 4.
 
As I have continually made clear in
my posts "like 2 + 2 = 4" includes the halting theorem, Gödel's theorem,
and Tarski's theorem.
 
Your misconceptions are not my errors.
 It is you who has misconceptions, evident to all in this newsgroup who
have studied the subject.
 
My "mistakes" are merely the presumption that the current
received view of these things is infallible.

You cannot possibly prove that they are infallible
that best that you can show is that you believe they
are infallible.
 Here is where your lack of expertise shows itself.  All the above
theorems have been proven beyond any doubt.
Within their faulty foundations.
In the same way that naive set theory was a faulty foundation.
It was not initially called naive set theory. It was only called
that when someone noticed its error.

 In that respect they are all
like 2 + 2 = 4.  But you're right in a sense.  I couldn't personally
prove these things any more; but I know where to go to find the proofs.
And I don't "believe they are infallible"; I've studied, understood, and
checked proofs that they are true.
 
OK good some honesty.

Here is what I actually said:
 
When the operations are limited to applying truth preserving
operations to expressions of language that are stipulated to
be true then
True(L,x) ≡ (L ⊢ x) and False(L, x) ≡ (L ⊢ ~x)
 
Then
(Incomplete(L) ≡  ∃x ∈ Language(L) ((L ⊬ x) ∧ (L ⊬ ¬x)))
becomes
(¬TruthBearer(L,x) ≡  ∃x ∈ Language(L) ((L ⊬ x) ∧ (L ⊬ ¬x)))
Incompleteness utterly ceases to exist
 
Incompleteness is an essential property of logic systems
 
Rejecting what I say out-of-hand on the basis that you don't
believe what I say is far far less than no rebuttal at all.
 As I said, it's not a matter of "belief".  It's a matter of certain
knowledge stemming from having studied for and having a degree in maths.
You understand what the received view is.
My view is inconsistent with the received view therefore
(when one assumes that the received view is infallible)
I must be wrong.

I reject what you say because it's objectively wrong.  Just as if you
said 2 + 2 = 5.
 
What I said about is a semantic tautology just like
2 + 3 = 5. Formal systems are only incomplete when
the term "incomplete" is a euphemism for the inability
of formal systems to correctly determine the truth
value of non-truth-bearers.
 No.  You lack the expertise.
 
I know how the current systems work and I disagree
that they are correct. This is not any lack of expertise.
As you already admitted you don't understand these
things well enough to even see what I am saying.
Truth preserving operations applied to known truths is an
airtight system where incompleteness and undecidability
cannot possibly enter.

which can do anything at all.  If what you assert is true (which I
doubt), then your system would be incapable of doing anything useful.
 
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
 
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
27 Oct 24 * The philosophy of computation reformulates existing ideas on a new basis ---588olcott
27 Oct 24 `* Re: The philosophy of computation reformulates existing ideas on a new basis ---587Richard Damon
28 Oct 24  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---586olcott
28 Oct 24   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---585Richard Damon
28 Oct 24    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---584olcott
28 Oct 24     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---583Richard Damon
28 Oct 24      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---582olcott
29 Oct 24       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---581Richard Damon
29 Oct 24        +* Re: The philosophy of computation reformulates existing ideas on a new basis ---466olcott
29 Oct 24        i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
29 Oct 24        i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---464Mikko
29 Oct 24        i +* Re: The philosophy of computation reformulates existing ideas on a new basis ---270olcott
29 Oct 24        i i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---242Andy Walker
29 Oct 24        i ii+* Re: The philosophy of computation reformulates existing ideas on a new basis ---9olcott
29 Oct 24        i iii+* Re: The philosophy of computation reformulates existing ideas on a new basis ---7joes
29 Oct 24        i iiii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---6olcott
30 Oct 24        i iiii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---5Richard Damon
30 Oct 24        i iiii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---4olcott
30 Oct 24        i iiii   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---3Richard Damon
30 Oct 24        i iiii    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
31 Oct 24        i iiii     `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i iii`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i ii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---232Jeff Barnett
30 Oct 24        i ii +* Re: The philosophy of computation reformulates existing ideas on a new basis ---4olcott
30 Oct 24        i ii i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---3Richard Damon
30 Oct 24        i ii i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
31 Oct 24        i ii i  `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i ii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---227Andy Walker
30 Oct 24        i ii  +* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
31 Oct 24        i ii  i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
31 Oct 24        i ii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---224Mikko
31 Oct 24        i ii   +* Re: The philosophy of computation reformulates existing ideas on a new basis ---3olcott
1 Nov 24        i ii   i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
1 Nov 24        i ii   i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
31 Oct 24        i ii   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---220Andy Walker
31 Oct 24        i ii    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---219olcott
1 Nov 24        i ii     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---218Richard Damon
1 Nov 24        i ii      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---217olcott
1 Nov 24        i ii       +* Re: The philosophy of computation reformulates existing ideas on a new basis ---207olcott
1 Nov 24        i ii       i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---205Mikko
1 Nov 24        i ii       ii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---204olcott
2 Nov 24        i ii       ii +- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
2 Nov 24        i ii       ii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---202Mikko
2 Nov 24        i ii       ii  +* Re: The philosophy of computation reformulates existing ideas on a new basis ---187Andy Walker
2 Nov 24        i ii       ii  i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
2 Nov 24        i ii       ii  ii`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
2 Nov 24        i ii       ii  i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
3 Nov 24        i ii       ii  i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---183Mikko
3 Nov 24        i ii       ii  i +* Re: The philosophy of computation reformulates existing ideas on a new basis ---15olcott
3 Nov 24        i ii       ii  i i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---12Mike Terry
3 Nov 24        i ii       ii  i ii`* Re: The philosophy of computation reformulates existing ideas on a new basis ---11olcott
3 Nov 24        i ii       ii  i ii `* Re: The philosophy of computation reformulates existing ideas on a new basis ---10Richard Damon
3 Nov 24        i ii       ii  i ii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---9olcott
3 Nov 24        i ii       ii  i ii   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---8Richard Damon
3 Nov 24        i ii       ii  i ii    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---7olcott
4 Nov 24        i ii       ii  i ii     `* Re: The philosophy of computation reformulates existing ideas on a new basis ---6Richard Damon
4 Nov 24        i ii       ii  i ii      `* Re: The philosophy of computation reformulates existing ideas on a new basis ---5olcott
4 Nov 24        i ii       ii  i ii       +- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
4 Nov 24        i ii       ii  i ii       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---3joes
5 Nov 24        i ii       ii  i ii        `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
5 Nov 24        i ii       ii  i ii         `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
3 Nov 24        i ii       ii  i i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
4 Nov 24        i ii       ii  i i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
4 Nov 24        i ii       ii  i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---167Andy Walker
4 Nov 24        i ii       ii  i  +- Re: The philosophy of computation reformulates existing ideas on a new basis ---1olcott
4 Nov 24        i ii       ii  i  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---165Mikko
5 Nov 24        i ii       ii  i   `* Re: The philosophy of computation reformulates existing ideas on a new basis ---164Andy Walker
5 Nov 24        i ii       ii  i    +* Re: The philosophy of computation reformulates existing ideas on a new basis ---3olcott
5 Nov 24        i ii       ii  i    i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
5 Nov 24        i ii       ii  i    i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
5 Nov 24        i ii       ii  i    +* Re: The philosophy of computation reformulates existing ideas on a new basis ---3Mikko
6 Nov 24        i ii       ii  i    i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---2Andy Walker
6 Nov 24        i ii       ii  i    i `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
6 Nov 24        i ii       ii  i    `* Re: The philosophy of computation reformulates existing ideas on a new basis ---157Alan Mackenzie
6 Nov 24        i ii       ii  i     +* Re: The philosophy of logic reformulates existing ideas on a new basis ---155olcott
6 Nov 24        i ii       ii  i     i+* Re: The philosophy of logic reformulates existing ideas on a new basis ---150Alan Mackenzie
7 Nov 24        i ii       ii  i     ii`* Re: The philosophy of logic reformulates existing ideas on a new basis ---149olcott
8 Nov 24        i ii       ii  i     ii `* Re: The philosophy of logic reformulates existing ideas on a new basis ---148Alan Mackenzie
8 Nov 24        i ii       ii  i     ii  `* Re: The philosophy of logic reformulates existing ideas on a new basis ---147olcott
8 Nov 24        i ii       ii  i     ii   +* Re: The philosophy of logic reformulates existing ideas on a new basis ---145Alan Mackenzie
8 Nov 24        i ii       ii  i     ii   i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---144olcott
8 Nov 24        i ii       ii  i     ii   i +* Re: The philosophy of logic reformulates existing ideas on a new basis ---140Alan Mackenzie
8 Nov 24        i ii       ii  i     ii   i i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---139olcott
8 Nov 24        i ii       ii  i     ii   i i +* Re: The philosophy of logic reformulates existing ideas on a new basis ---137Alan Mackenzie
8 Nov 24        i ii       ii  i     ii   i i i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---136olcott
8 Nov 24        i ii       ii  i     ii   i i i +* Re: The philosophy of logic reformulates existing ideas on a new basis ---128Richard Damon
8 Nov 24        i ii       ii  i     ii   i i i i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---127olcott
8 Nov 24        i ii       ii  i     ii   i i i i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---126Richard Damon
8 Nov 24        i ii       ii  i     ii   i i i i  `* Re: The philosophy of logic reformulates existing ideas on a new basis ---125olcott
8 Nov 24        i ii       ii  i     ii   i i i i   `* Re: The philosophy of logic reformulates existing ideas on a new basis ---124Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i    `* Re: The philosophy of logic reformulates existing ideas on a new basis ---123olcott
9 Nov 24        i ii       ii  i     ii   i i i i     `* Re: The philosophy of logic reformulates existing ideas on a new basis ---122Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i      `* Re: The philosophy of logic reformulates existing ideas on a new basis ---121olcott
9 Nov 24        i ii       ii  i     ii   i i i i       +* Re: The philosophy of logic reformulates existing ideas on a new basis ---4Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i       i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---3olcott
9 Nov 24        i ii       ii  i     ii   i i i i       i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---2Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i       i  `- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Mikko
9 Nov 24        i ii       ii  i     ii   i i i i       `* Re: The philosophy of logic reformulates existing ideas on a new basis ---116joes
9 Nov 24        i ii       ii  i     ii   i i i i        `* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct115olcott
9 Nov 24        i ii       ii  i     ii   i i i i         +- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Richard Damon
9 Nov 24        i ii       ii  i     ii   i i i i         +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct104Alan Mackenzie
9 Nov 24        i ii       ii  i     ii   i i i i         +* Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct8joes
10 Nov 24        i ii       ii  i     ii   i i i i         `- Re: The philosophy of logic reformulates existing ideas on a new basis --- infallibly correct1Mikko
8 Nov 24        i ii       ii  i     ii   i i i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---7Alan Mackenzie
9 Nov 24        i ii       ii  i     ii   i i `- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Mikko
8 Nov 24        i ii       ii  i     ii   i +- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Richard Damon
8 Nov 24        i ii       ii  i     ii   i `* Re: The philosophy of logic reformulates existing ideas on a new basis ---2joes
9 Nov 24        i ii       ii  i     ii   `- Re: The philosophy of logic reformulates existing ideas on a new basis ---1Mikko
7 Nov 24        i ii       ii  i     i`* Re: The philosophy of logic reformulates existing ideas on a new basis ---4Richard Damon
7 Nov 24        i ii       ii  i     `- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Mikko
2 Nov 24        i ii       ii  +* Re: The philosophy of computation reformulates existing ideas on a new basis ---12olcott
4 Nov 24        i ii       ii  `* Re: The philosophy of computation reformulates existing ideas on a new basis ---2olcott
2 Nov 24        i ii       i`- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
1 Nov 24        i ii       `* Re: The philosophy of computation reformulates existing ideas on a new basis ---9Mikko
29 Oct 24        i i+* Re: The philosophy of computation reformulates existing ideas on a new basis ---16joes
30 Oct 24        i i+- Re: The philosophy of computation reformulates existing ideas on a new basis ---1Richard Damon
30 Oct 24        i i`* Re: The philosophy of computation reformulates existing ideas on a new basis ---10Mikko
29 Oct 24        i `* Re: The philosophy of computation reformulates existing ideas on a new basis ---193olcott
29 Oct 24        `* Re: The philosophy of computation reformulates existing ideas on a new basis ---114olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal