Правила форума
В этом разделе
нельзя создавать новые темы. Если Вы хотите задать новый вопрос, то
не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".
Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть
удалены без предупреждения.Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса
обязан привести свои попытки решения и указать конкретные затруднения.
Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть
удалена или перемещена в
Карантин, а Вы так и не узнаете, почему.
|
alex_dorin |
Аксиоматическая арифметика без умножения  02.08.2013, 15:05 |
|
08/03/11
273
|
|
Подскажите литературу об аксиоматической арифметике без умножения
|
|
|
|
 |
|
Sonic86 |
Re: Аксиоматическая арифметика без умножения 02.08.2013, 17:12 |
|
| Заслуженный участник |
 |
08/04/08
8562
|
|
Если имеется ввиду арифметика Пресбургера, то можно кое-что найти в Лекциях по математической логике и теории алгоритмов Верещагина и Шеня. Там есть и доказательство того, что эта теория разрешима.
|
|
|
|
|
|
Xaositect |
Re: Аксиоматическая арифметика без умножения 02.08.2013, 17:34 |
|
| Заслуженный участник |
 |
06/10/08
6422
|
|
Собственно, кроме полноты и разрешимости там доказывать особо нечего. Можно посмотреть A.R.Bradley, Z.Manna "The Calculus of Computation", там более подробно о разных приемах при элиминации кванторов.
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 3 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
