High-Level Theories

We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatizations, that is neither an effective nor a comfortable way to work with such theories. We present an approach which is closer to what users of mathematics employ, while still being based on formal structures.

• Type: Conference
• Year: 2008
• Where: AISC
• Authors: Jacques Carette, William M. Farmer
• Keywords: AISC 2008, Artificial Intelligence, Basic Point, Comfortable Way, Low-level Axiomatizations