Тот кто звонил?
Они оба девственники, так что не сходится
Батя пошел в школу вместо сына.
А если серьёзно, то Гёдель доказал, что эта проблема касается вообще любой системы понятий.
Тем самым продемонстрировав, что противоречивое высказываение не доказуемо. Тарский в этом отношении ушел ещё дальше, но на самом деле всё сводится к одной аксиоме -- любой естественный язык прелогичен по своей природе. Чтоб парадоксов в оном не было, семантические поля многих высказываний должны быть точно математически очерчены.
Гёдель как раз и говорит, что это не панацея. Абсолютно любая система аксиом, хоть её сверхразум выдумает, будет либо приводить к противоречию (наподобие парадокса лжеца), либо будет неполна, т.е. в ней можно сформулировать высказывание, которое вполне себе будет иметь смысл в данной системе аксиом, но его никак нельзя будет ни подтвердить, ни опровергнуть.
Какая разница?
Мой друг однажды в школе тоже дал левый номер телефона своих родителей. Он случайно умудрился дать им номер прокуратуры.
Чтобы написать коммент, необходимо залогиниться
Отличный комментарий!