Türkiye'nin en güncel forumlardan olan forumdas.com.tr'de forumda aktif ve katkısı olabilecek kişilerden gönüllü katkıda sağlayabilecek kişiler aranmaktadır.
iltasyazilim
FD Üye
Matematik Biçimcilik Hakkında Veri
Hilbert ve izdaşlarının matematik mantık anlayışı Göttingen matematik okulunun kurucusu Alman matematik ve mantıkçısı David Hilbert (18621943), matematiksel mantık alanında matematik şekilcilik adıyla adlandırılan yeni bir anlama ileri sürmüştür Yeniolgucu yapılı Hilbert ve izdaşları G Neyman, W Ackerman, P Bernays göre geliştirilen bu anlayışa kadar matematik gerçekler oysa çelişmezlikle tanıtlanabilir, bunun için de biçimsel belitler düzenlemek gerekir
Eukleides geometrisini de bu yüzden katı bir belitler sistemi durumuna sokan Hilbert'in bu savı, Aristoteles'in yüzyıllarca önce us içinde yaptığını, matematik içinde yapmak, eş deyişle Aristoteles'in düşünceyi düşünceyle tanıtlaması gibi matematiği matematikle tanıtlamaktır Daha açık bir deyişle, herhangi bir varsayımı belitleştirir ve onun matematiksel çelişmeye düşüp düşmediğini dener Düşmüyorsa o varsayım gerçektir
Bu idealist kavrama, her idealist anlama gibi, gerçeğin doğayla, teorinin pratikle doğrulanması gerektiğini yadsır Bu, öznenin nesnesine uygunluğunu bir yanlamasına bırakıp, öznenin özneye uygunluğuyla tanıtlama demektir Matematikötesi anlayışına da yolaçan Hilbert'in bu savı biçimcilik adıyla da anılır *
Hilbert ve izdaşlarının matematik mantık anlayışı Göttingen matematik okulunun kurucusu Alman matematik ve mantıkçısı David Hilbert (18621943), matematiksel mantık alanında matematik şekilcilik adıyla adlandırılan yeni bir anlama ileri sürmüştür Yeniolgucu yapılı Hilbert ve izdaşları G Neyman, W Ackerman, P Bernays göre geliştirilen bu anlayışa kadar matematik gerçekler oysa çelişmezlikle tanıtlanabilir, bunun için de biçimsel belitler düzenlemek gerekir
Eukleides geometrisini de bu yüzden katı bir belitler sistemi durumuna sokan Hilbert'in bu savı, Aristoteles'in yüzyıllarca önce us içinde yaptığını, matematik içinde yapmak, eş deyişle Aristoteles'in düşünceyi düşünceyle tanıtlaması gibi matematiği matematikle tanıtlamaktır Daha açık bir deyişle, herhangi bir varsayımı belitleştirir ve onun matematiksel çelişmeye düşüp düşmediğini dener Düşmüyorsa o varsayım gerçektir
Bu idealist kavrama, her idealist anlama gibi, gerçeğin doğayla, teorinin pratikle doğrulanması gerektiğini yadsır Bu, öznenin nesnesine uygunluğunu bir yanlamasına bırakıp, öznenin özneye uygunluğuyla tanıtlama demektir Matematikötesi anlayışına da yolaçan Hilbert'in bu savı biçimcilik adıyla da anılır *
