Georgiev

Страхотно значи можем да продължим дискусията за Гьодел или по-скоро да я започнем . Теоремата на Гъодел която съм изложил е напълно разбираема дори и за човек без математическа култура. А да се оспорва значението и е напълно немислимо. Това е може би най-известното математическо събитие на миналия век ( Гьодел е сравняван с Айнщаин на математиката ) . А дискусията за приложението и в ИИ е занимавала и занимава всички сериозни изседователи в тази област.

Хайде да поспорим малко и за това дали известната теорема на Курт Гьодел за непълнота може да бъде приложена като аргумент срещу силното направление в Изкуствения Интелект. Давам една бърза формулировка на двете теореми за тези които не са запознати с тях: Теорема 1) Всяка формална аксиоматична система, над която могат да се извършват основните аритметични операции не може да бъде едновременно пълна и непротиворечива. Иначе казано може да бъде конструирано ( Гьоделовото ) твърдение, чието доказателство или не може да бъде изведено от самата система макар че то е вярно или е едновременно вярно и невярно в системата. В първия случай теоремата е непълна а във втория противоречива. Теорема 2) В рамките на всяка непротиворечива формална аксиоматична система, над която могат да се извършват основните аритметични операции е невъзможно да се докаже непротиворечивостта й. От публикуването на теорията през 1931 г. до сега са давани много мнения по този повод. Най-изветсния опит за "атака" срещу силния лагер в ИИ е може би този на Роджър Пенроуз. Накратко идеята е следната: Нека човешкият разум е изоморфен на изчислителна машина. За тази машина теоремите на Гьодел са в пълна сила следователно съществува твърдение което е недуказуемо в рамите на системата ( не може да бъде изведено от машината ) , но човекшкият разум може да го изведе. Иначе казано Гьоделовата формула никога не може да бъде изведена от машина за разлика от човека. Споделете и вашите мнения по въпроса.