Время поднять вопрос о фальсифицируемости и о функциональных ("живых") теориях.
На этот вопрос меня натолкнули две вещи: аргумент в вики-статье о философском зомби "если мир с философскими зомби мыслим [может существовать], значит, аргумент верен" и тема какого-то человека о сверхсветовом телефоне, якобы его существование не нарушит ничего.
И у меня появился вопрос: если есть теория, описывающая поведение каждого предмета данного мира, можно ли считать её верной, если вообразим такой предмет, который может быть добавлен в этот мир, не изменив его законы (не изменив поведение всей системы), но который не может быть описан настоящей теорией?
Возможно, в такой постановке недостаточно ясно, в чём проблема, тогда можно так:
Допустим, есть мир. В нём есть Учёный, он может описать своим словом (теорией) поведение всех предметов, находящихся в данном мире. Но шутливый Бог на это отвечает добавлением в мир новых предметов.
Это не может быть любой предмет, есть определённые рамки, условия, но предметов этих бесконечно. Это как с функцией.
Что же делать учёному, он никогда не опишет такой мир? Или он придумает слово, описывающее все предметы, которые может добавить Бог, не нарушая условие? Например, как матан (его раздел) предлагает описание миров с разным числом измерений, или с разным числом... (здесь эрудиция кончается) так и эта теория будет делать нечто подобное.
