Искусственный интеллект. Фантастика? Нет! Реальноасть!!!
	Ответ	Голоса	Проценты
	Ничего у вас не получится.	34	70.83%
	У вас всё получится.	11	22.92%
	Мне это не интересно.	3	6.25%
Гости не могут голосовать, зарегистрируйтесть!			Всего Голосов: 48

veprus Advanced Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору Цитата: Истинность его также неизвестна. И как же ваше утверждение что "потенциально, можно доказать любое утверждение."? Ведь из этого следует, что недоказуемых утверждений нет!     Потенциально можно доказать любое истинное утверждение ФОРМАЛЬНОЙ АРИФМЕТИКИ. А мое утверждение ни коим образом к формальной арифметике не относится.   Цитата: В чем заключается противоречие?     Противоречие заключается в том, что получаем систему доказательств, в которой формальная арифметика остается непротиворечивой и при этом становится полной. Прямое противоречие с формулировкой теоремы Геделя.   Кстати, ее формулировка на русском.   Не существует такой формальной системы доказательств, в которой арифметика Пеано была бы полна и непротиворечива.   Под формальной системой доказательств понимается набор правил вывода, записанный на языке предикатов. Любая машина Тьюринга может быть записана на языке предикатов, чем я тоже пользуюсь.     Цитата: Доказана. Теоремой Геделя.   Теорема Геделя относится лишь к формальным системам, каковой человеческое мышление на данный момент не является. По крайней мере формализации для него еще не придумано. ---------- Автофорум on-line мафия на ru-board Всего записей: 791 | Зарегистр. 26-04-2002 | Отправлено: 18:15 17-06-2002

varjag Junior Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору >  Потенциально можно доказать любое истинное утверждение ФОРМАЛЬНОЙ АРИФМЕТИКИ.   В рамках непротиворечивой системы - НЕЛЬЗЯ. Прочтите еще раз формулировку теоремы.   >  Противоречие заключается в том, что получаем систему доказательств, в которой формальная арифметика остается непротиворечивой и при этом становится полной.     Неверно. Мы получаем систему доказательств, в которой формальная арифметика останется не противоречивой, но будет иметь недоказуемые высказывания.   >  Под формальной системой доказательств понимается набор правил вывода, записанный на языке предикатов.   Неверно. Исчисление предикатов - одна из многих формалльных систем.   >  Теорема Геделя относится лишь к формальным системам, каковой человеческое мышление на данный момент не является.   Математическое рассуждение - формально. Вопросы вне математики теорема Геделя не затрагивает.   Знаете, над этим вопросом бились тысячи людей поумнее чем вы и я. И на сегодняшний день *теоретических* препятствий для создания мыслящей машины неизвестно. Алан Тьюринг - автор одноименной машины и теоремы о вычислимости, на которого вы так любите ссылаться, до конца своих дней был уверен что исскуственный интеллект возможен. Если вам лень самому изучить вопрос, просто поверьте им на слово. Всего записей: 115 | Зарегистр. 08-06-2002 | Отправлено: 18:31 17-06-2002

YuriMX BANNED Редактировать | Профиль | Сообщение | Цитировать | Сообщить модератору Уважаемые, я вот почитал, и подумал, что за ... пишут. А как сами теоремы о недоказуемости доказывают? Может кто ссылку кинет на сайты с математикой... а то что то Вы меня совсем запутали. Всего записей: 54 | Зарегистр. 15-01-2002 | Отправлено: 18:57 17-06-2002

