A short proof of the middle levels theorem.

Petr Gregor Torsten Mütze Jerri Nummenpalo

Published in: CoRR (2017)

Keyphrases

interactive theorem proving
levels of abstraction
high levels
artificial intelligence
artificial neural networks
von neumann
real world
information retrieval
image processing
case study
three dimensional
theorem proving
linear logic
complete axiomatization