Resultado da Busca
In computability theory, the Church–Turing thesis (also known as computability thesis, [1] the Turing–Church thesis, [2] the Church–Turing conjecture, Church's thesis, Church's conjecture, and Turing's thesis) is a thesis about the nature of computable functions. It states that a function on the natural numbers can be calculated by an ...
En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por Alonzo Church y Stephen Kleene en la década de 1930 como parte de sus investigaciones sobre los fundamentos de las matemáticas.
Alonzo Church. Si Alonzo Church (14 Hunyo 1903 – 11 Agosto 1995) ay isang Amerikanong matematiko at lohisyano na nagkagawa ng malalaking pag-aambag sa lohikang matematikal at sa mga pundasyon ng teoretikal na agham pangkompyuter. Siya ay naging tanyag dahil sa kalkulong lambda, tesis na Church-Turing, ontolohiyang Frege-Church at teoremang ...
Учёная степень. доктор философии ( 1927) Научный руководитель. Освальд Веблен [5] Произведения в Викитеке. Алонзо Чёрч ( англ. Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо ...
La thèse de Church — du nom du mathématicien Alonzo Church — est une thèse concernant la définition de la notion de calculabilité . Dans une forme dite « physique » 1, elle affirme que la notion physique de la calculabilité, définie comme étant tout traitement systématique réalisable par un processus physique ou mécanique, peut ...
Entscheidungsproblem. O Entscheidungsproblem (termo alemão para "problema de decisão") é um problema da lógica simbólica que consiste em achar um algoritmo genérico para determinar se um dado enunciado da lógica de primeira ordem pode ser provado. Em 1936-37, trabalhando independentemente, Alonzo Church e Alan Turing mostraram que é ...
Codificação de Church. Em matemática, a codificação de Church é uma forma de incorporar dados e operadores ao cálculo lambda, a forma mais conhecida dos numerais de Church, uma representação dos números naturais usando a notação lambda. O método é conhecido como Alonzo Church, que foi o primeiro a codificar os dados no cálculo ...
