Sezgici matematik: Revizyonlar arasındaki fark

düzenleme özeti yok
kDeğişiklik özeti yok
Değişiklik özeti yok
[[eo:Intuiciismo]]
[[de: Intuitionismus]]
[[ja:数学的直観主義]] [[nl:Intuïtionisme]] [[en:Intuitionism]]
[[Matematik felsefesi]]nde, '''sezgicilik''' ya da ([[eski sezgicilik|eski sezgciliği]]nin karşıtı olarak) '''yeni sezgicilik''', [[Matematik|matematiğe]] insanların oluşturucu etkinliği olarak bakan bir yaklaşımdır.
 
[[Matematik Felsefesi|Matematik felsefesi]]nde, '''sezgicilik''' ya da ([[eski sezgicilik|eski sezgciliği]]nin 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ü dolayısıyla nesnenin varlığı 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 matematikte her türlü matematiksel nesne bir aklın ürünüürünüdür dolayısıyla nesnenin varlığı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.
198

düzenleme