veprus Advanced Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору Я не поленился найти в интернете утверждение теоремы Геделя и привести его здесь, поскольку Ваша формулировка содержит изъяны. Подчеркиваю, что ВСЕ условия в формулировке существенны.   Если мы ФИКСИРУЕМ арифметику Пеано и ФИКСИРУЕМ систему доказательств, то для ДАННОЙ системы доказательств ДАННАЯ арифметика не будет одновременно непротиворечивой и полной. Но ничто не мешает нам выбрать ДРУГУЮ систему доказательств, в которой арифметика останется непротиворечивой. Это ничему не противоречит. И ниоткуда не следует, что множество недоказуемых утверждений второй системы будет содержать множество недоказуемых утверждений первой системы. А потому ничто не мешает нам предположить, что при этом количество недоказуемых утверждений уменьшится. Пусть даже на одно. Вообще количество утверждений счетно. Потому ничто не мешает нам предположить, меняя сколь угодно много раз систему доказательств, мы можем, в конце концов, доказать ЛЮБОЕ истинное утверждение.     Все дело в том, что процесс ВЫБОРА системы доказательств не является формализованным (по крайней мере, до сих пор формализации нет), а потому из теоремы Геделя не следует, что существуют истинные утверждения, которые не может доказать человек.     Приведенные выше рассуждения не являются ДОКАЗАТЕЛЬСТВОМ того, что ИИ невозможет. Они лишь показывают, за счет чего человек может превзойти машину. Ни доказать, ни опровергнуть их в математике нельзя, поскольку процесс ВЫБОРА системы доказательств в математике не формализован.   Я читал различные источники и лично общался с весьма авторитетными людьми, которые считали, что машина НИКОГДА не сможет заменить человека даже в математике. Но я не использую их мнение, а привожу аргументированное суждение. Прошу Вас поступать также. Я так и не услышал внятного опровержения того факта, что процесс ВЫБОРА системы доказательств нельзя реализовать на машине. Опровержением будет лишь его реализация или доказательство соответствующего теоретического результата, а я о них пока не слышал.   И в конце, просто для справки. У меня в университете логику читал Палютин. Я помню, что после этой теоремы мы его спросили:"Что, значит, существуют теоремы арифметики, которые человек не может доказать?" На что он ответил:"Существуют утверждения, которые не может доказать машина." После этого он привел какую-то аргументацию в защиту человека. Я ее не помню (давно это было), но подозреваю, что он сказал нечто подобное тому, что написано мной. Если Вы изучали логику, то должны знать такую фамилию. К сожалению, не могу сослаться также на Ершова, поскольку с ним мы об этом никогда не говорили.   Прошу отвечать аргументированно!!! ---------- Автофорум on-line мафия на ru-board Всего записей: 791 | Зарегистр. 26-04-2002 | Отправлено: 19:19 17-06-2002

varjag Junior Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору >  А как сами теоремы о недоказуемости доказывают?   В оригинале, Гедель показал что множество доказуемых формул всегда меньше множества истинных формул, вне зависимости от используемой формальной системы.   Добавлено > Но ничто не мешает нам выбрать ДРУГУЮ систему доказательств, в которой арифметика останется непротиворечивой.     В этой ДРУГОЙ системе доказательств всегда будут свои, недоказуемые, но истинные высказывания.   > Потому ничто не мешает нам предположить, меняя сколь угодно много раз систему доказательств, мы можем, в конце концов, доказать ЛЮБОЕ истинное утверждение.   Ни одна из этих систем не сможет доказать ВСЕ истинные утверждения ОДНОВРЕМЕННО. Поэтому пользы от такого подхода - ноль.   >  Приведенные выше рассуждения не являются ДОКАЗАТЕЛЬСТВОМ того, что ИИ невозможет.   Не обижайтесь, но приведенные выше рассуждения не доказывают ничего. Всего записей: 115 | Зарегистр. 08-06-2002 | Отправлено: 19:19 17-06-2002

