Помощь      Поиск      Участники      Календарь      Новости
 Учебные Материалы      ВАЛтест     Фотогалерея Фотогалерея
 Правила форума      Виртуальные тренажеры      Мемуары


  Reply to this topicStart new topicStart Poll

> (2012) Любовь, мир и невычислимые функции
Подписка на тему | Сообщить другу | Версия для печати
VAL
Дата 18.04.2012 13:48
Quote Post
Offline



Мэтр, проФАН любви... proFAN of love
*****

Профиль
Группа: Администраторы
Сообщений: 38049
Пользователь №: 1
Регистрация: 6.03.2004
Любовь, мир и невычислимые функции
Источник: http://ex3ndr.livejournal.com/11063.html

QUOTE
Давайте подумаем что такое знание в этом мире? И как это связано с любовью и Тьюрингом?


ЗЫ. Любопытно, что поиск по ключевым словам "невычислимые функции" приводит еще и к сайту олимпиады "Наноэлектроника"... :doh:

ЗЫ №2. http://www.coders-library.ru/files-print-121.html - из библиотеки программиста. Ю.И.Манин - Вычислимое и невычислимое
QUOTE
Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешимых задач. Обсуждаются проблемы оценки сложности вычислений и алгоритмов. Книга будет полезна широкому кругу специалистов, занимающихся проблемами машинного перевода, искусственного интеллекта, общего использования ЭВМ.


ЗЫ №3. http://ivanem.chat.ru/godel1.htm - Иванов Е.М. К проблеме "вычислимости" функции сознания
QUOTE
Речь в данной работе пойдет о так называемом "геделевском аргументе", который используется как аргумент против возможности создания искусственного интеллекта. Суть аргумента заключается в следующем: полагают, что из теоремы К. Геделя о неполноте формальных систем вытекает принципиальное различие между искусственным ("машинным") интеллектом и человеческим умом, а именно, полагают, что теорема Геделя указывает на некоторое принципиальное преимущество человеческого ума перед "умом" машинным - т.е. человек обладает способностью решать проблемы, принципиально неразрешимые для любых искусственных "интеллектуальных" систем (так называемые "алгоритмически неразрешимые" проблемы), причем ограниченность "искусственного ума" проистекает из его "формального" характера.

Заметим, что "геделевский аргумент"в настоящее время поддерживается рядом известных авторов (Дж. Лукас (1), Р. Пенроуз (2,3 ) и др.) и вызвал обширную научную дискуссию (см. (4 - 11)). Все это заставляет отнестись к данному аргументу серьезно и внимательно.


--------------------
www.valinfo.ru
Всегда... Always....
Quod licet jovi, non licet bovi!
PMEmail PosterUsers Website
Top
1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | МозгоБЛУДие | Следующая тема »

Topic Options Reply to this topicStart new topicStart Poll

 

Powered by Invision Power Board(U) v1.3 Final © 2003  IPS, Inc.
Установка, модификация и поддержка:
Barsum | 1px Design Group & Xac | OппаRU форум