Oluşturmacı matematik

Matematik felsefesinin oluşturmacılık akımına göre matematiksel bir nesnenin varlığını kanıtlayabilmek için, nesnenin bulunması (ya da "oluşturulması") gerekir. Oluşturmacılara göre bir nesnenin var olmadığını varsayıp bu varsayımdan bir çelişki türetildiğinde -nesnenin kendisini bulmadıkça ("oluşturmadıkça")- nesnenin varlığı da kanıtlanmış olmaz.

Oluşturmacılık çoklukla matematiksel sezgicilik ile karıştırılır; fakat gerçekte sezgicilik oluşturmacılığın bir türüdür. Sezgiciliğe göre matematiğin temelleri kaynağını bireysel matematikçinin sezgisinden almaktadır dolayısıyla matematik özünde öznel bir etkinliktir. Oluşturmacılık bu görüşe katılmayıp matematiğe nesnel yaklaşımla tamamıyla uyuşmaktadır.

 Oluşturmacılığa katkıda bulunan matematikçiler 
 Leopold Kronecker
 L.E.J. Brouwer
 Errett Bishop

 Oluşturmacı matematiğin dalları 
 Oluşturmacı mantık
 Oluşturmacı tip teorisi 
 Oluşturmacı analiz 
 Hesaplanabilirlik mantığı

 İlgili konular 
 Sezgici Matematik 
 Finitizm
 Oyun anlam bilgisi

 Dış bağlantılar 
 Hesaplanabilirlik Mantığı Ana Sayfası


Kategori:Matematik felsefesi
Kategori:Epistemoloji