Tha an t-eadar-theangachadh cunbhalach air a thòiseachadh ann an 1951, nuair a mhìnich an matamataig Stephen Cole Kleene cànanan cunbhalach a' cleachdadh a chomharrachadh matamataigeach ris an canar seataichean cunbhalach. Dh'èirich iad seo ann an saidheans coimpiutaireachd teòiridheach, ann an roinnean-roinnean teòiridh fèin-ghluasadach (mhodalan coimpiutaireachd) agus tuairisgeul agus seòrsachadh cànanan foirmeil.
matamaiticeach