یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibliogr.: p. 266-270.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
A huszadik századi természettudomány óriási jelentőségű alakja az osztrák matematikus és tudományfilozófus Kurt Gödel, aki két fontos tételt fogalmazott meg: az istenszerű entitás szükségszerű létezése mellett a tiszta logika eszközeivel érvelő ontológiai istenérvet, illetve a nemteljességi (első és második) tételt, amely úgy szól, hogy "minden ellentmondásmentes, a természetes számok elméletét tartalmazó, formális-axiomatikus elméletben megfogalmazható olyan mondat, mely se nem bizonyítható, se nem cáfolható". Ez lényegi mondanivalójánál fogva - nem túlzás állítani, hogy - felforgató hatást gyakorolt nemcsak az addig megnyugtatóan formális matematikára, de a tudományos, filozofikus gondolkodásmód egészére. Ezzel foglalkozik a svéd egyetemi professzor, Torkel Franzén is magyarul most megjelenő könyvében, amelyben egyrészt a téma iránt érdeklődő, művelt laikusoknak magyarázza a tételt, másrészt bemutatja azokat a matematikatudományok kívül - a lélektan, a filozófia vagy épp a teológia területén - született teóriákat, amelyek a nemteljességi tétel továbbgondolásából születtek. Az alaptéma mellett Gödel munkásságával, személyével is foglalkozó, magas színvonalú, irodalomjegyzékkel és mutatóval záruló ismeretterjesztő kötet matematikában, filozófiában az átlagnál jártasabb olvasót igényel.
عنوان قراردادی
عنوان قراردادي
Gödel's theorem
زبان(وقتي جزئي از عنوان قراردادي باشد)
(magyar)
نام شخص به منزله موضوع
موضوع مستند نشده
Gödel, Kurt.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Axióma.
موضوع مستند نشده
Gödel-tétel.
موضوع مستند نشده
Halmazelmélet-- axiomatikus.
موضوع مستند نشده
Matematika filozófiai problémái.
موضوع مستند نشده
Matematikai logika.
رده بندی دهدهی جهانی
شماره
164.042
شماره
51(436)(092)Gödel,K.
شماره
51(436)Gödel, K.
شماره
51(436)Gödel, K.
شماره
510.6
شماره
510.6Gödel
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )