[spam][crazy][fiction][random] Non-Canon MCBoss Spinoffs

mailbombbin mailbombbin at gmail.com
Wed Sep 13 06:41:40 PDT 2023


On 9/13/23, mailbombbin <mailbombbin at gmail.com> wrote:
> On 9/13/23, mailbombbin <mailbombbin at gmail.com> wrote:
>> On 9/13/23, mailbombbin <mailbombbin at gmail.com> wrote:
>>> Godel’s first theorem claims there are statements in every formal
>>> system that are neither provable nor unprovable.
>>>
>>> Boolos made a short proof, but it hinges in agreeing on a different
>>> expression of the theorem: “There is no algorithm whose output contains
>>> all
>>> true sentences of arithmetic and no false ones."
>>>
>>> I think I’d be willing to accept that those two expressions are
>>> sufficiently comparable challenges for now.
>>
>> demonstration of equivalence: if every statement can be proven or
>> disproven, we can enumerate every possible proof to enumerate every
>> true sentence
>
> [bug in math? this is a fractal tree with infinitely many branches
> each infinitely deep so an iterative algorithm would never exhaust it
> since no branch of the tree can ever be complete —

[to help think of this we could say we explore the tree breadth-first
to linearize it “fairly” but of course infinite things never complete
anyway and the breadth brows exponentially


More information about the cypherpunks mailing list