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

Groups > comp.lang.c++ > #122788

Re: I corrected the very subtle error in the halting problem

From Alexis <flexibeast@gmail.com>
Newsgroups comp.theory, comp.lang.c++, comp.lang.c, comp.ai.philosophy
Subject Re: I corrected the very subtle error in the halting problem
Followup-To comp.theory
Date 2025-09-28 12:52 +1000
Organization A noiseless patient Spider
Message-ID <87seg71e79.fsf@gmail.com> (permalink)
References (5 earlier) <10b6h4c$13hh3$4@dont-email.me> <10b6hqn$164mh$1@dont-email.me> <20250926121612.571@kylheku.com> <10b6qp0$18q7n$1@dont-email.me> <20250926130112.166@kylheku.com>

Cross-posted to 4 groups.

Followups directed to: comp.theory

Show all headers | View raw

Kaz Kylheku <643-408-1753@kylheku.com> writes:

> A contradiction is a piece of foreign material in a formal system.  It
> is nonsensical to bring it in, and assert it as a truth; it makes no
> sense to do so. Once you do, it creates contagion.

As an aside, the field of paraconsistent logic, which excludes the PoE,
tries to study and develop 'inconsistency-tolerant' formal systems:

  https://en.wikipedia.org/wiki/Paraconsistent_logic

> The entailment relations of paraconsistent logics are propositionally
> weaker than classical logic; that is, they deem fewer propositional
> inferences valid. The point is that a paraconsistent logic can never
> be a propositional extension of classical logic, that is,
> propositionally validate every entailment that classical logic
> does. In some sense, then, paraconsistent logic is more conservative
> or cautious than classical logic. It is due to such conservativeness
> that paraconsistent languages can be more expressive than their
> classical counterparts including the hierarchy of metalanguages due to
> Alfred Tarski and others.


Alexis.

Back to comp.lang.c++ | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-25 08:56 -0500
  Re: I corrected the very subtle error in the halting problem Bonita Montero <Bonita.Montero@gmail.com> - 2025-09-25 16:21 +0200
    Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-25 09:27 -0500
      Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-25 16:19 +0100
    Re: I corrected the very subtle error in the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-25 13:18 -0700
      Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-26 20:25 +0100
        Re: I corrected the very subtle error in the halting problem Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-09-26 13:00 -0700
      Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 02:18 -0500
      Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 12:17 -0500
        Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 16:09 -0500
          Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-26 22:15 +0000
        Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-26 19:28 +0000
          Re: I corrected the very subtle error in the halting problem André G. Isaak <agisaak@gm.invalid> - 2025-09-26 14:00 -0600
          Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 17:22 -0500
            Re: I corrected the very subtle error in the halting problem "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-09-26 19:49 -0700
          Re: I corrected the very subtle error in the halting problem David Brown <david.brown@hesbynett.no> - 2025-09-27 12:59 +0200
          Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 10:47 -0500
          Re: I corrected the very subtle error in the halting problem Kaz Kylheku <643-408-1753@kylheku.com> - 2025-09-26 20:35 +0000
            Re: I corrected the very subtle error in the halting problem Alexis <flexibeast@gmail.com> - 2025-09-28 12:52 +1000
          Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 14:49 -0500
        Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-26 19:01 +0100
          Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 13:10 -0500
      Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 10:56 -0500
        Re: I corrected the very subtle error in the halting problem Bonita Montero <Bonita.Montero@gmail.com> - 2025-09-27 20:32 +0200
          Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-27 13:56 -0500
        Re: I corrected the very subtle error in the halting problem Richard Heathfield <rjh@cpax.org.uk> - 2025-09-26 18:05 +0100
        Re: I corrected the very subtle error in the halting problem olcott <polcott333@gmail.com> - 2025-09-26 11:22 -0500
      Re: I corrected the very subtle error in the halting problem Bonita Montero <Bonita.Montero@gmail.com> - 2025-09-26 17:44 +0200
  Expanding on Rice's Theorem olcott <polcott333@gmail.com> - 2025-09-29 21:35 -0500
  I corrected the very subtle error in the halting problem --- ALL DETAILS PROVIDED olcott <polcott333@gmail.com> - 2025-10-01 08:10 -0500

csiph-web