Формализм в математике связан с прикладным использованием в современном мире через формализацию, которая позволяет использовать математику как метод познания объектов других наук. cyberleninka.ru studfile.net
Формализация заключается в использовании специальной символики, которая позволяет отвлечься от изучения реальных объектов и оперировать множеством символов (знаков). studfile.net Это помогает точно выразить и закрепить уже имеющиеся знания об исследуемых объектах и явлениях, а также выступает инструментом в процессе дальнейшего их познания. studfile.net
Некоторые примеры связи формализма и прикладного использования математики в современном мире:
- Применение методов формализма в физике. iphlib.ru Использование формализма позволило оценить глубину прозрения Канта об априорности математических понятий по отношению к физическим. iphlib.ru
- Использование формализма в психологии. iphlib.ru Приложение формализма в этой области привело к развитию когнитивной науки. iphlib.ru
- Использование формализма в информатике. iphlib.ru Разделение на язык и метаязык, предложенное формализмом, оказалось плодотворным не только в логике и философии, но и в таких новых дисциплинах, как когнитивная наука и информатика. iphlib.ru
- Использование формализма в построении математических моделей. cyberleninka.ru Прикладная математика является связующим звеном между формальным языком чистой математики и содержательным языком предметных теорий. cyberleninka.ru