1.
formalizm
"bir kurallar dizisi icad etmek, evreni açıklayabilecek bir aksiyom önermektir" diyen felsefi akıma verilen isim.
yine bir alman tarafından oluşturulmuştur. önce satranç kuralları belirlenir sonra "o" varolur. "matematikte böyle, fizikte böyledir, e evren de..." demiş, kısaca. gözlem bir hiç mi yani? hadi canım...
hilbert formalizmi; fizik ve iktisat gibi diğer alanlarda da etkili olmuştur. 20. yüzyılda, bu formalizm kuantum fiziği ve genel denge teorisi gibi alanlarda kullanılmıştır.
matematikte, alman matematikçi david hilbert tarafından 1920'lerin başında formüle edilen hilbert'in programı, matematiğin temel krizine önerilen bir çözümdü.
çözüm olarak hilbert, mevcut tüm teorileri sonlu, sonlu bir aksiyom dizisine dayandırmayı ve bu aksiyomların tutarlı olduğuna dair bir kanıt sunmayı önerdi.
hilbert, gerçek analiz gibi daha karmaşık sistemlerin tutarlılığının daha basit sistemleri kullanarak kanıtlayabileceğini gösterdi. sonuçta matematiğin tamamının tutarlılığı temel aritmetiğe indirgenebilir.
gödel'in 1931'de yayınlanan eksiklik teoremleri, hilbert'in programının matematiğin kilit alanlarında uygulanamaz olduğunu gösterdi.
kaynak:ya-ze-ka
yine bir alman tarafından oluşturulmuştur. önce satranç kuralları belirlenir sonra "o" varolur. "matematikte böyle, fizikte böyledir, e evren de..." demiş, kısaca. gözlem bir hiç mi yani? hadi canım...
hilbert formalizmi; fizik ve iktisat gibi diğer alanlarda da etkili olmuştur. 20. yüzyılda, bu formalizm kuantum fiziği ve genel denge teorisi gibi alanlarda kullanılmıştır.
matematikte, alman matematikçi david hilbert tarafından 1920'lerin başında formüle edilen hilbert'in programı, matematiğin temel krizine önerilen bir çözümdü.
çözüm olarak hilbert, mevcut tüm teorileri sonlu, sonlu bir aksiyom dizisine dayandırmayı ve bu aksiyomların tutarlı olduğuna dair bir kanıt sunmayı önerdi.
hilbert, gerçek analiz gibi daha karmaşık sistemlerin tutarlılığının daha basit sistemleri kullanarak kanıtlayabileceğini gösterdi. sonuçta matematiğin tamamının tutarlılığı temel aritmetiğe indirgenebilir.
gödel'in 1931'de yayınlanan eksiklik teoremleri, hilbert'in programının matematiğin kilit alanlarında uygulanamaz olduğunu gösterdi.
devamını gör...
