Oluşturmacı Matematik
VIP VIP Üye
Oluşturmacı Matematik
Vikipedi, özgür ansiklopedi
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
Vikipedi, özgür ansiklopedi
Sponsorlu Bağlantılar
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ı mantık
- Oluşturmacı tip teorisi
- Oluşturmacı analiz
- Hesaplanabilirlik mantığı
Tanrı varsa eğer, ruhumu kutsasın... Ruhum varsa eğer!
