пустые глаза

Искусственный интеллект



Вопрос о том, как человек мыслит, привлекал внимание учёных во все времена, начиная с глубокой древности. Уже в древней Греции были открыты многие закономерности логического мышления, составившие основу так называемой формальной логики. Определённую завершённость формальная логика древности получила в трудах Аристотеля. Два тысячелетия спустя новый толчок развитию формальной логики дало развитие математики и математической символики. Эта символика позволила записывать логические высказывания в виде формул и построить так называемую алгебру логики. Переход от простой формальной логики Аристотеля к современной математической логике привёл к огромному расширению возможностей формализации строгих рассуждений, характерных для так называемых дедуктивных наук (математика, теоретическая физика и др.).

Продолжение здесь: http://www.etheroneph.com/cybernetics/363-iskusstvennyj-intellekt.html