Saf matematik olarak da adlandırılan informel matematik, tarihsel olarak çoğu zaman ve pek çok kültürde matematiğin baskın biçimi olmuştur ve modern etno-kültürel matematik çalışmalarının konusudur.
Filozof Imre Lakatos, ‘Proofs and Refutations’ adlı eserinde,
matematiksel formalizmin baskın varsayımlarına karşı çıkarak on dokuzuncu
yüzyıl matematiksel tartışmaları ve kavram oluşumundaki rolünü yeniden
yapılandırarak, informel matematiğin formülasyonunu keskinleştirmeyi amaçladı.
İnformelite, tümevarımsal akıl yürütmeyle verilen ifadeler (sadece
faydalı oldukları için 'doğru' kabul edilen yaklaşıklaştırmalarda olduğu gibi)
ile tümdengelimli akıl yürütmeyle türetilen ifadeler arasında ayrım yapamayabilir.
https://en.wikipedia.org/wiki/Informal_mathematics
29 Ocak 2024
GERİ (matematik anasayfa)