Представьте себе мир, где каждое утверждение можно однозначно доказать либо опровергнуть. Именно таким всё грезилось математикам начала XX века, стремящимся создать всеобъемлющую систему аксиом, способную описать всю математику. Но в 1931 году молодой австрийский логик Курт Гёдель перевернул их идеи с ног на голову, представив миру свою знаменитую теорему о неполноте. Для нас самое интересное тут даже не её математической приложение, а связь этих знаний с физикой. Ведь из этой неполноты следует кое-что очень важное и математика - это язык физики...

Мы продолжаем рассматривать парадигмы и подходы в Искусственном Интеллекте, и вслед за интуитивным подходом, который мы изучили в прошлый раз, сегодня мы рассмотрим два близкородственных подхода нисходящей парадигмы — символьный и логический. Это позволит нам моделировать высшие психологические функции человека. Мы уже несколько раз упоминали о том, что человек оперирует символами. Об этом же говорит упомянутая ранее гипотеза Ньюэлла — Саймона о том, что любая система, показывающая интеллектуальное поведение, должна с необходимостью оперировать символьной информацией...