Number of the records: 1
Nagel, Ernest, 1901-1985 - Author
Vyd. 1. - V Brně : VUTIUM, 2003 - 126 s. : il. ; 22 cm
ISBN 80-214-2369-2
Quantum ;
Newman, James Roy, - Author
Gödel, Kurt, 1906-1978
filozofie matematiky logika
studieCall number C 311.889 Umístění 51 - Matematika. Teoretická matematika Title statement Gödelův důkaz / Ernest Nagel & James R. Newman ; redakce textu Douglas R. Hofstadter ; [z anglického originálu ... přeložil Rostislav Niederle ; předmluva k 1. českému vydání Jan Novotný] Main entry-name Nagel, Ernest, 1901-1985 (Author) Edition statement Vyd. 1. Issue data V Brně : VUTIUM, 2003 Phys.des. 126 s. : il. ; 22 cm ISBN 80-214-2369-2 National bibl. num. cnb001245628 Edition Quantum Internal Bibliographies/Indexes Note Obsahuje bibliografii, bibliografické odkazy a rejstřík Original Gödel's proof Another responsib. Newman, James Roy, 1907-1966 (Author)
Subj. Headings Gödel, Kurt, 1906-1978 * filozofie matematiky * logika Form, Genre studie Conspect 510 - Obecné úvahy o matematice UDC 510.21 , 16 , (048.8) Country Česko Language čeština Ve volném výběru 51 - Matematika. Teoretická matematika Document kind BOOKS V roce 1931 publikoval teprve 25letý Kurt Gödel, rodák z Brna, revoluční článek, v němž se kriticky vypořádal s určitými předpoklady tvořícími základ tradičního zkoumání v matematice a logice. V současnosti je jeho průzkum této terra incognita jedním z důležitých příspěvků moderní vědě. Knížka Gödelův důkaz je nově redakčně přehlédnuta, je rozšířena a aktualizována. Představuje svého druhu první čtivý výklad hlavních myšlenek Gödelova důkazu i některých z něj plynoucích důsledků. Kniha je určena studentům, vědcům, učitelům, odborníkům v mate- matice, kybernetice, logice, filozofii. Zdroj anotace: OKCZ - ANOTACE Z WEBULoading…
Number of the records: 1