(no subject)
Где-то встречалась инфа, что формальная логика имеет какие-то проблемы с пространством-временем. В википедии на эту тему не нашел ничего. Поиск в яндексе и гугле тоже ничего вменяемого не дал. Прокомментируйте, пожалуйста, отношение формальной логики и пространства-времени.