Knowledge and learning,

learning probabilistic models

Knowledge Acquisition,

Basic understanding of Natural language

Halting problems,

Ackerman function,

Bounded Minimization, Unbounded Minimization.