Bazuar në sa më sipër, mund të konkludojmë: një mjet shprehës i gjuhës - kjo është ajo që është qarkullimi krahasues. Ajo lind në bazë të asociacioneve, kur folësi, për një bindje më të madhe, kërkon ngjashmërinë e objektit ose dukurisë në fjalë me pjesëmarrësit e tjerë, më të njohur në momentin e të folurit
Teza Church-Turing i referohet konceptit të një metode efikase, sistematike ose mekanike në logjikë, matematikë dhe shkenca kompjuterike. Ai është formuluar si një përshkrim i konceptit intuitiv të llogaritshmërisë dhe, në lidhje me funksionet e përgjithshme rekursive, quhet më shpesh teza e Church. Ai gjithashtu i referohet teorisë së funksioneve të llogaritshme nga kompjuteri. Teza u shfaq në vitet 1930, kur vetë kompjuterët nuk ekzistonin ende














