Two Methods of Calculating Axiom Size

  • Jonathan Bartlett
Keywords: axiom, oracle, cognition, intuition, problem solving

Abstract

Previous work suggests that there is an ordering to the discoverability of axioms, a "size" of sorts. However, there is not presently a method of measuring the size of an axiom. This paper suggests two possible methods for measuing axiom size. The goal is not to produce a definitive measurement technique, but to begin the exploration of different possible size measurements for axioms.

Published
2020-01-19
Section
Articles