Мютюэлизм

аково понимаем и мы, и древние греки. А это, очевидно, возможно только тогда, когда это метапоняття индексирует Н-модель, допускает такую Р-модель, остается прежним и для нас и для греков.
сервис обмена электронных валют
Эту Н-модель и можно описать с помощью понятия формализованного языка, содержащий некоторую явно оговоренную систему символов — «слов» — и правил композиции этих символов. Любая другая Н-модель в этом случае является некоторым классом этих композиций, и доказательство ее правильности требует, как отмечает Н. Бурбаки, «. только в некотором роде механической внимания, потому что единственные возможные источники ошибок — это длина или сложность текста».Таким образом, существует некая Н-модель для метапоняття «доказательство», что в конечном итоге сводится к инициальных М-понятий: нормальные алгоритмы,?-Примечательность, обчислюванисть по Тьюрингом, эффективные процедуры, зображуванисть в некоторой формальной системе с Геделем, загальнорекурсивнисть, загальнозначущисть и т . др. Однако рано или поздн

Комментирование и размещение ссылок запрещено.

Комментарии закрыты.