veprus Advanced Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору Цитата: Уважаемые, я вот почитал, и подумал, что за ... пишут.   А как сами теоремы о недоказуемости доказывают?   Может кто ссылку кинет на сайты с математикой... а то что то Вы меня совсем запутали.   Доказательство, которое рассказывали мне (в общих чертах). Предположим, что любое истинное утверждение можно доказать. Поскольку все формализованно и фиксированно, можно ввести нумерацию доказательств, утверждений и т.д. Таким образом, все можно записать с помощью частично-рекурсивных функций. Утверждение о доказуемости означает, что существует функция, которая на любом истинном утверждении выдает ответ, скажем, 1, а на ложном либо 0, либо не останавливается. Поскольку эта функция конкретна, она зависит от конечного набора переменных. Но при этом доказывается, что в непротиворечивой системе существуют функции, которые зависят от сколь угодно большого количества переменных и при этом не могут быть реализованы в качестве функций с меньшим количеством переменных. Понять это очень легко. Предположим, что Fn - множество функций от n переменных. Поскольку все здесь счетно, мы можем ввести нумерацию на этих функциях и рассмотреть функцию G с условием, что G(x1,...,xn,y)=Fy(x1,...,xn). Непротиворечивость арифметики влечет, что данная функция не может быть реализована над меньшим количеством переменных.   Добавлено Цитата: Ни одна из этих систем не сможет доказать ВСЕ истинные утверждения ОДНОВРЕМЕННО. Поэтому пользы от такого подхода - ноль.     Я и не говорю, что эта система опишет ВСЕ истинные утверждения. Это невозможно. Но повторяя процесс сколь угодно большое количество раз мы, в конце концов, дойдем до любого истинного утверждения.     Это аналогично тому, что множество натуральных чисел бесконечно, но добавляя по единице мы в конце концов дойдем до любого натурального числа. Нужно объяснить, почему количество ВСЕХ (а не только истинных) утверждений счетно и почему для них проходит это рассуждение?   Добавлено Цитата:   Не обижайтесь, но приведенные выше рассуждения не доказывают ничего.   Я и не сказал, что они что-то доказывают. Я просто объяснил, почему из теоремы Геделя не следует, что человек не может доказать все истинные утверждения.   Добавлено Забыл добавить. Мы не просто меняем систему доказательств. Мы ее каждый раз добавляем, уменьшая множество недоказуемых утверждений. ---------- Автофорум on-line мафия на ru-board Всего записей: 791 | Зарегистр. 26-04-2002 | Отправлено: 19:29 17-06-2002

varjag Junior Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору > Но повторяя процесс сколь угодно большое количество раз мы, в конце концов, дойдем до любого истинного утверждения.     Меняя систему доказательств, мы меняем формальную систему. В неевклидовой геометрии параллельные линии могут пересекаться в бесконечности, что позволяет доказать ряд интересных утверждений, многие из которых могут быть истинны и в евклидовой геометрии. Однако, для евклидовой геометрии эти доказательства не имеют силы.   >  Это аналогично тому, что множество натуральных чисел бесконечно, но добавляя по единице мы в конце концов дойдем до любого натурального числа.   Нет, это аналогично тому, что на каждой итерации мы меняем правила сложения. А вообще, я не люблю аналогии в математике.   Добавлено > Мы ее каждый раз добавляем, уменьшая множество недоказуемых утверждений.   А вот так не получится - система станет противоречивой. Всего записей: 115 | Зарегистр. 08-06-2002 | Отправлено: 19:41 17-06-2002

veprus Advanced Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору Цитата: Меняя систему доказательств, мы меняем формальную систему. В неевклидовой геометрии параллельные линии могут пересекаться в бесконечности, что позволяет доказать ряд интересных утверждений, многие из которых могут быть истинны и в евклидовой геометрии. Однако, для евклидовой геометрии эти доказательства не имеют силы.     Мы не меняем формальную систему. Это все та же арифметика.   Цитата: А вот так не получится - система станет противоречивой.   В логике доказано, что объединение непротиворечивых систем остается непротиворечивой системой.   Добавлено Читайте внимательней. Я же подчеркивал, что меняется лишь система доказательств, но не арифметика.     Цитата: Нет, это аналогично тому, что на каждой итерации мы меняем правила сложения.   А вообще, я не люблю аналогии в математике.     Аналогия заключается в процессе исчерпания счетного множества. Это существенно, что множество счетно, так как для континуума такое рассуждение уже не проходит.   Добавлено Контраргументов пока нет. ---------- Автофорум on-line мафия на ru-board Всего записей: 791 | Зарегистр. 26-04-2002 | Отправлено: 19:44 17-06-2002

