Машина логической теории — сложная система обработки информации

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