youtor.org
43 Исчисление Тейта
#############################
Video Source: www.youtube.com/watch?v=T2Aw0XGQdZs
Общее описание секвенциального исчисления Тейта для логики предикатов первого порядка: • теорема об эквивалентности классическому исчислению Гильберта; • теорема Эрбрана; • теорема об устранении сечения. • 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: • через сервис Boosty: https://boosty.to/mathreisender
#############################
