37 relações: Alan Turing, Alfred Leon Foster, Cálculo lambda, Cemitério de Princeton, Dana Scott, David Kaplan, Hudson, Hudson (Ohio), John Barkley Rosser, John George Kemeny, Kurt Gödel, Lógica, Lógica de primeira ordem, Lógica matemática, Leon Henkin, Lisp, Martin Davis, Matemática, Matemático, Máquina de Turing, Michael Rabin, Ohio, Oswald Veblen, Peter Andrews, Povo dos Estados Unidos, Raymond Smullyan, Recursividade, Stephen Kleene, Teoria da computação, Tese de Church-Turing, Universidade da Califórnia em Los Angeles, Universidade de Princeton, Washington, D.C., 14 de junho, 1903, 1995, 8 de novembro.
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.
Novo!!: Alonzo Church e Alan Turing · Veja mais »
Alfred Leon Foster
Alfred Leon Foster (conhecido como Alfred Foster; Nova Iorque, – Berkeley, Califórnia) foi um matemático estadunidense.
Novo!!: Alonzo Church e Alfred Leon Foster · Veja mais »
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.
Novo!!: Alonzo Church e Cálculo lambda · Veja mais »
Cemitério de Princeton
Cemitério de Princeton (Princeton Cemetery) é um cemitério localizado em Princeton, Nova Jérsei, Estados Unidos.
Novo!!: Alonzo Church e Cemitério de Princeton · Veja mais »
Dana Scott
Dana Stewart Scott (Berkeley) é um matemático, lógico, informático e filósofo estadunidense.
Novo!!: Alonzo Church e Dana Scott · Veja mais »
David Kaplan
David Benjamin Kaplan (Los Angeles) é um filósofo e logicista norte-americano que ensina na Universidade da California.
Novo!!: Alonzo Church e David Kaplan · Veja mais »
Hudson
Hudson ou Húdson pode se referir a.
Novo!!: Alonzo Church e Hudson · Veja mais »
Hudson (Ohio)
Hudson é uma cidade localizada no estado norte-americano de Ohio, no Condado de Summit.
Novo!!: Alonzo Church e Hudson (Ohio) · Veja mais »
John Barkley Rosser
John Barkley Rosser Sr. (Jacksonville, – Madison, Wisconsin) foi um lógico estadunidense, conhecido por sua parte no Teorema de Church-Rosser em cálculo lambda.
Novo!!: Alonzo Church e John Barkley Rosser · Veja mais »
John George Kemeny
John George Kemeny (Kemény János György; Budapeste, Hungria, — Hanover, Nova Hampshire) foi um cientista informático e educador estado-unidense de origem húngara.
Novo!!: Alonzo Church e John George Kemeny · Veja mais »
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.
Novo!!: Alonzo Church e Kurt Gödel · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Alonzo Church e Lógica · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: Alonzo Church e Lógica de primeira ordem · Veja mais »
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.
Novo!!: Alonzo Church e Lógica matemática · Veja mais »
Leon Henkin
Leon Henkin (Brooklyn, – Oakland) foi um lógico da Universidade de Berkeley.
Novo!!: Alonzo Church e Leon Henkin · Veja mais »
Lisp
Lisp é uma família de linguagens de programação concebida por John McCarthy em 1958.
Novo!!: Alonzo Church e Lisp · Veja mais »
Martin Davis
Martin David Davis (Nova Iorque, - 1 de janeiro de 2023) foi um matemático estadunidense.
Novo!!: Alonzo Church e Martin Davis · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Alonzo Church e Matemática · Veja mais »
Matemático
Arquimedes foi um dos maiores matemáticos da antiguidade Matemático é alguém que usa um amplo conhecimento de matemática em seu trabalho, normalmente para resolver problemas matemáticos.
Novo!!: Alonzo Church e Matemático · Veja mais »
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).
Novo!!: Alonzo Church e Máquina de Turing · Veja mais »
Michael Rabin
Michael Oser Rabin (Wrocław) é um informático israelita.
Novo!!: Alonzo Church e Michael Rabin · Veja mais »
Ohio
O Ohio (ou raramente aportuguesado para Oaio) é um dos 50 estados dos Estados Unidos, localizado na Região Centro-Leste do país.
Novo!!: Alonzo Church e Ohio · Veja mais »
Oswald Veblen
Oswald Veblen (Decorah, 24 de junho de 1880 — Brooklin, 10 de agosto de 1960) foi um matemático, geómetra e topólogo estadunidense.
Novo!!: Alonzo Church e Oswald Veblen · Veja mais »
Peter Andrews
Peter Bruce Andrews é um matemático estadunidense.
Novo!!: Alonzo Church e Peter Andrews · Veja mais »
Povo dos Estados Unidos
Americanos ou norte-americanos, também denominados no Brasil por estadunidenses ou estado-unidenses, são os cidadãos nascidos ou naturalizados nos Estados Unidos da América.
Novo!!: Alonzo Church e Povo dos Estados Unidos · Veja mais »
Raymond Smullyan
Raymond Merrill Smullyan (Far Rockaway, 25 de maio de 1919 – 6 de fevereiro de 2017) foi um matemático estadunidense, pianista, lógico, filósofo taoísta e mágico.
Novo!!: Alonzo Church e Raymond Smullyan · Veja mais »
Recursividade
Uma forma visual de recursão conhecida como ''efeito Droste''. Recursividade (em português europeu: Recorrência), é um termo geralmente usado para descrever o processo de repetição de um objeto de um jeito similar ao que já fora mostrado.
Novo!!: Alonzo Church e Recursividade · Veja mais »
Stephen Kleene
Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.
Novo!!: Alonzo Church e Stephen Kleene · Veja mais »
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.
Novo!!: Alonzo Church e Teoria da computação · Veja mais »
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.
Novo!!: Alonzo Church e Tese de Church-Turing · Veja mais »
Universidade da Califórnia em Los Angeles
A Universidade da Califórnia em Los Angeles (University of California, Los Angeles, UCLA) é uma universidade americana localizada na região de Westwood, na cidade de Los Angeles.
Novo!!: Alonzo Church e Universidade da Califórnia em Los Angeles · Veja mais »
Universidade de Princeton
Universidade de Princeton (Princeton University) é uma universidade privada de pesquisa da Ivy League em Princeton, Nova Jérsei.
Novo!!: Alonzo Church e Universidade de Princeton · Veja mais »
Washington, D.C.
Washington, D.C. é a capital e o distrito federal dos Estados Unidos.
Novo!!: Alonzo Church e Washington, D.C. · Veja mais »
14 de junho
Babbage Porto Stanley.
Novo!!: Alonzo Church e 14 de junho · Veja mais »
1903
---- (na numeração romana) foi um ano comum do século XX do actual Calendário Gregoriano, da Era de Cristo, e a sua letra dominical foi D (53 semanas), teve início a uma quinta-feira e terminou também a uma quinta-feira.
Novo!!: Alonzo Church e 1903 · Veja mais »
1995
Sem descrição
Novo!!: Alonzo Church e 1995 · Veja mais »
8 de novembro
1620: Batalha da Montanha Branca raio-X.
Novo!!: Alonzo Church e 8 de novembro · Veja mais »