• =?UTF-8?Q?Re=3a_The_BOAK_formal_system_excludes_G=c3=b6del=27s_1931?= =

    From immibis@21:1/5 to olcott on Sat Dec 23 22:06:48 2023
    XPost: sci.logic, sci.math, comp.theory

    On 12/23/23 17:59, olcott wrote:
    *This cannot be understood outside of the philosophy of logic*

    Then don't post it to comp.theory.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From immibis@21:1/5 to olcott on Sun Dec 24 11:42:03 2023
    XPost: sci.logic, sci.math, comp.theory

    On 12/23/23 23:21, olcott wrote:
    On 12/23/2023 3:06 PM, immibis wrote:
    On 12/23/23 17:59, olcott wrote:
    *This cannot be understood outside of the philosophy of logic*

    Then don't post it to comp.theory.


    This also equally applies to computability.
    Some of the basic concepts of computability
    have incoherence hard-wired into them.

    For example three computer scientists essentially
    agree that the halting problem is essentially
    a self-contradictory (thus incorrect) question.

    Anyone can find three idiots.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)