Язык — это то, что создает данную проблему (позволяя нам ее сформулировать) и то, что помогает нам ее разрешить (позволяя, будучи универсальным средством мыслеобмена, делиться опытом и таким образом делать его более объективным). Однако язык не может довести нас до конца дороги.
В каком-то смысле теорема Геделя является математическим аналогом того, что я не могу понять, на что похоже не любить шоколад или быть летучей мышью. Единственное, что мне доступно, это бесконечный ряд все более аккуратных приближений, которые, тем не менее, никогда не достигнут полного отождествления. Я пойман сам в себе и поэтому не способен понять, каковы другие системы. Теорема Геделя вытекает из этого общего факта: я пойман сам в себе и поэтому не способен понять, каков я для других систем. Таким образом, дилемма субъективного и объективного, так ярко очерченная Нагелем, в какой-то мере родственна эпистемологическим проблемам в математической логике и, как мы видели ранее, в основах физики. Эти идеи рассматриваются более подробно в последней главе книги Хофштадтера “Гёдель, Эшер, Бах”.[21]
Даглас Хофштадтер