computability logicked

adj.

Having drunk enough to classify every possible decision according to whether a machine could eventually settle it.

Kievan became computability logicked and assigned formal outcomes to the remaining biscuits.