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

Мощь принципа гомоиконичности, использованного Гёделем и Тьюрингом в доказательствах и позднее Маккарти при создании Лиспа, пока ещё очень мало понята массами. Хотя на его основе работает любой компилятор.
Спасибо за статью. Это было ох.. очень хорошо. Действительно очень доступное изложение теоремы о неполноте.
Гёдель-инъекция
вот тут более простым языком изложено, если кто не осилил это объяснение :)

Что открыл Гёдель