Olusturmaci Matematigin Dallari....

**Prof. Dr. Sinsi** · 08-25-2012

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

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ığı

08-25-2012	#1
Prof. Dr. Sinsi	Olusturmaci Matematigin Dallari.... 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 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ığı