- Konu Yazar
- #1
Yapılandırmacı matematik, klasik matematikten "vardır" ifadesinin "inşa edebiliriz" şeklinde yorumlanmasıyla ayrılır. Yapılandırıcı yaklaşımda, yalnızca varoluşsal niceleyiciyi değil; tüm mantıksal bağlaçları ve niceleyicileri bu mantıksal ifadeleri içeren bir önermenin kanıtını nasıl inşa edeceğimize…
Ziyaretçiler için gizlenmiş link,görmek için
Giriş yap veya üye ol.