ext_362908 ([identity profile] khatul.livejournal.com) wrote in [personal profile] catpad 2004-07-28 12:48 am (UTC)

Идея в целом хороша - таким образом, например, появились на свет "сюрреальные числа" (http://mathworld.wolfram.com/SurrealNumber.html).

Проблема в том, что с Гёделем не выйдет. На то она и теорема, чтобы гласить: не удастся построить такую систему (кроме тривиальной).

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting