Неформальная математика
- Неформальная математика, известная как наивная математика, была преобладающей формой математики в большинстве времен и культур.
- Философ Имре Лакатос исследовал роль неформальной математики в математических дебатах девятнадцатого века и формировании концепций.
- Неформалы могут не различать утверждения, полученные с помощью индуктивных рассуждений, и утверждения, полученные с помощью дедуктивных рассуждений.
- Неформальная математика включает в себя любые неформальные математические практики, используемые в повседневной жизни без исторических или географических ограничений.
- Современная математика делает упор на формальные и строгие доказательства всех утверждений, вытекающих из заданных аксиом.
- Неформальные практики обычно понимаются интуитивно и обосновываются примерами, без аксиом.
- Неформальная математика и физика используются в повседневной жизни, но люди не всегда понимают, как исторически возникали и обосновывались математические и физические идеи.
Полный текст статьи: