• Авторизация
Дневник glevr Лента друзей - Дневник - Полная версия


Что делать? 29-02-2004 21:37 к комментариям - к полной версии - понравилось!


Заметка про пианиста стихийно переросла в философский форум. Что ж, это мы всегда за милую душу, только, вот, к пианисту это уже отношения не имело.

Вообще мысль о том, что любую проблему можно решить безусловно интересна, но очевидно не верна. Здесь в Израиле это видно не вооруженным глазом, в прочем, если это для кого-то не очевидно, предлагаю более формальное объяснение:

Множество всех проблем очевидно не счетное, а множество всех разрешимых проблем счетное, так как каждой разрешимой проблеме соответсвует машина Тьюринга, а построить биекцию между множеством натуральных чисел и множеством машин Тьюринга можно очень просто. ч.т.д.

Хе-хе-хе ( вот что бывает после сессии ).

P.S. А если еще не убедил, то вспомним теорему о неполноте господина Гёделя "Любая аксеоматическая система не полна".
вверх^ к полной версии понравилось! в evernote
Комментарии (13):
Sof 29-02-2004-21:44 удалить
Ну, не такой уж и философский форум. ;) После сессии - это цветочки; в процессе подготовки к недавним госэкзаменам я стала выражаться, как теоретик менеджмента. =)
Вообще, мне кажется, любая проблема или имеет решение, или задает некую ассимптоту, к которой надо стремиться... Причем стремление к ней не обязательно дает решение проблемы (если она уходит в бесконечность). Как такая мысль? ;)
Интересно, а как в Израиле делятся степени высшего образования?
Обратиться - Ответить - К полной версии
Гео 29-02-2004-23:36 удалить
Исходное сообщение glevr
Множество всех проблем очевидно не счетное, а множество всех разрешимых проблем счетное, так как каждой разрешимой проблеме соответсвует машина Тьюринга


(вспоминая зачёты по мат.) Доказательство липовое!
Множество всех проблем - конечное.
Вообще, мы на втором курсе спорили с нашим матлогиком. Он отставивал точку зрения, что в реальном мире не существует бесконечных множеств, я пытался ему конструктивно возразить, говоря о множестве элементарных частиц во вселенной, но был "раздавлен авторитетом" :)

Вот теорема Гёделя - это да...
Обратиться - Ответить - К полной версии
Гео 29-02-2004-23:46 удалить
Ещё, я тут вспомнил, как я на подобную тему как-то писал на http://www.liveinternet.ru/users/643964/post788396/ (это было до твоего появления на лиру). Надеюсь, Лёвка, ты нас с Сашкой не вычеркнешь из адресной книги, за то, что мы там накрапали...
Обратиться - Ответить - К полной версии
Сашачок 01-03-2004-11:08 удалить
Гоша, я, пока страница грузилась, боялась, что же мы там накропали... знаешь, мы за свою жизнь столько всякого накропали Леве... :) Он меня даже в друзья не берет, видать, бережет почтовый ящик...
Обратиться - Ответить - К полной версии
glevr 01-03-2004-18:59 удалить
Исходное сообщение Сашачок
Гоша, я, пока страница грузилась, боялась, что же мы там накропали... знаешь, мы за свою жизнь столько всякого накропали Леве... :) Он меня даже в друзья не берет, видать, бережет почтовый ящик...


Саш, поясни мне дураку, что значит я тебя в друзья не беру?
Обратиться - Ответить - К полной версии
glevr 01-03-2004-19:03 удалить
Исходное сообщение Гео
(вспоминая зачёты по мат.) Доказательство липовое!
Множество всех проблем - конечное.


Не понял? Это еще как?

Может я и не прав, но... Назовем проблемой вопрос о пренадлежности того или иного элемента некому языку.
Количество языков не счетно, причем, по-моему, даже над одним отдельно взятым конечным алфавитом. Значит и количество проблем несчетно. Что-то не так?!?
Обратиться - Ответить - К полной версии
Sof 01-03-2004-21:51 удалить
Мне кажется, множество проблем может быть оценено как конечное только в конкретный момент времени, и то с натяжкой. Множество проблем в УСЛОВНОЙ замкнутой системе может быть конечным, но ведь замкнутость-то условная.
А субъективное и нематериальное, кстати, и вовсе счислению не поддается. Каббалистика пошла, в общем.
Обратиться - Ответить - К полной версии
Sof 01-03-2004-21:52 удалить
А еще мне нравится Майринка читать. У него бы любой фаталистичный персонаж эту дискуссию вмах разрубил какой-нибудь одной фразой. О бессмысленности. ;)
Шутка.
Обратиться - Ответить - К полной версии
glevr 01-03-2004-22:00 удалить
Исходное сообщение Sof
Мне кажется, множество проблем может быть оценено как конечное только в конкретный момент времени, и то с натяжкой. Множество проблем в УСЛОВНОЙ замкнутой системе может быть конечным, но ведь замкнутость-то условная.
А субъективное и нематериальное, кстати, и вовсе счислению не поддается. Каббалистика пошла, в общем.


Нет, определенно нахожу схожесть характеров! Я тоже люблю использовать слова, смысл которых мне мало ясен. Интересно, что ты знаешь о кабале? Кстати, почему с двумя "Б"?
Обратиться - Ответить - К полной версии
Sof 02-03-2004-08:54 удалить
Дело в том, что у слова "Каббала" в русском отчего-то два написания. Правда, слово "кабалистика", по-хорошему, пишется только одно б.
Схожесть я отметила еще в твоем сообщении от 12 февраля.
Знаю достаточно мало. Майринк, Лео Перуц, популярная в кругу российских псевдоэзотериков литература.
Обратиться - Ответить - К полной версии
Гео 02-03-2004-10:46 удалить
glevr, мы говорили немного о разном, впрочем, чёрт с ним :)
Обратиться - Ответить - К полной версии
Сашачок 05-03-2004-16:40 удалить
В ПЧ ко мне не записываешься.
По поводу схожести - !!
Обратиться - Ответить - К полной версии
Sof 05-03-2004-22:40 удалить
Сашачок, !! - це о чем?
Обратиться - Ответить - К полной версии


Комментарии (13): вверх^

Вы сейчас не можете прокомментировать это сообщение.

Дневник Что делать? | glevr - Дневник glevr | Лента друзей glevr / Полная версия Добавить в друзья Страницы: раньше»