Здорово, я про "сюрреальные числа" даже и не знал. Надо будет кнутову книжку почитать.
А с Гёделем мысль как раз в том и заключается: теорема-то она, конечно, теорема, но это в "нашем мире" - в мире "настоящей математики и логики". А мы придумаем мир мнимой логики, где такой теоремы не будет, а там посмотрим, что из этого мира получится! Математическое фэнтези.
no subject
Date: 2004-07-28 01:33 am (UTC)А с Гёделем мысль как раз в том и заключается: теорема-то она, конечно, теорема, но это в "нашем мире" - в мире "настоящей математики и логики". А мы придумаем мир мнимой логики, где такой теоремы не будет, а там посмотрим, что из этого мира получится!
Математическое фэнтези.