A nonstandard proof of a lemma from constructive measure theory.

Published in: Math. Log. Q. (2006)

Keyphrases

information theory
similarity measure
distance measure
computational model
theorem proving
proof theory
database
real time
evolutionary algorithm
information theoretic
theoretical basis