B> для изучения топологии

Зачем мне это в курсе матлогики, для доказательства корректности программ?

B> теории меры

Зачем мне это в курсе матлогики, для доказательства корректности программ?

B> и много чего еще.

Ни о чём.

B> для изучения топологии

Зачем мне это в курсе матлогики, для доказательства корректности программ?

B> теории меры

Зачем мне это в курсе матлогики, для доказательства корректности программ?

B> и много чего еще.

Ни о чём.


Вот, даже, допустим что я прочитаю, что открытие этого "парадокса" привело
к развитию "конструктивных" подходов. Дальше читаю

В 2017 году Эндрю Маркс и Спенсер Унгер нашли полностью конструктивное решение задачи Тарского

И что? Что мне даёт знание о конструктивности конструктивных подходов, если парадокс никуда не делся?