Sezgici matematik: Revizyonlar arasındaki fark
[kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
k Bot: Artık Vikiveri tarafından d:q10879018 sayfası üzerinden sağlanan 10 vikilerarası bağlantı taşınıyor |
|||
1. satır:
[[Matematik Felsefesi|Matematik felsefesinde]], '''sezgicilik''' ya da ([[eski sezgicilik|eski sezgiciliğinin]] karşıtı olarak) '''yeni sezgicilik''' akımı, [[Matematik|matematiğe]] insanların oluşturucu etkinliği olarak bakan bir yaklaşımdır.
Sezgici matematikte her türlü matematiksel nesne bir aklın ürünüdür dolayısıyla nesnenin var olma olanağı da nesnenin oluşturulabilme olanağına denktir. Bu görüş, bir nesnenin varlığının, nesnenin var olmamasının bir çelişki teşkil etmesine dayanarak ıspatlanabileceğini savunan klasik yaklaşıma karşıttır ve sezgicilere göre bu klasik yaklaşım geçersizdir. Nesnenin var olmamasının bir çelişki yaratması nesnenin var olduğuna ilişkin ''oluşturmacı'' bir kanıtın var olabileceği anlamına gelmez. Bu yaklaşımıyla sezgicilik [[Oluşturmacı Matematik|oluşturmacı matematiğin]] bir türüdür.
Sezgici matematik, matematiksel önermelerin geçerliliğini, önerme için bir [[
Sezgicilik ''soyut sonsuzluk'' kavramını da reddeder. Örneğin tüm [[Doğal Sayılar|doğal sayıların]] [[küme]]si ya da [[Rasyonel Sayılar|rasyonel sayıların]] herhangi bir dizisi gibi [[sonsuz]] nesneleri meşru olarak kabul etmez. Bu yaklaşım [[Kümeler Kuramı|kümeler kuramı]] ve kalkülüsün büyük bir bölümünün yeniden oluşturulmasını gerekli kılar ve klasik kuramlardan çok farklı olan kuramlara yol açar.
|