Semelhanças entre Alonzo Church e Ciência da computação
Alonzo Church e Ciência da computação têm 7 coisas em comum (em Unionpedia): Alan Turing, Cálculo lambda, Kurt Gödel, Lógica matemática, Máquina de Turing, Teoria da computação, Tese de Church-Turing.
Alan Turing
Alan Mathison Turing (Londres, 23 de junho de 1912 Wilmslow, Cheshire, 7 de junho de 1954) foi um matemático, cientista da computação, lógico, criptoanalista, filósofo e biólogo teórico britânico.
Alan Turing e Alonzo Church · Alan Turing e Ciência da computação ·
Cálculo lambda
Na lógica matemática e na ciência da computação, lambda cálculo, também escrito como cálculo-λ é um sistema formal que estuda funções recursivas computáveis, no que se refere a teoria da computabilidade, e fenômenos relacionados, como variáveis ligadas e substituição.
Alonzo Church e Cálculo lambda · Cálculo lambda e Ciência da computação ·
Kurt Gödel
Kurt Friedrich Gödel (Brünn, 28 de abril de 1906 — Princeton, 14 de janeiro de 1978) foi um filósofo, matemático e lógico austríaco, naturalizado norte-americano.
Alonzo Church e Kurt Gödel · Ciência da computação e Kurt Gödel ·
Lógica matemática
A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.
Alonzo Church e Lógica matemática · Ciência da computação e Lógica matemática ·
Máquina de Turing
Representação artística de uma máquina de Turing A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936).
Alonzo Church e Máquina de Turing · Ciência da computação e Máquina de Turing ·
Teoria da computação
A teoria da computação é um subcampo da ciência da computação e matemática que busca determinar quais problemas podem ser computados em um dado modelo de computação.
Alonzo Church e Teoria da computação · Ciência da computação e Teoria da computação ·
Tese de Church-Turing
Na teoria da computabilidade, a Tese de Church-Turing ou Tese de Church, assim nomeada em referência a Alonzo Church e Alan Turing, é uma hipótese sobre a natureza de artefatos mecânicos de cálculo, como computadores, e sobre que tipo de algoritmos eles podem executar.
Alonzo Church e Tese de Church-Turing · Ciência da computação e Tese de Church-Turing ·
A lista acima responda às seguintes perguntas
- O que têm em comum Alonzo Church e Ciência da computação
- Quais são as semelhanças entre Alonzo Church e Ciência da computação
Comparação entre Alonzo Church e Ciência da computação
Alonzo Church tem 37 relações, enquanto Ciência da computação tem 227. Como eles têm em comum 7, o índice de Jaccard é 2.65% = 7 / (37 + 227).
Referências
Este artigo é a relação entre Alonzo Church e Ciência da computação. Para acessar cada artigo visite: