Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic.

Victor Pambuccian

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

Keyphrases

database
data mining
von neumann
real time
data sets
databases
artificial intelligence
similarity measure
lower bound
artificial neural networks
digital topology