Логомыслы и теорема Гёделя
У меня на сайте есть подборка на тему весьма, гм, оригинальных интертрепаций теоремы Гёделя.
Вот нашёл ещё в коллекцию:
am_tiger_a:
Арифметика вполне себе фальсфицируема. Она, как минимум, неполна - доказал это Гёдель (см. его теорему "О неполноте формальной арифметики") ещё в тридцатых годах прошлого века.
Из упомянутой теоремы следует обобщение, что любая контекстозависимая формальная система неполна - т.е. любая фальсифицируема. Полной (и бесконтекстной) формальной системой является исчисление предикатов. Но его можно отнести к метатеории, поэтому к нему снова бессмысленно применять критерий фальсифицируемости.
Аналогично, фальсифицируема формальная лингвистика (там снова есть контекст и она снова неполна).
... Полнота привела бы к возникновению противоречия - сиречь арифметика была бы фальсифицирована.
Вот нашёл ещё в коллекцию:
am_tiger_a:
Арифметика вполне себе фальсфицируема. Она, как минимум, неполна - доказал это Гёдель (см. его теорему "О неполноте формальной арифметики") ещё в тридцатых годах прошлого века.
Из упомянутой теоремы следует обобщение, что любая контекстозависимая формальная система неполна - т.е. любая фальсифицируема. Полной (и бесконтекстной) формальной системой является исчисление предикатов. Но его можно отнести к метатеории, поэтому к нему снова бессмысленно применять критерий фальсифицируемости.
Аналогично, фальсифицируема формальная лингвистика (там снова есть контекст и она снова неполна).
... Полнота привела бы к возникновению противоречия - сиречь арифметика была бы фальсифицирована.
Суд в Канаде под угрозой ареста потребовал от отца считать дочь мальчиком + Капитализм и дети- Швондеры против литературы
Капитализма вам в ленту +
Воробуржуи-то реально боятся!- Кора и подкорка головного мозга (проф. Савельев)
- Иногда они проговариваются
- F.A.Q. "за капитализм" - 18: сверхпотребеление капиталистов
- Онто- и гносеологическое - 03-2: Марксизм про Истину и науку
- Ликбез на тему Путина и противпутина - 0 -- подкидываем вопросы!