Groups | Search | Server Info | Login | Register

Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13

Newsgroups	comp.theory
Date	2020-06-27 14:52 -0700
References	(3 earlier) <SMOdneaSLsLJ7WrDnZ2dnUU7-XnNnZ2d@giganews.com> <8cf50b74-c1c7-4a40-97db-4bafa87d2f74o@googlegroups.com> <CYGdnUcNBLI-52rDnZ2dnUU7-UfNnZ2d@giganews.com> <7789b630-f9e1-4faf-a1f5-aa60e4dc4814o@googlegroups.com> <7f6dnWvvKL0VNmrDnZ2dnUU7-YednZ2d@giganews.com>
Message-ID	<935e9033-5f99-4d7d-9b52-d4a82e838586o@googlegroups.com> (permalink)
Subject	Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13
From	David Kleinecke <dkleinecke@gmail.com>

Show all headers | View raw

On Saturday, June 27, 2020 at 1:26:54 PM UTC-7, olcott wrote:
> On 6/27/2020 1:54 PM, David Kleinecke wrote:
> > On Saturday, June 27, 2020 at 9:58:17 AM UTC-7, olcott wrote:
> >> On 6/27/2020 11:38 AM, David Kleinecke wrote:
> >>> On Saturday, June 27, 2020 at 9:14:19 AM UTC-7, olcott wrote:
> >>>> On 6/27/2020 4:24 AM, Alan Smaill wrote:
> >>>>> David Kleinecke <dkleinecke@gmail.com> writes:
> >>>>>
> >>>>>> On Friday, June 26, 2020 at 6:04:03 PM UTC-7, olcott wrote:
> >>>>>>> According to Wittgenstein:
> >>>>>>>        'True in Russell's system' means, as was said: proved in Russell's
> >>>>>>>         system; and 'false in Russell's system' means: the opposite has been
> >>>>>>>         proved in Russell's system. (Wittgenstein 1983,118-119)
> >>>>>>>
> >>>>>>> Formalized by Olcott as:
> >>>>>>> ∀F ∈ Formal_Systems ∀𝒞 ∈ WFF(F) (((F⊢𝒞))  ↔ True(F, 𝒞))
> >>>>>>> ∀F ∈ Formal_Systems ∀𝒞 ∈ WFF(F) (((F⊬𝒞)) ↔ ¬True(F, 𝒞))
> >>>>>>> ∀F ∈ Formal_Systems ∀𝒞 ∈ WFF(F) (((F⊢¬𝒞)) ↔ False(F, 𝒞))
> >>>>>>     
> >>>>>> This formulation does not correctly reflect Wittgenstein's
> >>>>>> remark.
> >>>>>>
> >>>>>> (1) As Wittgenstein makes clear he is not talking about all
> >>>>>> Formal Systems. He is talking about Russell's system.
> >>>>>
> >>>>> He mentions Russell because Goedel's incompleteness proof
> >>>>> used the formal system of Principia Mathematica
> >>>>> (with minor changes).  W. was trying to make sense
> >>>>> of Goedel's theorem.
> >>>>>
> >>>>> His claims about Russell's system are W's own reinterpretation of what
> >>>>> is going on, based on W's own ideas in his language games period.  They
> >>>>> do not reflect Russell's own view, in which the axioms of PM are
> >>>>> argued for as true, and the inference steps preserve truth.
> >>>>> The notion that "false in the system" means "disprovable in the system"
> >>>>> comes from Wittgenstein, not from Russell.
> >>>>>
> >>>>
> >>>> Yes and likewise for True means proved.
> >>>>
> >>>>>> (2) Wittgenstein frames his statements as definitions. "True
> >>>>>> in Russell's system" (your True(F, 𝒞)) is defined to mean
> >>>>>> "proven in Russell's system system" (F ⊢ 𝒞) and mutatis mutandis
> >>>>>> False and (F⊢¬𝒞).
> >>>>>>
> >>>>>> (3) The middle statement has no basis in Wittgenstein.
> >>>>>
> >>>>> It certainly begs questions.
> >>>>>
> >>>>>> Since F is not a variable (rather it is Russell's system) the
> >>>>>> correct formalizations are
> >>>>>>        True(𝒞) is defined as R ⊢ 𝒞
> >>>>>>        False(C) is defined as R ⊢ ¬𝒞
> >>>>>
> >>>>> I don't see anything specific to Russell's system in W's account,
> >>>>> apart fom it being the obvious exemplar to use at that time.
> >>>>>
> >>>>
> >>>> I came up with this stuff on my own and generalized what Wittgenstein is
> >>>> saying years before ever even hearing his name.
> >>>>
> >>>> True(F,X) implements the sound deductive inference model when the
> >>>> theorems of the formal system are used as a proxy for the true premises
> >>>> of a sound deductive argument: True(F,X) is defined as (F ⊢ X).
> >>>    
> >>> I didn't follow that in detail but assuming it has no
> >>> errors you have defined True and False for your system.
> >>>
> >>> Now it is important to remember that this True and False
> >>> are NOT the true and false of ordinary discourse and
> >>> ordinary real reality.
> >>>
> >>
> >> This True and False are intentionally designed to exactly represent the
> >> True and False of the entire body of analytical knowledge defined as all
> >> the expressions of language that can be verified as true entirely on the
> >> basis of their meaning, thus not requiring any direct and immediate
> >> input from the sense organs.
> >   
> > Analytic knowledge is just a small part of all knowledge and,
> > since it is derivable from assumptions, not a very interesting
> > part. IMO it is handled just fine by present technologies.
> > 
> 
> I am defining analytic knowledge as all knowledge that can be expressed 
> using language. If it was as trivial as you are saying then Gödel and 
> Tarski would have realized their mistake before they ever made it.
 
And I am using analytic knowledge to mean propositions
whose truth value can be derived from the proposition
alone without reference to other evidence. 

It is not trivial - see mathematics - but its relationship
to truth is very simple. Gödel and Tarski made no mistake.

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-26 20:03 -0500
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-26 20:53 -0700
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-26 23:46 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-26 22:54 -0700
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 11:04 -0500
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-06-27 10:24 +0100
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 11:14 -0500
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-27 09:38 -0700
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 11:58 -0500
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-27 11:54 -0700
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 15:26 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-27 14:52 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 17:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-27 17:43 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 19:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-27 20:15 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-27 22:11 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-28 16:32 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 David Kleinecke <dkleinecke@gmail.com> - 2020-06-28 14:43 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 olcott <NoOne@NoWhere.com> - 2020-06-28 16:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 André G. Isaak <agisaak@gm.invalid> - 2020-06-28 20:18 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-28 21:45 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-28 21:27 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-28 21:59 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 00:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-28 23:57 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 13:28 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 12:33 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 14:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 13:52 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 15:02 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 14:14 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 15:39 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 15:13 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-29 17:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-29 21:21 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 01:09 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 00:24 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 16:46 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 16:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 18:24 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 18:15 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 19:33 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 19:18 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 20:34 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 20:06 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 21:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-06-30 20:54 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-01 11:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-01 10:35 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-01 17:35 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Chris Buckley <alan@sabir.com> - 2020-07-01 22:47 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 07:01 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 10:51 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 10:46 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 13:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 13:37 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-07-02 08:53 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 09:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Chris Buckley <alan@sabir.com> - 2020-07-02 15:06 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 10:56 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Chris Buckley <alan@sabir.com> - 2020-07-02 22:52 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 18:35 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Chris Buckley <alan@sabir.com> - 2020-07-02 23:48 +0000
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 18:57 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) David Kleinecke <dkleinecke@gmail.com> - 2020-07-02 19:22 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-02 22:03 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 23:13 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 00:36 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-02 23:43 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 12:50 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 12:19 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 13:21 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 12:33 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 13:48 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 13:55 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 13:06 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 13:07 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 12:56 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 14:14 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 13:38 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-03 15:59 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-03 22:54 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-04 08:56 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-04 08:12 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-07-04 10:06 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) André G. Isaak <agisaak@gm.invalid> - 2020-07-04 09:31 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Text Analysis) olcott <NoOne@NoWhere.com> - 2020-07-04 14:31 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Text Analysis) André G. Isaak <agisaak@gm.invalid> - 2020-07-04 15:17 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V20 (Text Analysis) olcott <NoOne@NoWhere.com> - 2020-07-04 17:29 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-05 13:01 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-05 16:40 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-05 23:52 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-06 00:53 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-06 10:15 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) David Kleinecke <dkleinecke@gmail.com> - 2020-07-06 08:33 -0700
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-06 11:49 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) André G. Isaak <agisaak@gm.invalid> - 2020-07-06 11:27 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-07 22:22 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) André G. Isaak <agisaak@gm.invalid> - 2020-07-06 10:48 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) André G. Isaak <agisaak@gm.invalid> - 2020-07-06 13:55 -0600
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-07 22:13 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V23 (Newspeak) olcott <NoOne@NoWhere.com> - 2020-07-07 22:44 -0500
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) Alan Smaill <smaill@SPAMinf.ed.ac.uk> - 2020-06-30 11:17 +0100
                Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V13 (Isomorphism) olcott <NoOne@NoWhere.com> - 2020-06-30 08:44 -0500

csiph-web