О множестве всех неосуществимых натуральных чисел

[Котофеич]

Котофеич писал(а):

незваный гость писал(а):

:evil:
А все-таки, как доказывается Лемма 1? Мне как-то непонятно — аксиома 1 задает свойства
осуществимых, а вывод про неосуществимые. Впрочем, Лемма 2 мне не менее непонятна.

Котофеич писал(а):

Если есть интерес к этому делу то я отсканирую.

Ловлю на слове. Буду премного благодарен. Рапида, Слил — любой удобный Вам сервис.

Лемма 1 есть у Вольпина без доказательства и доказывается как и в обычном NSA
например у Дэвиса. С леммой 2 подождите до формулировки полного списка аксиом, там
есть несколько вариантов.

Нужный кусок статьи Вольпина, находится здесь в альбоме 33. Нужно скопировать и увеличить, а потом читать.
http://foto.mail.ru/list/catty_cat/

[незваный гость]

Котофеич писал(а):

Нужный кусок статьи Вольпина, находится здесь в альбоме 33. Нужно скопировать и увеличить, а потом читать.
http://foto.mail.ru/list/catty_cat/

Все, что я сумел из них вытянуть это картинки 350 х 500, к тому же искаженные jpeg до почти полной нечитаемости. Может быть, Вы найдете возможным положить на Imageshack.net или rapidshare.de (на рапиду лучше одним архивом.)

[Котофеич]

Хорошо, завтра исполню.

[незваный гость]

Котофеич писал(а):

Хорошо, завтра исполню.

Спасибо. Но исполню-то за что?!

[Котофеич]

Да просто так, ни за что. Кот это хищное, но очень бескорыстное животное.

[Котофеич]

Котофеич писал(а):

:evil: Да просто так, ни за что. Кот это хищное, но очень бескорыстное животное.

http://img171.**invalid link**/my.php?image=p2or2.jpg
http://img204.**invalid link**/my.php?image=p3zp8.jpg
http://img246.**invalid link**/my.php?image=p4zw7.jpg
http://img135.**invalid link**/my.php?image=p5ip1.jpg
http://img206.**invalid link**/my.php?image=p6dj3.jpg
http://img227.**invalid link**/my.php?image=p7ic2.jpg
http://img234.**invalid link**/my.php?image=p8ax2.jpg
http://img175.**invalid link**/my.php?image=p9vo1.jpg
Я могу исполнить любое Ваше желание, акромя одного--сделать все
натуральные числа осуществимыми.

[незваный гость]

Спасибо. А откуда это? Книга или статья? Теперь проблем с чтением нет (кроме размера моего мозга)

[Котофеич]

незваный гость писал(а):

:evil:
Спасибо. А откуда это? Книга или статья? Теперь проблем с чтением нет (кроме размера моего мозга)

Это кусочек большой статьи. Сама статья касается других проблем, но в аспекте
того что мы обсуждаем, она интересна тем, что в ней приведена теория натурального
ряда, с точки зрения которой достаточно большое число, ну например
$N\approx10^{10^{10^{34}}}$ можно рассматривать как неосуществимое
бесконечно большое натуральное число

[незваный гость]

Ну уж скажите, какой именно статьи? Что Вам мешает привести ссылку?

[Котофеич]

незваный гость писал(а):

:evil:
Ну уж скажите, какой именно статьи? Что Вам мешает привести ссылку?

Анализ потенциальной осуществимости. В сб. Логические исследования М.АН СССР
1959г. стр.218-262. Я не думаю, что Вы сможете ее наити.

[незваный гость]

Спасибо. Я даже не уверен, что буду пытаться — Вы вроде привели достаточный кусок.

[Котофеич]

Переходим к формулировке аксиом 3 и 4.
Подчеркну, что принцип индукции не предполагается выполненным.
(3) O(n) и O(m) влечет O(n+m)
(4) O(n) и O(m) влечет O(n×m)

[Котофеич]

Котофеич писал(а):

:evil: Переходим к формулировке аксиом 3 и 4.
Подчеркну, что принцип индукции не предполагается выполненным.
(3) O(n) и O(m) влечет O(n+m)
(4) O(n) и O(m) влечет O(n×m)

Ну и как у Вас идут дела с прочтением статьи Вольпина

[Macavity]

Котофеич писал(а):

незваный гость писал(а):

:evil:
Спасибо. А откуда это? Книга или статья? Теперь проблем с чтением нет (кроме размера моего мозга)

Это кусочек большой статьи. Сама статья касается других проблем, но в аспекте
того что мы обсуждаем, она интересна тем, что в ней приведена теория натурального
ряда, с точки зрения которой достаточно большое число, ну например
$N\approx10^{10^{10^{34}}}$ можно рассматривать как неосуществимое
бесконечно большое натуральное число

А что трансфинитные числа уже запретили?
Кажется еще Георг Кантор с ними работал.
Боже мой, как быстро все меняется в математике

"Первым трансфинитные порядковые числа ввел Георг Кантор; наряду с принципом образования целых чисел, состоящим в определении числа, следующего за некоторым числом, он применил второй принцип, определив число w как наименьшее, следующее за всеми членами последовательности 1,2,...v, ... "...."

[Котофеич]

Ну мало ли что показал Кантор. В каком это смысле его числа существуют?
Как значки на бумаге? И потом кто сказал, что его числа запретили, Вольпин такого не говорил