Definitions from Wikipedia (Kleene's T predicate)

▸ noun:  In computability theory, the T predicate, first studied by mathematician Stephen Cole Kleene, is a particular set of triples of natural numbers that is used to represent computable functions within formal theories of arithmetic.


▸ Words similar to kleene's t predicate
▸ Usage examples for kleene's t predicate

▸ Idioms related to kleene's t predicate
▸ Wikipedia articles (New!)
▸ Words that often appear near kleene's t predicate
▸ Rhymes of kleene's t predicate

▸ Invented words related to kleene's t predicate