Are We Close to buiding a Thinker

This note gives out thought about the extent of definability of IBML types and FOL contexts. Our clain is that these are powerful enough to model everything in one unified way. Even if this claim eventually proves overly optimistic, we show below that the use of FOL contexts makes a qualative leap over existing systems for realizing the goal of building a thinker.

Things Definable as IBML Types

Notions Definable using FOL Contexts