А где в вашей цитате приписанное вами Вавилову утверждение, что он жалеет о потраченном на нее времени?
Книжка большая, сходу не нашел. Но могу, если это прям так важно.
-- 27.01.2021, 08:10 -- Про любую науку можно сказать "это то, предметом чего является..."
Ну так скажите что-нибудь содержательное о философии.
Мне из параллельных дискуссий становится ясно, что все, что было содержательным в философии, впоследствии оформилось в отдельные науки. Похоже, современным философам ничего не осталось, кроме общих фраз. Ах, да! Бога забыл.
-- 27.01.2021, 08:22 --Ну вот еще из Вавилова:
... я считаю, что бо́льшая часть математической логики абсолют-
но иррелевантна при изучении математики. Вопросы, которые интересуют нас
в этой книге, это конкретные вопросы, в ответе на которые используемые пра-
вила вывода не могут играть вообще никакой роли, а используемые аксиомы
теории множеств — почти никакой. Никакая — никакая!!! — ревизия ‘осно-
ваний’, правил вывода и туманных аксиом логики и теории множеств не в
состоянии отменить сияющие факты, такие как, скажем, то, что существует
ровно 17 групп симметрии плоскости или ровно 6 правильных многогранников
в четырехмерном пространстве. А именно факты такого рода, их объясне-
ния, истолкования, следствия и взаимосвязи составляют основное содержание
математики.
К сожалению, сам я был лишен возможности избежать изучения математической логи-
ки, хотя бы потому, что реформа ВАК 1977 года влила специальность 01.01.03 — алгебра и
теория чисел в специальность 01.01.06 — математическая логика и основания математики
??, в результате чего образовалась новая специальность 01.01.06 — математическая логика,
алгебра и теория чисел. Одним из побочных результатов этого была тотальная пересдача
всеми аспирантами первой части кандидатского экзамена, с включением в нее вопросов по
математической логике, в том числе, конечно, и доказательства теорем Геделя. В настоящее
время в официальной программе первой части экзамена по специальности 01.01.06 вообще
не осталось никакого контента, ничего, кроме логики.