Listing 1 - 10 of 19 | << page >> |
Sort by
|
Choose an application
Computer science --- Information theory --- Reasoning --- Mathematics --- -Information theory --- Argumentation --- Ratiocination --- Reason --- Thought and thinking --- Judgment (Logic) --- Logic --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Computer mathematics --- Electronic data processing --- Computer science - Mathematics --- Computer science. --- Informatique --- Mathématiques --- Information, Théorie de l' --- Philosophie --- Automates abstraits
Choose an application
Ergodic theory. Information theory --- Number theory --- Machine theory --- Computational complexity --- Stochastic processes --- Random processes --- Probabilities --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Complexity, Computational --- Electronic data processing
Choose an application
Computer science --- Machine theory --- Computational Complexity --- LISP (Computer program language) --- Machine theory. --- Computational complexity. --- LISP (Computer program language). --- Computational complexity --- Complexité de calcul (Informatique) --- LISP (Langage de programmation) --- Automates mathématiques, Théorie des --- List processing computer language --- Complexity, Computational --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- List processing (Electronic computers) --- Electronic data processing --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics
Choose an application
Machine theory. --- Computational complexity. --- LISP (Computer program language) --- List processing computer language --- List processing (Electronic computers) --- Complexity, Computational --- Electronic data processing --- Machine theory --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Computational complexity
Choose an application
Computational complexity --- Machine theory --- Stochastic processes --- Random processes --- Probabilities --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Complexity, Computational --- Electronic data processing --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics
Choose an application
Dr Gregory Chaitin, one of the world's leading mathematicians, is best known for his discovery of the remarkable O number, a concrete example of irreducible complexity in pure mathematics which shows that mathematics is infinitely complex. In this volume, Chaitin discusses the evolution of these ideas, tracing them back to Leibniz and Borel as well as Gödel and Turing.This book contains 23 non-technical papers by Chaitin, his favorite tutorial and survey papers, including Chaitin's three Scientific American articles. These essays summarize a lifetime effort to use the notion of program-size co
Godel's theorem. --- Incompleteness theorems. --- Logic, Symbolic and mathematical. --- Metamathematics. --- Computational complexity. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Theorems, Incompleteness --- Constructive mathematics --- Proof theory --- Complexity, Computational --- Electronic data processing --- Machine theory --- Logic, Symbolic and mathematical --- Gödel's incompleteness theorem --- Undecidable theories --- Arithmetic --- Completeness theorem --- Incompleteness theorems --- Number theory --- Decidability (Mathematical logic) --- Philosophy --- Foundations
Choose an application
Machine theory. --- Computational complexity. --- Stochastic processes. --- Machine theory --- Computational Complexity --- Stochastic processes
Choose an application
Choose an application
Explains how evolution works on a mathematical level, arguing that mathematical theory is an essential part of evolution while highlighting mathematical principles in the biological world.
Evolution (Biology) --- Biomathematics. --- Evolution (Biology) --- Biology --- Evolution (Biology) --- Biology --- Computer programming --- Mathematics. --- Mathematical models. --- Mathematical models. --- Philosophy. --- Philosophy. --- Philosophy.
Choose an application
Computational complexity --- LISP (Computer program language) --- Machine theory
Listing 1 - 10 of 19 | << page >> |
Sort by
|