varjag Junior Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору >  Мы не меняем формальную систему.   Если мы меняем множество аксиом и/или правил вывода, то мы меняем формальную систему.     >  В логике доказано, что объединение непротиворечивых систем остается непротиворечивой системой.   Если результат будет непротиворечивой системой, в ней будут недоказуемые истины. Теорема Геделя о неполноте. Всего записей: 115 | Зарегистр. 08-06-2002 | Отправлено: 19:48 17-06-2002

veprus Advanced Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору Цитата: Если мы меняем множество аксиом и/или правил вывода, то мы меняем формальную систему.     Правила вывода не входят в формальную систему. Равно как и набор аксиом. В формальную систему входит язык с заданными правилами формирования утверждений. Аксиомы арифметики включены в язык.   Цитата: Если результат будет непротиворечивой системой, в ней будут недоказуемые истины. Теорема Геделя о неполноте.   Я говорю о ПРЕДЕЛЕ. Мы не можем его достичь, но можем подойти сколь угодно близко. Потому рано или поздно любое истинное утверждение будет доказано.   Извиняюсь за нескромный вопрос, а Вы сами чем занимаетесь. Слишком нематематическая у Вас аргументация. ---------- Автофорум on-line мафия на ru-board Всего записей: 791 | Зарегистр. 26-04-2002 | Отправлено: 19:55 17-06-2002

varjag Junior Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору > В формальную систему входит язык с заданными правилами формирования утверждений.   Правила формирования утверждений и есть правила вывода.   >  Извиняюсь за нескромный вопрос, а Вы сами чем занимаетесь.     В данный момент - я системный аналитик. Математику нам читали хорошо.   > Слишком нематематическая у Вас аргументация.   В чем это заключается? Всего записей: 115 | Зарегистр. 08-06-2002 | Отправлено: 20:02 17-06-2002 | Исправлено: varjag, 20:02 17-06-2002

veprus Advanced Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору Цитата: Правила формирования утверждений и есть правила вывода.   НЕТ!!! Я уже писал определения здесь и повторять не буду. Чтобы убедить Вас в том, что это разные вещи приведу простой контрпример. Если бы правила вывода и правила формирования утверждений совпадали, то любое утверждение было бы истинным, поскольку любое утверждение, которое можно вывести, является истинным. Спорить было бы не о чем.   Цитата: В чем это заключается?   Заключается это в том, что Вы придираетесь к отдельным словам, не отвечая по сути. Так поступают профессиональные ораторы. И это означает, что либо Вы не понимаете о чем я вам говорю, а потому не математик, либо Вы не умеете корректно формулировать доказательство, а потому Вы тоже не математик. Надеюсь, без обид?     Добавлено Да, возможен еще третий вариант. Я объясняю плохо. Но тогда вы должны задавать точные наводящие вопросы, чего тоже не наблюдается. ---------- Автофорум on-line мафия на ru-board Всего записей: 791 | Зарегистр. 26-04-2002 | Отправлено: 20:10 17-06-2002

varjag Junior Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору > Если бы правила вывода и правила формирования утверждений совпадали, то любое утверждение было бы истинным, поскольку любое утверждение, которое можно вывести, является истинным.   В непротиворечивой системе, любое выводимое утверждение является истинным. Но не любое  истинное утверждение выводимо.   > Вы придираетесь к отдельным словам, не отвечая по сути.   Я отвечаю по сути, но вы глухи к аргументам. Каюсь, не надо было мне поминать Тьюринга. С другой стороны, переход на личности - тоже плохой аргумент в споре.   > Надеюсь, без обид?   Знаете, я занимаюсь разработкой компиляторов, поэтому теорию формальных систем волей-неволей пришлось изучить. И, вероятно, я знаю о ней не меньше студента-математика. Без обид? Всего записей: 115 | Зарегистр. 08-06-2002 | Отправлено: 20:22 17-06-2002

