Accions

Autor

Diferència entre revisions de la pàgina «Church, Alonzo»

De Wikisofia

(Es crea la pàgina amb «{{AutorWiki}} {{Autor |Nom=Alonzo |Cognom=Church }} Filòsof i lògic nord-americà, nascut a Washington, en 1903, professor emèrit de la UCLA. Contribucions sev...».)
 
m (Text de reemplaçament - "decidibilidad" a "decidibilitat")
Línia 4: Línia 4:
 
|Cognom=Church
 
|Cognom=Church
 
}}
 
}}
Filòsof i lògic nord-americà, nascut a Washington, en 1903, professor emèrit de la UCLA. Contribucions seves famoses són el [[teorema de Church|teorema de Church]] i la [[tesi de Church-Turing|tesi de Church-Turing]]. El primer tracta de la [[decidibilidad|indecidibilidad]] de lògiques o càlculs superiors al [[càlcul lògic|càlcul]]de [[predicat|predicats]] de primer ordre. El segon, formulat simultània i independentment també per [[Autor:Turing, Alan Mathison|Turing]], afirma que un [[algorisme|algorisme]] existeix si i només si existeix una [[màquina de Turing|màquina de Turing]] que pugui computar-ho.
+
Filòsof i lògic nord-americà, nascut a Washington, en 1903, professor emèrit de la UCLA. Contribucions seves famoses són el [[teorema de Church|teorema de Church]] i la [[tesi de Church-Turing|tesi de Church-Turing]]. El primer tracta de la [[decidibilitat|indecidibilitat]] de lògiques o càlculs superiors al [[càlcul lògic|càlcul]]de [[predicat|predicats]] de primer ordre. El segon, formulat simultània i independentment també per [[Autor:Turing, Alan Mathison|Turing]], afirma que un [[algorisme|algorisme]] existeix si i només si existeix una [[màquina de Turing|màquina de Turing]] que pugui computar-ho.
  
 
{{ImatgePrincipal
 
{{ImatgePrincipal

Revisió del 15:30, 12 abr 2015

Church.jpg

Avís: El títol a mostrar «Alonzo Church» sobreescriu l'anterior títol a mostrar «Church, Alonzo».

Filòsof i lògic nord-americà, nascut a Washington, en 1903, professor emèrit de la UCLA. Contribucions seves famoses són el teorema de Church i la tesi de Church-Turing. El primer tracta de la indecidibilitat de lògiques o càlculs superiors al càlculde predicats de primer ordre. El segon, formulat simultània i independentment també per Turing, afirma que un algorisme existeix si i només si existeix una màquina de Turing que pugui computar-ho.