The Limits of Mathematics

Gregory J Chaitin

• Hardcover | Engels | Discrete Mathematics and Theoretical Computer Science
• As a teenager, Greg created independently of Kolmogorov and Solomonoff, what we call today algorithmic information theory, a sub- ject of which he is ... Lees meer

The Limits of Mathematics

Gregory J Chaitin

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• As a teenager, Greg created independently of Kolmogorov and Solomonoff, what we call today algorithmic information theory, a sub- ject of which he is ... Lees meer

Logic and Complexity

Richard Lassaigne, Michel De Rougemont

• Hardcover | Engels | Discrete Mathematics and Theoretical Computer Science
• Logic and Complexity introduces some of the fundamental ideas of Logic for Computer Science, by explaining the classical notions of mathematical logic... Lees meer

Unconventional Models of Computation, Umc'2k

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• The Second International Conference on Unconventional Models of Compu- UMC'2K, organized by the Centre for Discrete Mathematics and The- tation, oreti... Lees meer

Exploring Randomness

Gregory J Chaitin

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• In The Unknowable I use LISP to compare my work on incompleteness with that of G6del and Turing, and in The Limits of Mathematics I use LISP to discus... Lees meer

Lattice Functions and Equations

Sergiu Rudeanu

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• Lattice (Boolean) functions are algebraic functions defined over an arbitrary lattice (Boolean algebra), while lattice (Boolean) equations are equatio... Lees meer

Quantum Logic

Karl Svozil

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• Quantum Logic deals with the foundations of quantum mechanics and, related to it, the behaviour of finite, discrete deterministic systems. The quantum... Lees meer

Sequences and Their Applications

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• Pseudorandom sequences have widespread applications, for instance, in spread spectrum, code division multiple access, optical and ultrawide band commu... Lees meer

Sequences and Their Applications

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• This volume contains the refereed proceedings of the International Conference on Sequences and Their Applications which was held at the River View Ho-... Lees meer

Exploring Randomness

Gregory J Chaitin

• Hardcover | Engels | Discrete Mathematics and Theoretical Computer Science
• In The Unknowable I use LISP to compare my work on incompleteness with that of G6del and Turing, and in The Limits of Mathematics I use LISP to discus... Lees meer

Network Algebra

Gheorghe Stefanescu

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• Network Algebra considers the algebraic study of networks and their behaviour. It contains general results on the algebraic theory of networks, recent... Lees meer

The Unknowable

Gregory J Chaitin

• Hardcover | Engels | Discrete Mathematics and Theoretical Computer Science
• This essential companion volume to Chaitin's highly successful "The Limits of Mathematics", also published by Springer, gives a brilliant historical s... Lees meer

Combinatorics, Computability and Logic

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• The third Discrete Mathematics and Theoretical Computer Science conference (DMTCS'OI) of the Centre for Discrete Mathematics and Theoretical Computer ... Lees meer

Finite Versus Infinite

Cristian S Calude, Gheorghe Paun

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• The finite - infinite interplay is central in human thinking, from ancient philosophers and mathematicians (Zeno, Pythagoras), to modern mathe- matics... Lees meer

Logic and Complexity

Richard Lassaigne, Michel De Rougemont

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• Logic and Complexity introduces some of the fundamental ideas of Logic for Computer Science, by explaining the classical notions of mathematical logic... Lees meer

Information Algebras

Juerg Kohlas

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• Information usually comes in pieces, from different sources. It refers to different, but related questions. Therefore information needs to be aggregat... Lees meer

Turing's Connectionism

Christof Teuscher

• Paperback | Engels | Discrete Mathematics and Theoretical Computer Science
• Alan Mathison Turing (1912-1954) was the first to carry out substantial re- search in the field now known as Artificial Intelligence (AI). He was thin... Lees meer