Sezgici matematik, matematiksel nesnelerin bağımsız ve tamamlanmış bir evrende bulunduğunu değil, zihinsel veya biçimsel olarak kuruldukları ölçüde anlam kazandığını savunan yaklaşımdır. L. E. J. Brouwer ile ilişkilendirilen bu gelenek, bir önermenin doğruluğu için yapıcı bir kanıt ister ve klasik mantıktaki üçüncü hâlin imkânsızlığı ilkesini sınırsız biçimde kullanmaz. [1]
KAPSAM VE ÖNEM
Sezgici mantıkta “A veya A değil” ifadesi, A ya da değil-A için bir yapım bulunmadan genel kural sayılmaz. Yaklaşım kanıt kuramı, hesaplanabilirlik ve bilgisayar destekli doğrulamada yapıcı yöntemleri etkilemiştir. Kavramın uygulamadaki sınırları, kullanılan ölçütlere ve tarihsel bağlama göre değişebilir; bu nedenle tanım, sınıflandırma ve örnekler ilgili alanın güncel bilimsel ya da kurumsal çerçevesiyle birlikte ele alınır. [1]