Teorema establert en 1936 pel lògic americà [[Autor:Church, Alonzo|Alonzo Church]], segons el qual la [[lògica|lògica de predicats]] (superior a la de pre
548 octets (78 paraules) - 20:52, 9 ago 2017
...[màquina de Turing|màquina de Turing]] que pugui computar aquest problema. Church va formular aquesta tesi mitjançant l'anomenat «càlcul de lambda (8)».
742 octets (115 paraules) - 15:00, 3 nov 2018
|Nom=Alonzo
|Cognom=Church
1 Ko (163 paraules) - 14:18, 3 nov 2018
...una màquina de Turing, tenim la denominada [[tesi de Church-Turing|tesi de Church-Turing]].
2 Ko (341 paraules) - 14:59, 3 nov 2018
...Alonzo|Alonzo Church]], és coneguda com a [[tesi de Church-Turing|tesi de Church-Turing]] i al procediment ideal construït per Turing per a demostrar-la, [
3 Ko (421 paraules) - 17:03, 1 nov 2017
...Russell]], [[Autor:Zermelo, Ernst|I. Zermelo]], [[Autor:Church, Alonzo|A. Church]], [[Autor:Carnap, Rudolf|R. Carnap]] i [[Autor:Tarski, Alfred|A. Tarski]].
2 Ko (320 paraules) - 22:47, 17 maig 2018
...és decidible pel sistema), i el nord-americà [[Autor:Church, Alonzo|Alonzo Church]] va demostrar, en 1936, que la [[lògica|lògica (elemental) de predicats]
6 Ko (1.030 paraules) - 23:08, 29 set 2018