veprus Advanced Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору Цитата: > Если бы правила вывода и правила формирования утверждений совпадали, то любое утверждение было бы истинным, поскольку любое утверждение, которое можно вывести, является истинным.     В непротиворечивой системе, любое выводимое утверждение является истинным. Но не любое  истинное утверждение выводимо.   Где я сказал о ВЫВОДИМОМ утверждении. Я говорю просто об УТВЕРЖДЕНИИ. А множество утверждений никак не зависит от правил вывода. Читайте внимательней. Это как раз то, почему о чем я говорил - не математические рассуждения. Я говорю одно, а Вы отвечаете совсем другое.   Цитата: Знаете, я занимаюсь разработкой компиляторов, поэтому теорию формальных систем волей-неволей пришлось изучить. И, вероятно, я знаю о ней не меньше студента-математика. Без обид?   Я знаю, что такое компиляторы. Согласен, что формальные системы Вы должны знать получше чем я. Почему же Вы тогда путаете определения? Но вот по поводу доказательств... Я думаю, что тут Вы уже определенно все подзабыли. А мы сейчас говорим о доказательствах.   Добавлено Цитата: Я отвечаю по сути, но вы глухи к аргументам.   Каюсь, не надо было мне поминать Тьюринга. С другой стороны, переход на личности - тоже плохой аргумент в споре.     Я не переходил на личности. Просто было интересно, угадал я или нет.   Далее, по теме. Либо мы пользуемся разными определениями, либо... я даже не знаю, что подумать.   Итак. Определения утверждения я уже давал. См. мой пост на стр. 6 данного топика.   Определение правил вывода.   Символ "Т на боку" используется формально, он не входит в язык.   Аксиомы - это КОНЕЧНЫЙ набор схем типа Ф"Т на боку" f(Ф), где f - это некоторое слово, в нашем языке, получаемое из слова Ф.   Правила вывода - это КОНЕЧНЫЙ набор схем типа     f(Ф1,...,Фk)"Т на боку"g(Ф1,...,Фk) "следует" h(Ф1,...Фk)"Т на боку" k(Ф1,...,Фk).     Именно их мы меняем, расширяем и т.д. Все это вместе дает нам систему доказательств.   Добавлено Система называется непротиворечивой, если в ней невыводима формула вида Ф и "не"Ф. Формула называется истинной, если она дает тождество на нашей системе относительно выбранной интерпретации (ее мы тоже фиксируем). Формула называется выводимой относительно данной системы правил вывода, если если существует дерево доказательств, все начальные вершины которого аксиомы.   Добавлено Цитата: Правила вывода - это КОНЕЧНЫЙ набор схем типа     f(Ф1,...,Фk)"Т на боку"g(Ф1,...,Фk) "следует" h(Ф1,...Фk)"Т на боку" k(Ф1,...,Фk).   Извиняюсь, должно быть так: f(Ф1,...,Фk)"Т на боку"g(Ф1,...,Фk) "следует"Ф, где Ф-формула.   Добавлено Мы меняем правила вывода. Система, утверждения и истинность от этого НЕ МЕНЯЮТСЯ. Т.о. мы можем расширять и расширять правила вывода, не меняя системы.     Добавлено Цитата: Правила формирования утверждений и есть правила вывода.   Теперь понятно, что написано некорректное утверждение?   Цитата: Если мы меняем множество аксиом и/или правил вывода, то мы меняем формальную систему.   И это утверждение тоже некорректно.   Цитата: Если результат будет непротиворечивой системой, в ней будут недоказуемые истины. Теорема Геделя о неполноте.   Еще раз повторюсь, я говорю о ПРЕДЕЛЕ. Мы НИКОГДА не построим такой системы. Но это не значит, что есть утверждения, которые мы НИКОГДА не докажем. ---------- Автофорум on-line мафия на ru-board Всего записей: 791 | Зарегистр. 26-04-2002 | Отправлено: 20:29 17-06-2002

