Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Brukvalub, замечу, что выводимость и вывод - это нечто разное. Пусть например теория полна, и удалось доказать невыводимость . Тогда в силу полноты доказана выводимость , хотя мы и не построили явно вывод этой формулы.
arseniiv
Re: Задачники на выводимость
25.01.2017, 01:59
Ну так там вроде и про прямое построение вывода есть задачи, и более интересные.