Ухх.. В перовом случае я постулирую понятие алгоритма и постулирую конкретный алгоритм, далее я предполагаю у него свойство и проверяю свойство выполнением алгоритма. Свойство заложено уже в постулатах. Нужно его только найти и проверить. Для чисел я постулирую понятие числа и постулирую свойство. Вычислить это свойство невозможно, т.к. в определении числа оно не заложено.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2010-12-15 04:39 pm (UTC)В перовом случае я постулирую понятие алгоритма и постулирую конкретный алгоритм, далее я предполагаю у него свойство и проверяю свойство выполнением алгоритма. Свойство заложено уже в постулатах. Нужно его только найти и проверить.
Для чисел я постулирую понятие числа и постулирую свойство. Вычислить это свойство невозможно, т.к. в определении числа оно не заложено.