Логика и метаматематические исследования

Как заявляют авторы в их учебном издании «Математической логики»: «Изложение исчисления высказываний и исчисления предикатов не является традиционным и начинается с изучения секвенциальных вариантов исчислений натурального вывода (хотя традиционные исчисления также появляются здесь под названием гильбертовских). Основанием к этому являются: 1) возможность хорошего объяснения смысла всех правил вывода; 2) возможность более быстрого приобретения навыка формальных доказательств; 3) практическая возможность проделать все необходимые в курсе формальные доказательства в таких исчислениях. Многолетний опыт чтения старшим из авторов курса математической логики на математическом факультете Новосибирского государственного университета … показывает, что указанные выше возможности вполне реализуются».

1👍8❤‍🔥4💯1

www.tgoop.com/logic_metamathematics/910

534 viewsFeb 16 at 16:35

Как заявляют авторы в их учебном издании «Математической логики»: «Изложение исчисления высказываний и исчисления предикатов не является традиционным и начинается с изучения секвенциальных вариантов исчислений натурального вывода (хотя традиционные исчисления также появляются здесь под названием гильбертовских). Основанием к этому являются: 1) возможность хорошего объяснения смысла всех правил вывода; 2) возможность более быстрого приобретения навыка формальных доказательств; 3) практическая возможность проделать все необходимые в курсе формальные доказательства в таких исчислениях. Многолетний опыт чтения старшим из авторов курса математической логики на математическом факультете Новосибирского государственного университета … показывает, что указанные выше возможности вполне реализуются».

BY Логика и метаматематические исследования