B> для изучения топологии
Зачем мне это в курсе матлогики, для доказательства корректности программ?
B> теории меры
Зачем мне это в курсе матлогики, для доказательства корректности программ?
B> и много чего еще.
Ни о чём.
Вот, даже, допустим что я прочитаю, что открытие этого "парадокса" привело
к развитию "конструктивных" подходов. Дальше читаю
В 2017 году Эндрю Маркс и Спенсер Унгер нашли полностью конструктивное решение задачи Тарского
И что? Что мне даёт знание о конструктивности конструктивных подходов, если парадокс никуда не делся?