|
" Gödel nemteljességi tételei : "
Torkel Franzén.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
888537
|
| Uniform Title
|
:
|
Gödel's theorem(magyar)
|
| Main Entry
|
:
|
Franzén, Torkel.
|
| Title & Author
|
:
|
Gödel nemteljességi tételei : : értelmezések és félreértések /\ Torkel Franzén.
|
| Publication Statement
|
:
|
[Budapest] :: Typotex,, [2013]
|
| Page. NO
|
:
|
273 p. ;; 21 cm
|
| ISBN
|
:
|
9632793706
|
|
|
:
|
: 9789632793702
|
| Bibliographies/Indexes
|
:
|
Bibliogr.: p. 266-270.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Gödel, Kurt.
|
| Subject
|
:
|
Axióma.
|
| Subject
|
:
|
Gödel-tétel.
|
| Subject
|
:
|
Halmazelmélet-- axiomatikus.
|
| Subject
|
:
|
Matematika filozófiai problémái.
|
| Subject
|
:
|
Matematikai logika.
|
| Added Entry
|
:
|
Csaba Ferenc.
|
| |