5

Computers, Paradoxes and the Foundations of Mathematics
–

7

The journey of the four colour theorem through time
–

11

Theory and practice
–
 1985

96

Social processes and proofs of theorems and programs
–
 1979

54

Information and Randomness: An Algorithmic Perspective, 2nd Edition, Revised and Extended
–
 2002

4

Testing computational complementarity for Mermin automata
–

2

Statistical Surveys and Applications, Editura Tehnica
–
 2000

28

On the Number of Distinct Languages Accepted by Finite Automata with n States
–
 2001

489

Formal Languages
–
 1973

126

Sampling Techniques, 3rd Edition
–
 1977

459

onparametric Regression and generalized linear models
–
 1994

126

Theory of Computation
–
 2006

94

Mathematics by Experiment: Plausible Reasoning
–
 2008

9

A version of Ω for which ZF C can not predict a single bit
–
 2000

121

Information and Randomness. An Algorithmic Perspective
–
 1994

63

The limits of mathematics
–
 1994

6

On the Intelligibility of the Universe and the Notions of Simplicity, Complexity and Irreducibility
–
 2002

3

Probably true theorems, cry wolf
–
 1994

3

The Limits of Science and the Science of Limits
–
 1998
