tokens: Hij werd in 1936 door Alonzo Church en Stephen Kleene geïntroduceerd als onderdeel van hun onderzoek naar de grondbeginselen van de wiskunde , maar wordt tegenwoordig vooral gebruikt bij het onderzoeken van berekenbaarheid .