Что могло заставить нас выбрать невычисляемую функцию для известных заранее чисел, если мы свободны в выборе формальной системы?
Одна модель будет неполна, но всегда можно добавить еще одну модель, вместе они будут полней, но всё равно неполными, но делать ведь это можно бесконечно, пока не будет приемлимой полноты? :)
![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png){kind=small}
no subject
Date: 2013-11-15 19:53 (UTC)Одна модель будет неполна, но всегда можно добавить еще одну модель, вместе они будут полней, но всё равно неполными, но делать ведь это можно бесконечно, пока не будет приемлимой полноты? :)