В данной статье будет предпринята попытка ответить на вопрос: можно ли дать полное описание системы, находясь внутри нее? Данный вопрос связан в той или иной степени с теоремой Гёделя о неполноте систем, которая в форме Россера звучит так: если система непротиворечива, то она неполна. Читать далее →