[MD] Loops - Question for Tuukka

[Tuukka Virtaperko]

Ian,
yeah, so since Gödel realized you can have numbers standing for 
statements by assigning a Gödel number to any statement, you can have a 
statement refer to itself. Hmm... you know, I've always wanted to 
understand the incompleteness theorems in an exact or even formal level, 
and this is something I do understand.

So Gödel proved there is statement S (Gödel number), according to which 
there is no statement of sequence of statements P (Another Gödel number) 
that prove S?

By the way, what does it mean when people say such a statement S is 
"true, but unprovable"? Why is it true? That doesn't make any sense.

So if that's a strange loop, well... cool. If you want to see a strange 
loop in my theory, I guess you want to look at +11, because it includes 
the act of thinking about the theory. There may be other strange loops 
as well. But this strange loop could be impossible to formalize, because 
you can't refer to +11 directly, only via D+11 and D-00.

-Tuukka



6.1.2012 13:17, Tuukka Virtaperko kirjoitti:
> Ian,
>> Ian said:
>>
>> Don't know much of your background before MoQ.fi - so just a question 
>> ...
>>
>> Your recursive loops - you are aware of Doug Hofstadter and "Strange
>> Loops" - level-shifting recursive loops ? (This is part of the reason
>> I liked where you are going ...) - the ability of recursion to create
>> value from nothing (much).
>>
>
> Tuukka:
> No, I'm not aware of that. Better check out.
>
> I haven't been active in any community, at least in any significant 
> extent, before 2011. Short of the mini-community between me and my 
> mathematician friend. I guess I read ZMM in 2003? The first time, that 
> is.
>
> -Tuukka
> Moq_Discuss mailing list
> Listinfo, Unsubscribing etc.
> http://lists.moqtalk.org/listinfo.cgi/moq_discuss-moqtalk.org
> Archives:
> http://lists.moqtalk.org/pipermail/moq_discuss-moqtalk.org/
> http://moq.org/md/archives.html
>