Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

Критическая рефлексия системного подхода к изучению взаимодействия формальной логики и обоснования математики

Дата публикации: 2024

Дата публикации в реестре: 2024-04-15T11:24:41Z

Аннотация:

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

Тип: Article


Связанные документы (рекомендация CORE)