Pseudorandom Generators, Measure Theory, and Natural Proofs.

Kenneth W. Regan D. Sivakumar Jin-yi Cai

Published in: FOCS (1995)

Keyphrases

pseudorandom
random numbers
similarity measure
information theory
theoretical basis
random number
uniformly distributed
real time
real world
genetic algorithm
stream cipher
information content
equational theories
man made
theorem proving
theoretical framework
computational model
distance measure