Italiano
← Torna alla cronologia

Tesi di Church-Turing

Era: Teoria degli Inizi · anni 1930–anni 1950

Alonzo Church e Alan Turing proposero indipendentemente la celebre Tesi di Church-Turing. Questa tesi afferma che ogni funzione effettivamente calcolabile è Turing-calcolabile. Ciò formalizza la nozione intuitiva di «calcolabilità» e divenne il fondamento dell’informatica.

Alonzo Church e Alan Turing

Stato
Verificato
Tipo di contenuto
fact
Ultima verifica

Fonti e riscontri

  1. The Church-Turing Thesis

    Stanford Encyclopedia of Philosophy · Tipo di fonte: secondary-summary

    Explains the independent 1936 formulations and the later name "Church-Turing thesis".

    Consultato: