Неформальная математика

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