varjag Junior Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору > А множество утверждений никак не зависит от правил вывода.     Да, но от правил вывода зависит выводимо ли утверждение. А продукции (правила вывода) ЯВЛЯЮТСЯ частью формальной системы.   >  Мы меняем правила вывода. Система, утверждения и истинность от этого НЕ МЕНЯЮТСЯ.   Т.е. если в системе мы меняем правило a -> b на a ->с, формальная система не меняется?   > Но это не значит, что есть утверждения, которые мы НИКОГДА не докажем.   Есть утверждения, которые мы никогда не докажем в рамках конкретной формальной системы, не используя расширенный формализм.   Добавлено P.S. Знак "->" в примере выше означает порождение, т.е. правило перезаписи.   Добавлено P.P.S. Не думайте только что я доказываю возможность human-level AI: я прекрасно вижу практические препятствия, и допускаю что потенциально могут быть и теоретические ограничения. Но теорема о неполноте - не одно из них: по этому поводу в computer sicence есть коненсус на протяжении последних нескольких десятилетий. Всего записей: 115 | Зарегистр. 08-06-2002 | Отправлено: 21:23 17-06-2002

veprus Advanced Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору Цитата: Да, но от правил вывода зависит выводимо ли утверждение. А продукции (правила вывода) ЯВЛЯЮТСЯ частью формальной системы.     Я же только что привел все определения. Неужели и после этого не понятно, что алгебраическая система (это так правильно называется) и система доказательств (правила вывода плюс аксиомы) это разные вещи???!!     Цитата: Т.е. если в системе мы меняем правило a -> b на a ->с, формальная система не меняется?   Именно!!! Набор утверждений и их истинность от этого не изменится!!! Идея в том и заключается, что при добавлении/замене одних правил вывода другими множество утверждений и их истинность от этого не изменятся. Понятие утверждения и его истинности даются независимо от системы доказательств. Уже потом доказывается, что если система доказательств непротиворечива, то любое выводимое утверждение является истинным!   Цитата: Есть утверждения, которые мы никогда не докажем в рамках конкретной формальной системы, не используя расширенный формализм.     Мы расширяем не формализм, не формальную систему, а систему доказательств. Не надо путать и подменять одни понятия другими. Такого термина, как формализм, я нигде не использовал. Попрошу использовать лишь те понятия, для которых даны определения.     ---------- Автофорум on-line мафия на ru-board Всего записей: 791 | Зарегистр. 26-04-2002 | Отправлено: 09:53 18-06-2002

Prizrak Junior Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору 1) Вернёмся к самому началу этого топика... Человек - это всего-навсего сложная машина. Он мыслит так же, как и современные компьтеры, при помощи электромагнитных импульсов. Только разрядность мозга человека во много тысячь... миллионов... а может и миллиардов раз больше. 2) Цитата: Теорема Геделя относится лишь к формальным системам, каковой человеческое мышление на данный момент не является.   Как я понял из вашего спора мышление машины формально. Из этого утверждения и пункта 1) следует, что мышление человека формально. 3) Математика рассматривает обстрактные прцессы, не имеющие никакого отношения к реальным процессам. Возмём к примеру n-мерные пространства и геометрию в них, что может быть обстрактнее? Пожай только Машине Дьюринга. Так что ваши познания в математике похвальны, но при создании ИИ математик имеет равные шансы с историком добиться успеха. Я не прав? Беседуйте дальше, мне очень интересна ваша беседа, благодаря ей я заполняю свои прорехи в матеметике. Всё очень интересно, только немного не относится к ИИ. Всего записей: 129 | Зарегистр. 21-02-2002 | Отправлено: 14:08 18-06-2002

varjag Junior Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору ОК, veprus, давайте опредилимся с терминологией. Итак:   1) Формальный алфавит - конечная дискретная система сущностей. Сущности обычно называют символами, хотя, строго говоря, они абстрактные сущности, поименованные символами.   2) Формальный язык - класс абстрактных формальных размещений символов формального алфавита, ограниченный точным объективным описанием возможных отношений между элементами размещений, и между символами и такими элементами, но допускающий неограниченное добавление элементов в допустимые отношения. Размещения в фромальном языке иногда называют словами, иногда выражениями. Формальный язык определяет класс грамматически корректных высказываний.   3) Формальное правило - точно и объективно описанное правило, позволяющее определенным выражениям формального языка быть записанными в присутствии некоторых других выражений.  Последовательность выражений, допустимая формальными правилами называется "вывод" или "порождение".   4) Формальная система - абстрактная система сущностей и отношений, которая может быть описана указанием формального алфавита, формального языка на этом алфавите, и формальных правил для порождения высказываний этого формального языка.   То есть, модифицируя правила, мы модифицируем систему.   Теперь, теорема Геделя о неполноте показывает что мощность множества истинных высказываний в непротиворечивой формальной системе всегда строго больше мощности множества выводимых высказываний.   Отсюда простое следствие, что существуют истинные, но недоказуемые высказывания в рамках формальной системы.   В конце-концов, прочитайте первый абзац статьи Геделя с доказательством: http://www.ddc.net/ygg/etext/godel/godel3.htm   На всякий случай процитирую: "It may therefore be surmised that these axioms and rules of inference are also sufficient to decide all mathematical questions which can in any way at all be expressed formally in the systems concerned. It is shown below that this is not the case, and that in both the systems mentioned there are in fact relatively simple problems in the theory of ordinary whole numbers4 which cannot be decided from the axioms."   Т.е. невозможно создать формальную систему (в т.ч. и та, которую пытался построить Рассел), которая сможет ответить на все вопросы математики. Заметьте, речь идет о том, что *никто* не сможет построить такую систему - ни машина, ни человек. В начале 30-х о возможности ИИ еще не задумывались.   Добавлено Prizrak > Возмём к примеру n-мерные пространства и геометрию в них, что может быть обстрактнее?     Есть вещи и поабстрактнее - теория категорий, например.   И еще - реальный мир подчиняется математическим правилам, поэтому математика, вероятно, самая универсальная и полезная из всех наук. Всего записей: 115 | Зарегистр. 08-06-2002 | Отправлено: 17:38 18-06-2002 | Исправлено: varjag, 17:40 18-06-2002

Prizrak Junior Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору Цитата: И еще - реальный мир подчиняется математическим правилам... Если это так, то каждая сложная теорема доказывается при помощи уже доказанных и более простых. Отсюда следует, что при желании компьютер может доказать любую теорему. Из этого и цитаты следует, что компьютер может понять этот мир и ИИ возможен. Всего записей: 129 | Зарегистр. 21-02-2002 | Отправлено: 18:01 18-06-2002

Tim72 Silver Member Редактировать | Профиль | Сообщение | ICQ | Цитировать | Сообщить модератору Ну вот еще один прикол во флейме... Вначале социологию свели к бухгалтерии... А теперь вопрос ИИ превращается в осуждение таблицы умножения... и не поймешь... толи смеяться... толи сочувствовать... ...искренние соболезнования участникам и читателям... Всего записей: 2480 | Зарегистр. 16-02-2002 | Отправлено: 21:10 18-06-2002

Страницы: 1 2 3 4 5 6 7 8 9 10 11 12 13

Компьютерный форум Ru.Board » Общие » Флейм » Искусственный интеллект. Фантастика? Нет! Реальноасть!!!

Переход по форумам  Закладки   » Компьютеры Цифровое изображение Программы Microsoft Windows UNIX Другие OS Hardware В помощь сисадмину Прикладное программирование Игры Форумные игры   » Интернет Web-программирование В помощь вебмастеру Графика Хостинг Зацените-ка!   » Тематические Ikonboard v.2 Ikonboard v.3 Invision Board Другие форумы PHP-Nuke и другие порталы Мобила   » Общие Спорт Флейм Темы по региональным встречам Музыка и Кино Юмор Литература и Живопись   » Ru.Board Новости Помощь по форуму   » Андеграунд eBookz Варезник Раздачи и акции Мобильный варезник Андеграунд Игры и фильмы   » Специальные Тестирование