On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel
Naturwissenschaften, Medizin, Informatik, Technik / Mathematik
Beschreibung
The present volume reprints the first English translation of Giidel's far-reaching work. Not only does it make the argument more intelligible, but the introduction contributed by Professor R. B. Braithwaite (Cambridge University}, an excellent work of scholarship in its own right, illuminates it by paraphrasing the major part of the argument.
This Dover edition thus makes widely available a superb edition of a classic work of original thought, one that will be of profound interest to mathematicians, logicians and anyone interested in the history of attempts to establish axioms that would provide a rigorous basis for all mathematics. Translated by B. Meltzer, University of Edinburgh. Preface. Introduction by R. B. Braithwaite.
Kundenbewertungen
petzold, 20th anniversary, golden braid, functions, lambda calculus, physical laws, computation, computable, lewis carroll, turing's paper, mathematical theory, axioms, computability, differential, partial, russell, mathematical knowledge, arithmetical, popular mathematics, neurons, analytic, incompleteness theorem, computer science, strong ai, molecular biology, advanced math, symbolic logic, self-reference, undecidable, drawing hands, human intelligence, continuum hypothesis, inanimate matter, alan turing, mathematical reasoning, cognitive psychology, underlying meaning, godel, equations, highly amusing, human brain, mathematical statements, mendelson, neural activity, principia, self referential, bach's music, 1967, springer, typed, mathematical philosophy, recursion, discrete, oriental religions, programming, inner message, cognitive science, recursiveness, implicit meaning, human intellect, mathematica, recursive, propositional, desert island, functional, leave aside, eternal golden, musical forms, math background, computer program, human consciousness, theorems, record player, technical people, frege, popular science, electronic computers, strange loops, provable, zen master, demonstrable, metamathematics, hofstader, intelligence research, pattern recognition, escher's art, self reference, formal logic, objects falling, countable, human mind, mathematical background, hilbert, zen koans, formal systems, mathematical logic, escher bach, artificial intelligence, fugues, turing machines, douglas hofstadter, century mathematics, dover, axiomatic systems, self consistent