Darkhon (darkhon) wrote,
Darkhon
darkhon

Category:
  • Music:

Логомыслы и теорема Гёделя

У меня на сайте есть подборка на тему весьма, гм, оригинальных интертрепаций теоремы Гёделя.
Вот нашёл ещё в коллекцию:

am_tiger_a:
Арифметика вполне себе фальсфицируема. Она, как минимум, неполна - доказал это Гёдель (см. его теорему "О неполноте формальной арифметики") ещё в тридцатых годах прошлого века.
Из упомянутой теоремы следует обобщение, что любая контекстозависимая формальная система неполна - т.е. любая фальсифицируема. Полной (и бесконтекстной) формальной системой является исчисление предикатов. Но его можно отнести к метатеории, поэтому к нему снова бессмысленно применять критерий фальсифицируемости.
Аналогично, фальсифицируема формальная лингвистика (там снова есть контекст и она снова неполна).
... Полнота привела бы к возникновению противоречия - сиречь арифметика была бы фальсифицирована.


Tags: умение мыслить
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 0 comments