[MD] Loops - Question for Tuukka

[Tuukka Virtaperko]

Ian,
*"statement OR sequence of statements"

a pretty unnecessary detail anyhow, I suppose, because any sequence of 
statements could also be a statement. I guess.

-Tuukka



6.1.2012 13:56, Tuukka Virtaperko kirjoitti:
> 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
>>
>
> 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
>