TURİNG (Alan Mathison), İngiliz matematikçi (Londra 1912-Wilmslow, Cheshire, 1954). Matematiksel mantığa en önemli katkılarından biri olan On Computable Numbers, vvith an Application to the Entscheidungs problem (1936-1938) adlı kitabında, “evrensel” bir hesap makinesinin kuramsal kavramını hazırladı (Turing makinesi). ikinci Dünya savaşı sırasında çalışmalarına bir süre ara verdi, daha sonra Dışişleri bakanlığı'nın iletişim bölümüne geçti, Ulusal fizik laboratuvarı'nda, hesap makineleri kavramı üstüne araştırmalarına yeniden başladı. 1950’den başlayarak, yapay zekâyla ilgilendi. Ayrıca gruplar kuramına katkıda bulundu.

Turing hesaplanır fonksiyonu, DMnden (p tamsayı) N içine, Turing makinesi yardımıyla hesaplanır fonksiyon. Turing hesaplanır fonksiyonuna bir matematik tanım verilebilir ve bu durumda (Churchün tezine başvurmadan) Turing hesaplanır fonksiyonlarının tam tamına gerilemeli fonksiyonlar olduğu tanıtlanabilir.

Turing makinesi, Turing tarafından ta şarlanmış, gerçek hesap makinelerini yetkinleştiren kurgusal hesap makinesi; yetkinleştirme, keyfi uzunlukta sonlu programlar kabul etme ve keyfi uzunlukta sonlu hesaplar yapma anlamındadır (bilinen teknolojik nedenlerden dolayı gerçek hesap makineleri bunu yapamamaktadır).