Тема Научный текст Практический блок Вопросы для обсуждения и закрепления

Математическая логика – это наука, которая исследует математические доказательства. Математическая логика возникла в 19 веке. Ее создателем был англичанин Д. Буль, а усовершенствовали Ч. Пирс, Б. Рассел, А.Н. Колмогоров, А.А. Мальцев. Она относится к логике в целом, однако, с учетом специальных потребностей математики.

Математическая абстракция является одной из особенностей математического мышления. Сложные системы математической абстракции, их взаимосвязи и сущность – все это содержится в логической математике, а именно – в доказательствах математических теорем. Классическим примером такого доказательства является создание геометрии Евклидом.

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

Формулировки теорем записываются в виде формул с помощью специальных символов, используемых наряду с известными математическими знаками. Доказательство теоремы сводится к выведению представляющей ее формулы. Некоторые математики пытались выразить все математические дисциплины без применения словесных доказательств, только с помощью символов и формул.

Из сказанного следует, что идея создания знаков, которые бы заменили слова – имеющие иногда разное значение – беспокоила ученых уже давно. (С. Коваль)