Sezgici matematik: Revizyonlar arasındaki fark

[[ja:数学的直観主義]] [[nl:Intuïtionisme]] [[en:Intuitionism]]

 

 

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.