Книга: Лекции по математической логике. Часть 1.

Скачать

Содержанием математической логики является изучение языка математики. Разумеется, забота о языке и постоянная его перестройка для приведения в соответствие с меняющимся состоянием знаний характерна для любой естественной науки (ср. судьбу “флогистона” и “мирового эфира” в физике).

Тем не менее, необходимая работа обычно осуществляется по ходу дела, и то пристальное критическое рассмотрение, которому математика подвергла самое себя и свои средства выражения, представляется уникальным.

Причина этого состоит, конечно, в том, что все остальные естественные науки имеют предмет, внешний им, и эволюция языка наук определяется постоянным сравнением научного описания с описываемой реальностью.