Search results
Title Thinking About Gödel and Turing Subtitle essays on complexity, 1970-2007 Author info Gregory J Chaitin; with a foreword by Paul Davies Author Chaitin Gregory John
Co-authors Davies Paul
Issue data Hackensack : World Scientific Publishing , c2007. - xix, 347 s., 26 cm Issue [1st ed.] ISBN 978-981-270-896 Note Bibliogr. odkazy Additional Variant Titles Gödel and Turing Keywords matematika - mathematics Gödelove vety Gödel’s theorems metamathematics výpočtová zložitosť - computational complexity Language English Country United States of America systematics 511.3 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 300665 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title Ani matematika si nemôže byť istá sama sebou Subtitle Úvahy o množinách, nekonečne, paradoxoch a Gödelových vetách Author info Pavol Zlatoš Author Zlatoš Pavol
Issue data Bratislava : IRIS , 1995. - 208 s. Issue 1. vyd. ISBN 80-88778-09-3 Keywords matematika - mathematics Gödelove vety Language Slovak Country Slovak Republic systematics 510.6 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 3, currently available 0, at library only 3 Call number Location Sublocation Umiestnenie Info 224292 Univerzita Mateja Bela Department of mathematics In-Library Use Only 228907 Univerzita Mateja Bela Department of mathematics In-Library Use Only 2313 Univerzita Mateja Bela Department of quantitative methods and information systems In-Library Use Only Title Gödel's Incompleteness Theorems Author info Raymond M. Smullyan Title Subtitle Translation : Gödelsova veta o neúplnosti Author Smullyan Raymond Merril
Issue data New York : Oxford University Press , 1992. - 139 s. Issue 1st ed. ISBN 0-19-504672-2 Keywords matematika - mathematics matematické dôkazy - mathematical proofs Gödelove vety Language English Country United States of America systematics 510.21 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 233691 Univerzita Mateja Bela Department of mathematics In-Library Use Only Title On Formally Undecidable Propositions of Principia Mathematica and Related systems Author info Kurt Gödel; Translated by B. Meltzer; Introduction by R.B. Braithwaite Author Gödel Kurt
Co-authors Meltzer B
Braithwaite R.B
Issue data New York : Dover Publications, INC. , 1992. - 72 s. Issue 1. ed. ISBN 0-486-66980-7 Keywords matematika - mathematics Gödelove vety Language English Country United States of America systematics 511.3=20 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xkni - BOOKS Copy count 1, currently available 0, at library only 1 Call number Location Sublocation Umiestnenie Info 234825 Univerzita Mateja Bela Department of mathematics In-Library Use Only