II. Трудности в арифметике с тем, чтобы выразить работу алгоритмов

[dmitgu]

. К оглавлению . Показать весь текст .

Чтобы почувствовать разницу между теорией компьютерных строк и арифметикой, рассмотрим вопрос - почему в арифметике операция сложения аксиоматизируется, а не определяется? Ведь с использованием техники «протокола исполнения» вполне можно (вроде бы) дать для суммы a + i_Step следующее определение:

∃ Tracing (

Comments

[lj_frank_bot]

Здравствуйте!
Система категоризации Живого Журнала посчитала, что вашу запись можно отнести к категории: Наука.
Если вы считаете, что система ошиблась - напишите об этом в ответе на этот комментарий. Ваша обратная связь поможет сделать систему точнее.
Фрэнк,
команда ЖЖ.