"Informació, Teoria de la Matemàtica." . . "Ciencia de la computación Matemáticas." . . "Lógica matemática." . . "formalisme." . . "Teoria dell'informazione." . . "Information, Théorie de l'." . . "Mathématiques Recherche." . . "Teoría de la información en matemáticas." . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "The limints of mathematics : a course on information theory and the limits of formal reasoning" . . . . . "The limits of mathematics : a course on information theory and the limits of formal reasoning"@en . "The limits of mathematics : a course on information theory and the limits of formal reasoning" . . . . . . "The limits of mathematics : a course on information theory & limits of formal reasoning" . . . . . . . . . . . . . . . "Abstract: \"A remarkable new definition of a self-delimiting universal Turing machine is presented that is easy to program and runs very quickly. This provides a new foundation for algorithmic information theory. This new universal Turing machine is implemented via software written in Mathematica and C. Using this new software, it is now possible to give a self-contained 'hands on' mini-course presenting very concretely the latest proofs of the fundamental information-theoretic incompleteness theorems.\""@en . . . . . . . . "The limits of mathematics a course on information theory and limits of formal reasoning"@en . . . . . "Limits of mathematics : a course on information theory and the limits of formal reasoning" . . . . "A course on information theory and the limits of formal reasoning" . . "The LIMITS of MATHEMATICS A Course on Information Theory and the Limits of Formal Reasoning" . . . . . "Abstract: \"This condensed version of RC 20190 will be the main hand-out for a course on algorithmic information theory to be given 22-29 May 1996 at the Rovaniemi Institute of Technology, Rovaniemi, Finland (see announcement at http://www.rotol.fi).\""@en . . . . . "This book presents the final version of Chaitin's course on the limits of mathematical reasoning. This course uses algorithmic information theory to show that mathematics has serious limitations, and features a new more didactic approach to algorithmic information theory using LISP and Mathematica software. The thesis of the book is that the incompleteness phenomenon discovered by Godel is much more widespread and serious than hitherto suspected."@en . . . . . . . . . "Abstract: \"The latest in a series of reports presenting the information-theoretic incompleteness theorems of algorithmic information theory via algorithms written in specially designed versions of LISP. Previously in this LISP code only one-character identifiers were allowed, and arithmetic had to be programmed out. Now identifiers can be many characters long, and arithmetic with arbitrarily large unsigned decimal integers is built in. This and many other changes in the software have made this material much easier to understand and to use.\""@en . . . "The limits of mathematics (in C)" . "The limits of mathematics (in C)"@en . . . . . . . . . . "The limits of mathematics : tutorial version" . . "The limits of mathematics : tutorial version"@en . . . . "The limits of mathematics (extended abstract)" . . . . . . "The limits of mathematics : course outline and software"@en . . . . . . "The limits of mathematics : a course on information theory and limits of formal reasoning"@en . "The limits of mathematics : a course on information theory and limits of formal reasoning" . . . . . . . . "The limits of mathematics" . "The limits of mathematics"@en . . . . . . . . "Metamathematik" . . "Metamathematik." . "Information, Théorie de l', en mathématiques." . . "Algorithmentheorie." . . "Informationstheorie Algorithmus." . . "Rozumowanie." . . "théorie de l'information." . . "Théorie de l'information." . "information theory" . . "Algorithmus." . . "Information theory in mathematics." . . "Mathematisches Denken." . . "Informàtica Matemàtica." . . "Informatica - Matematica." . "Programmierlogik." . . "Informatyka matematyka." . . "Algorithmus Informationstheorie." . . "Informatietheorie." . . "Matematyka informatyka." . . "Informationstheorie LISP." . . "Matemáticas (Informática)" . . "Informationstheorie." . . "Informationstheorie" . "LISP (langage de programmation)" . . "LISP (Langage de programmation)" . "Metamathematik Axiomatik Informationstheorie LISP." . . "LISP." . . "LISP" . "Lisp." . "Számítástechnika matematika." . . "Redeneren." . . "Algorithmes." . . "algorithmes théorie de l'information." . . "Információelmélet." . . "raisonnement - formalisation." . . "Razonamiento." . . "Teoria informacji." . . "Logique symbolique et mathématique." . . "Informatique Mathématiques." . . "informatique mathématiques." . "LISP Informationstheorie." . . "Érvelés." . . "LISP (język programowania)." . . "mathematics" . . "Berechnungskomplexität." . . "computer science" . . "Berechenbarkeit." . . "Cálculo infinitesimal." . . "Gödelscher Unvollständigkeitssatz." . . "algorithmique." . . "Información, Teoría de la." . . "Mathematica (oprogramowanie)." . . "Raisonnement." . . "Axiomatik." . . "Axiomatik" . "Informatik." . . "LISP (Lenguaje de programación para computadores)." . .