2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2, 3, 4  След.
 
 
Сообщение03.09.2006, 16:44 
Аватара пользователя
Котофеич писал(а):
незваный гость писал(а):
:evil:
А все-таки, как доказывается Лемма 1? Мне как-то непонятно — аксиома 1 задает свойства
осуществимых, а вывод про неосуществимые. Впрочем, Лемма 2 мне не менее непонятна.

Котофеич писал(а):
Если есть интерес к этому делу то я отсканирую.

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

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


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

 
 
 
 
Сообщение03.09.2006, 19:01 
Аватара пользователя
:evil:
Котофеич писал(а):
Нужный кусок статьи Вольпина, находится здесь в альбоме 33. Нужно скопировать и увеличить, а потом читать.
http://foto.mail.ru/list/catty_cat/

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

 
 
 
 
Сообщение04.09.2006, 01:09 
Аватара пользователя
:evil: Хорошо, завтра исполню.

 
 
 
 
Сообщение04.09.2006, 01:17 
Аватара пользователя
:evil:
Котофеич писал(а):
Хорошо, завтра исполню.

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

 
 
 
 
Сообщение04.09.2006, 04:28 
Аватара пользователя
:evil: Да просто так, ни за что. Кот это хищное, но очень бескорыстное животное.

 
 
 
 
Сообщение04.09.2006, 11:28 
Аватара пользователя
Котофеич писал(а):
: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: Я могу исполнить любое Ваше желание, акромя одного--сделать все
натуральные числа осуществимыми. :D

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

 
 
 
 
Сообщение05.09.2006, 01:19 
Аватара пользователя
незваный гость писал(а):
:evil:
Спасибо. А откуда это? Книга или статья? Теперь проблем с чтением нет (кроме размера моего мозга)

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

 
 
 
 
Сообщение05.09.2006, 01:33 
Аватара пользователя
:evil:
Ну уж скажите, какой именно статьи? Что Вам мешает привести ссылку?

 
 
 
 
Сообщение05.09.2006, 01:47 
Аватара пользователя
незваный гость писал(а):
:evil:
Ну уж скажите, какой именно статьи? Что Вам мешает привести ссылку?

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

 
 
 
 
Сообщение05.09.2006, 03:46 
Аватара пользователя
:evil:
Спасибо. Я даже не уверен, что буду пытаться — Вы вроде привели достаточный кусок.

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

 
 
 
 
Сообщение10.09.2006, 05:38 
Аватара пользователя
Котофеич писал(а):
:evil: Переходим к формулировке аксиом 3 и 4.
Подчеркну, что принцип индукции не предполагается выполненным.
(3) O(n) и O(m) влечет O(n+m)
(4) O(n) и O(m) влечет O(n×m)

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

 
 
 
 
Сообщение21.09.2006, 11:14 
Котофеич писал(а):
незваный гость писал(а):
:evil:
Спасибо. А откуда это? Книга или статья? Теперь проблем с чтением нет (кроме размера моего мозга)

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


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

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

 
 
 
 
Сообщение21.09.2006, 12:45 
Аватара пользователя
:evil: Ну мало ли что показал Кантор. В каком это смысле его числа существуют?
Как значки на бумаге? И потом кто сказал, что его числа запретили, Вольпин такого не говорил :!:

 
 
 [ Сообщений: 51 ]  На страницу Пред.  1, 2, 3, 4  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group