gatoazul (gatoazul) wrote,
gatoazul
gatoazul

Categories:

Теорема Гёделя вполне логична

Если посмотреть на теорему Гёделя под углом количества информации, то ее выводы становятся почти банальны и теряют всю свою загадочность.

Гильберт, грубо говоря, пытался взять несколько аксиом и машину вывода, что в совокупности составляет довольно небольшое количество информации. И из них получить всю математику современную и будущую, то есть заиметь бесконечный прирост информации. Неудивительно, что из этого ничего не вышло.

Однако все это не имеет никакого отношения к ограниченности человеческого ума, потому что ум получает информацию из внешнего мира. Конечно, его возможности по переработке тоже конечны, но граница пролегает явно не по формальным аксиоматическим системам.
Tags: размышления
Subscribe

  • Ответ на загадку Новака

    Профессор Новак как-то предложил своим коллегам такую загадку: The poor have it, the rich need it, it is greater than God, more evil than devil,…

  • Загадка Новака

    Следующая загадка предназначется только для тех, кто очень хорошо знает английский язык. К сожалению, адекватно перевести ее на русский, так, чтобы…

  • Ответ на загадку с картинкой

    Этот коллаж иллюстрирует название довольно известной раньше книги. ====================================================== Карл Маркс.…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 0 comments