Open AccessЛогика и процедуры поиска вывода
Author(s) -
Брюшинкин Владимир Никифорович
Publication year - 2010
Publication title -
logičeskie issledovaniâ
Language(s) - Russian
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2010-16-0-85-105
Subject(s) - computer science
В статье рассматриваются возможности теории поиска доказательств для моделирования творчества и решения логико-философских задач. Анализируются идеи выдающегося русского логика Владимира Смирнова. Появление теории поиска доказательств объясняется в свете модели развития научных теорий Бориса Грязнова. Объяснение основано на новой интерпретации неожиданных последствий (поризма) теории доказательств Гильберта, в частности, на основе построения доказательств снизу вверх в секвенциальных логических системах, принципа подформульности и его интерпретации в области процедур автоматического поиска доказательств.