Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.math > #641563

Re: A new foundation for correct reasoning +++

From Mikko <mikko.levanto@iki.fi>
Newsgroups comp.theory, sci.logic, sci.math
Subject Re: A new foundation for correct reasoning +++
Date 2025-12-02 11:56 +0200
Organization A noiseless patient Spider
Message-ID <10gmd3v$262sn$1@dont-email.me> (permalink)
References (5 earlier) <10gd96r$198g$1@news.muc.de> <10gdabu$2segn$1@dont-email.me> <10gemv2$30us$2@news.muc.de> <10gjqps$17qul$1@dont-email.me> <10gk15a$1a8nv$1@dont-email.me>

Cross-posted to 3 groups.

Show all headers | View raw

olcott kirjoitti 1.12.2025 klo 14.19:
> On 12/1/2025 4:31 AM, Mikko wrote:
>> Alan Mackenzie kirjoitti 29.11.2025 klo 13.55:
>>> [ Followup-To: set ]
>>>
>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>>> On 11/28/2025 4:54 PM, Alan Mackenzie wrote:
>>>
>>>>> In comp.theory olcott <polcott333@gmail.com> wrote:
>>>>>> On 11/28/2025 3:08 PM, Alan Mackenzie wrote:
>>>>>>> dart200 <user7160@newsgrouper.org.invalid> wrote:
>>>
>>> [ .... ]
>>>
>>>>>> *Within A new foundation for correct reasoning*
>>>
>>>>>> (a) Every element of the body of knowledge that can
>>>>>>       be expressed in language is entirely composed of
>>>>>>     (1) A finite set of atomic facts
>>>>>>     (2) Every expression of language that is semantically
>>>>>>         entailed by (1)
>>>>>> (b) a formal language based on Rudolf Carnap Meaning
>>>>>>       Postulates combined with The Kurt Gödel definition
>>>>>>       of the "theory of simple types"
>>>>>>       https://en.wikipedia.org/wiki/ 
>>>>>> History_of_type_theory#G%C3%B6del_1944
>>>>>>       Where every semantic meaning is fully encoded syntactically
>>>>>>       as one fully integrated whole not needing model theory
>>>
>>>>>> We have now totally overcome Gödel Incompleteness
>>>>>> and Tarski Undefinability for the entire body if
>>>>>> knowledge that can be expressed in language. It
>>>>>> is now a giant semantic tautology.
>>>
>>>>> You can't "overcome" these theorems, since they're not obstacles.
>>>>> They're fundamental truths.
>>>
>>>> I just showed the detailed steps making both of
>>>> them impossible in the system that I just specified.
>>>> A counter-example is categorically impossible.
>>>
>>> Your construction is impossible, as proven by Gödel's Incompleteness
>>> Theorem.
>>
>> Doesn't a theory that has no theorems satisfy all above stated
>> requriements?
> 
> Every element of the body of knowledge
> is not such a formal system.

That's right, the body of knowledge is irrelevant here.


-- 
Mikko

Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-11-28 16:03 -0600
  Re: A new foundation for correct reasoning +++ Richard Damon <Richard@Damon-Family.org> - 2025-11-28 17:33 -0500
  Re: A new foundation for correct reasoning +++ Alan Mackenzie <acm@muc.de> - 2025-11-28 22:54 +0000
    Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-11-28 17:14 -0600
      Re: A new foundation for correct reasoning +++ Alan Mackenzie <acm@muc.de> - 2025-11-29 11:55 +0000
        Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-11-29 09:18 -0600
          Re: A new foundation for correct reasoning +++ Alan Mackenzie <acm@muc.de> - 2025-11-29 20:48 +0000
            Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-11-29 15:31 -0600
              Re: A new foundation for correct reasoning +++ Richard Damon <Richard@Damon-Family.org> - 2025-11-29 17:04 -0500
        Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-01 06:19 -0600
          Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-02 11:56 +0200
            Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-02 08:07 -0600
              Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-03 13:17 +0200
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-03 10:13 -0600
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-04 11:29 +0200
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-04 08:18 -0600
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-05 11:03 +0200
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-05 11:31 -0600
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-06 11:39 +0200
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-06 06:53 -0600
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-07 13:08 +0200
                Re: A new foundation for correct reasoning +++ olcott <polcott333@gmail.com> - 2025-12-08 13:56 -0600
                Re: A new foundation for correct reasoning +++ Mikko <mikko.levanto@iki.fi> - 2025-12-14 13:05 +0200

csiph-web