Теорія доказів
З Вікіпедії, безкоштовно encyclopedia
Теорія доказів — розділ сучасної математичної логіки, що вивчає властивості і перетворення формальних доказів, тобто формальних об'єктів, синтаксична правильність яких гарантує семантичну. Це визначення уніфікує безліч різнорідних понять формального доказу, існуючих у математичній логіці: послідовності формул, графи, діаграми і т. д.
Ця стаття містить правописні, лексичні, граматичні, стилістичні або інші мовні помилки, які треба виправити. |
Було запропоновано об'єднати цю статтю або розділ з Теорія доведення, але, можливо, це варто додатково обговорити. Пропозиція з квітня 2019. |