Sezgici matematik: Revizyonlar arasındaki fark
[kontrol edilmemiş revizyon] | [kontrol edilmemiş revizyon] |
kDeğişiklik özeti yok |
Değişiklik özeti yok |
||
1. satır: | 1. satır: | ||
[[eo:Intuiciismo]] |
[[eo:Intuiciismo]] |
||
[[de: Intuitionismus]] |
[[de: Intuitionismus]] |
||
[[ja:数学的直観主義]] [[nl:Intuïtionisme]] |
[[ja:数学的直観主義]] [[nl:Intuïtionisme]] [[en:Intuitionism]] |
||
⚫ | |||
⚫ | |||
⚫ | Sezgici matematikte her türlü matematiksel nesne bir aklın |
||
⚫ | 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 çelişkisine 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 ıspatın var olmasına bağlar. Sezgici matematikçiye göre matematiksel nesneler salt ussal yapılar ise doğrulukları için ıspatlanabilir olmalarından başka herhangi bir ölçüt olamaz. |
Sezgici matematik, matematiksel önermelerin geçerliliğini, önerme için bir ıspatın var olmasına bağlar. Sezgici matematikçiye göre matematiksel nesneler salt ussal yapılar ise doğrulukları için ıspatlanabilir olmalarından başka herhangi bir ölçüt olamaz. |
Sayfanın 16.17, 17 Mayıs 2004 tarihindeki hâli
Matematik felsefesinde, sezgicilik ya da (eski sezgciliğinin karşıtı olarak) yeni sezgicilik akımı, 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 çelişkisine 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ı matematiğin bir türüdür.
Sezgici matematik, matematiksel önermelerin geçerliliğini, önerme için bir ıspatın var olmasına bağlar. Sezgici matematikçiye göre matematiksel nesneler salt ussal yapılar ise doğrulukları için ıspatlanabilir olmalarından başka herhangi bir ölçüt olamaz. Bunun sonucu olarak sezgici matematikçi bir matematiksel önermeyi klasik bir matematikçinin aldığı anlamda kabul etmez. Örneğin bir sezgici matematikçiye A ya da B demek ya A ya da B önermesinin ıspatlanabileceğini savunmaktır. Özel olarak Üçüncü olanağın dışlanması kanunu, A ya da değil A, geçersizdir çünkü her zaman için A ya da değil A önermesini ıspatlamanın mümkün olduğunu varsaymak mümkün değildir. (Ayrıca bkz. Sezgici Mantık.)
Sezgicilik soyut sonsuzluk kavramını da reddeder. Örneğin tüm doğal sayıların kümesi ya da rasyonel sayıların herhangi bir dizisi gibi sonsuz nesneleri meşru olarak kabul etmez. Bu yaklaşım küme teorisi 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.