Acesso mais rápido do que o navegador!
190 relações: A Essência da Realidade, A Madman Dreams of Turing Machines, A Mente Nova do Rei, ACE (computador), Alan Turing: The Enigma, Alex Lawther, Algoritmo, Algoritmo super-recursivo, Alinhamento da inteligência artificial, Alonzo Church, Ambiguidade, Andrew Hodges, Antinomia, Apple, Aprendizado de máquina, Argumento da múltipla realizabilidade, Arquitetura de von Neumann, BAFTA 2015, BAFTA de melhor ator em cinema, Base química da morfogênese, Benedict Cumberbatch, Bertie the Brain, Biographical Memoirs of Fellows of the Royal Society, Biologia matemática e teórica, Bletchley Park, BLEU, Bomba eletromecânica, Castração química, Cérebro artificial, Cianeto, Ciência da computação, Ciência da computação teórica, Cibernética, Claude Shannon, Colossus (computador), Combinador de ponto fixo, Complexidade de Kolmogorov, Comportamento da Máquina, Computação interativa, Computabilidade, Computing machinery and intelligence, Conjuntos criativos e produtivos, Criptoanálise da Máquina Enigma, Critics' Choice Awards de 2015, Cronologia da história LGBT, Cultura digital, D'Arcy Wentworth Thompson, Daniel Dennett, David Deutsch, Demonstração Automatizada de Teoremas, ..., Desemprego tecnológico, Douglas Hartree, Engenharia de computação, Enigma (máquina), Entscheidungsproblem, Estimativa de frequência de Good-Turing, Eugene Goostman, Exemplos de Máquinas de Turing, FIRST Championship, Formação de padrões, Função computável, Galeria das máquinas de Turing, Gödel, Escher, Bach, Ginestra Bianconi, Gisbert Hasenjaeger, Globo de Ouro de melhor ator em filme dramático, God Created the Integers, GPT-2, Grau de Turing, Heinrich Scholz, Herói, Heterossexualização, Hilary Putnam, Hipercomputação, Hiperficção, História da computação, História da criptografia, História da inteligência artificial, História da tese de Church-Turing, História do hardware, Hut 8, Ian Fleming, Infinidade digital, Informática, Inglaterra, Inteligência artificial, Inteligência artificial geral, Irving John Good, James Hardy Wilkinson, Janna Levin, Joan Clarke, Jon Hall, Jules Richard, Lógica de primeira ordem, Lógica em ciência da computação, Lógica na ciência da computação, Lei de Moore, Leis de anistia, Leonard Matlovich, Lista de cientistas da computação, Lista de computadores de tubos de vácuo, Lista de filmes com temática LGBT de 1992, Lista de filmes com temática LGBT de 1996, Lista de filmes com temática LGBT de 2011, Lista de filmes com temática LGBT de 2014, Lista de linguagens de programação, Lista de membros da Royal Society eleitos em 1951, Lista de não teístas, Lista de pessoas consideradas pai ou mãe de um campo científico, Lista de suicídios, Logótipo do Google, Ludwig Wittgenstein, Marian Rejewski, Máquina de registradores, Máquina de Turing, Máquina de Turing de 2 estados e 3 símbolos de Wolfram, Máquina de Turing universal, Máquinas de Turing equivalentes, Máquinas desorganizadas, Memória do computador, Memorial a Alan Turing, Michael Polanyi, Mind (jornal), Modelo de reação-difusão, Número computável, Número descritivo, Nicholas Metropolis, Nimrod (computador), Noam Chomsky, O Ano de Alan Turing, O Jogo da Imitação, Os Inovadores - Uma Biografia da Revolução Digital, Oscar 2015, Oscar de melhor ator, Padrão de Turing, Padrões na natureza, Paradoxo de Russell, Polímata, Prémio Critics Choice de melhor ator em cinema, Prémio Satellite de melhor ator em cinema, Prémio Screen Actors Guild de melhor ator em cinema, Prémios Globo de Ouro de 2015, Prémios Screen Actors Guild 2015, Prêmio Smith, Prêmio Turing, Prêmio Washington D.C. Area Film Critics Association de Melhor Ator, Problema da parada, Problema indecidível, Problemas de Hilbert, Programa de Hilbert, Programação de computadores, Prova automática de teoremas, Prova matemática, Ratio Club, Rede Neural, Redução de Turing, Reino Unido, Risco existencial da inteligência artificial geral, Robin Gandy, Salto de Turing, Samuel Barnett, Shaun Wylie, Sidney Frank, Sistema computacional, Sistema operativo, Stephen Kleene, Teorema central do limite, Teoremas da incompletude de Gödel, Teoria algorítmica da informação, Teoria da informação, Tese de Church-Turing, Teste de Turing, The Turing Guide, Time 100, Tuono Pettinato, Turing, Turing completude, Turing switch, Universidade de Cambridge, Universidade Estadual de Campinas, Verdade, William Gordon Welchman, William Grey Walter, Xadrez, 100 Greatest Britons, 1912 na ciência, 1954 na ciência, 23 de junho, 28 de maio, 7 de junho. Expandir índice (140 mais) »
A Essência da Realidade
A Essência da Realidade é um livro de autoria do físico David Deutsch, escrito em 1997.
Novo!!: Alan Turing e A Essência da Realidade · Veja mais »
A Madman Dreams of Turing Machines
A Madman Dreams of Turing Machines é um livro escrito por Janna Levin e que foi lançado em 18 de setembro de 2007, cujo tema principal gira em torno das vidas dos matemáticos Kurt Gödel e Alan Turing.
Novo!!: Alan Turing e A Madman Dreams of Turing Machines · Veja mais »
A Mente Nova do Rei
A Mente Nova do Rei (A Mente Virtual, em Portugal, The Emperor's New Mind, em língua inglesa) é um livro escrito pelo físico e matemático inglês Roger Penrose, escrito em linguagem menos técnica com a finalidade de atingir o público leigo informado.
Novo!!: Alan Turing e A Mente Nova do Rei · Veja mais »
ACE (computador)
O ACE (Automatic Computing Engine) foi o primeiro computador projetado no Reino Unido, uma realização de Alan Turing em 1946.
Novo!!: Alan Turing e ACE (computador) · Veja mais »
Alan Turing: The Enigma
Alan Turing: The Enigma é uma obra biográfica escrita por Andrew Hodges e lançada em 1983, que conta a história do lógico, matemático e pioneiro da ciência da computação Alan Turing (1912–1954).
Novo!!: Alan Turing e Alan Turing: The Enigma · Veja mais »
Alex Lawther
Alex Lawther (Petersfield, 4 de maio de 1995) é um ator britânico.
Novo!!: Alan Turing e Alex Lawther · Veja mais »
Algoritmo
Uma animação do algoritmo de ordenação quicksort de uma matriz de valores ao acaso. As barras vermelhas marcam o elemento pivô. No início da animação, estando o elemento para o lado direito, é escolhido como o pivô Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.
Novo!!: Alan Turing e Algoritmo · Veja mais »
Algoritmo super-recursivo
Em teoria da computação, algoritmos super-recursivos são uma generalização de algoritmos ordinários que são mais poderosos, isto é, computam mais que uma máquina de Turing.
Novo!!: Alan Turing e Algoritmo super-recursivo · Veja mais »
Alinhamento da inteligência artificial
No campo da inteligência artificial (IA), a pesquisa de alinhamento da IA (em inglês, AI alignment) visa direcionar os sistemas de IA aos objetivos e interesses pretendidos por seus criadores.
Novo!!: Alan Turing e Alinhamento da inteligência artificial · Veja mais »
Alonzo Church
Alonzo Church (Washington, DC, 14 de junho de 1903 — Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense.
Novo!!: Alan Turing e Alonzo Church · Veja mais »
Ambiguidade
Ambiguidade é o tipo de significado em que uma expressão, declaração ou resolução não está explicitamente definida, tornando plausíveis várias interpretações.
Novo!!: Alan Turing e Ambiguidade · Veja mais »
Andrew Hodges
Andrew Hodges (Londres, 1949) é um escritor e matemático britânico.
Novo!!: Alan Turing e Andrew Hodges · Veja mais »
Antinomia
Uma antinomia é uma afirmação simultânea de duas proposições (teses, sentenças etc.) contraditórias entre si.
Novo!!: Alan Turing e Antinomia · Veja mais »
Apple
Apple Inc. (anteriormente chamado de Apple Computer, Inc.) é uma empresa multinacional norte-americana que tem o objetivo de projetar e comercializar produtos eletrônicos de consumo, software de computador e computadores pessoais.
Novo!!: Alan Turing e Apple · Veja mais »
Aprendizado de máquina
O ou também (em inglês: machine learning) é um subcampo da Engenharia e da ciência da computação que evoluiu do estudo de reconhecimento de padrões e da teoria do aprendizado computacional em inteligência artificial.
Novo!!: Alan Turing e Aprendizado de máquina · Veja mais »
Argumento da múltipla realizabilidade
O argumento da múltipla realizabilidade refere-se às alegações de que um único tipo mental (propriedade, estado, evento) pode ser realizado por muitos tipos físicos distintos.
Novo!!: Alan Turing e Argumento da múltipla realizabilidade · Veja mais »
Arquitetura de von Neumann
John von Neumann. A Arquitetura de von Neumann (de John von Neumann, pronunciado Nóimánn) é uma arquitetura de computador que se caracteriza pela possibilidade de uma máquina digital armazenar seus programas no mesmo espaço de memória que os dados, podendo assim manipular tais programas.
Novo!!: Alan Turing e Arquitetura de von Neumann · Veja mais »
BAFTA 2015
A 68.ª cerimônia de entrega dos Prémios da Academia Britânica de Cinema ou Prêmios BAFTA de 2015 ocorreu em 8 de fevereiro de 2015 na Royal Opera House, em Londres, Reino Unido para premiar as melhores realizações do cinema em 2014.
Novo!!: Alan Turing e BAFTA 2015 · Veja mais »
BAFTA de melhor ator em cinema
BAFTA de melhor ator num papel principal (no original, em inglês: Best Performance by an Actor in a Leading Role) é um prêmio entregue anualmente pela British Academy of Film and Television Arts (BAFTA) ao ator masculino que se tenha distinguido durante o ano num papel principal em cinema.
Novo!!: Alan Turing e BAFTA de melhor ator em cinema · Veja mais »
Base química da morfogênese
O artigo de Turing explicava como os padrões na natureza, como listras, manchas e espirais, como os do baiacu gigante, podem surgir naturalmente. Base química da morfogênese foi um artigo escrito pelo matemático britânico Alan Turing em 1952 descrevendo a maneira pela qual padrões naturais como listras, manchas e espirais podem surgir naturalmente de um estado homogêneo e uniforme.
Novo!!: Alan Turing e Base química da morfogênese · Veja mais »
Benedict Cumberbatch
Benedict Timothy Carlton Cumberbatch CBE (Hammersmith, Londres, 19 de julho de 1976) é um ator britânico mais conhecido pelos seus papéis como Sherlock Holmes na série de televisão Sherlock da BBC e como Stephen Strange/Doutor Estranho no Universo Cinematográfico Marvel.
Novo!!: Alan Turing e Benedict Cumberbatch · Veja mais »
Bertie the Brain
Bertie The Brain é um jogo eletrônico de computador, e um dos primeiros desenvolvidos no início da história dos jogos eletrônicos.
Novo!!: Alan Turing e Bertie the Brain · Veja mais »
Biographical Memoirs of Fellows of the Royal Society
Biographical Memoirs of Fellows of the Royal Society é um periódico científico sobre história da ciência publicado anualmente pela Royal Society.
Novo!!: Alan Turing e Biographical Memoirs of Fellows of the Royal Society · Veja mais »
Biologia matemática e teórica
A biologia matemática teórica ou biomatemática é um ramo da biologia que emprega análise teórica, modelos matemáticos e abstrações dos organismos vivos para investigar os princípios que governam a estrutura, o desenvolvimento e o comportamento dos sistemas, em oposição à biologia experimental, que lida com a realização de experimentos para comprovar e validar as teorias científicas.
Novo!!: Alan Turing e Biologia matemática e teórica · Veja mais »
Bletchley Park
Bletchley Park, também conhecido como Station X, é uma antiga instalação militar secreta localizada em Bletchley (perto de Milton Keynes, Buckinghamshire, na Inglaterra, a mais ou menos 80 km ao norte de Londres), onde funcionou a Government Code and Cypher School (GC&CS), na qual se realizaram os trabalhos de decifração de códigos alemães durante a Segunda Guerra Mundial, sendo o mais conhecido a decifração da Lorenz e da Enigma.
Novo!!: Alan Turing e Bletchley Park · Veja mais »
BLEU
O Assistente de Avaliação Bilíngue, do inglês Bilingual Evaluation Understudy mais conhecido pela sigla BLEU, é um algoritmo que avalia a qualidade do texto que foi traduzido automaticamente de um idioma natural para outro.
Novo!!: Alan Turing e BLEU · Veja mais »
Bomba eletromecânica
Príncipe Edward em 17 de Julho de 2008, e em 2009, foi feita uma demonstração prática do seu uso. A bomba eletromecânica, ou em inglês simplesmente "Bombe" foi a designação de um equipamento eletromecânico utilizado pelos criptologistas britânicos para auxiliar na decodificação das mensagens secretas alemãs criptografadas pela máquina "Enigma", durante a Segunda Guerra Mundial.
Novo!!: Alan Turing e Bomba eletromecânica · Veja mais »
Castração química
O contraceptivo injetável Depo Provera, um derivado da hormônio feminino progestina injetável, causa perda do desejo sexual na maioria dos homens Castração química é uma forma temporária de castração, ocasionada por medicamentos hormonais, temporária pois sua indução permanente só é possível com a codependência de medicamentos usados para reduzir a libido, a atividade sexual, para tratar cânceres hormônio-dependentes como o câncer de próstata.
Novo!!: Alan Turing e Castração química · Veja mais »
Cérebro artificial
O cérebro artificial é um termo comumente utilizado na mídia para descrever as pesquisas que têm como objetivo o desenvolvimento de software e hardware com habilidades cognitivas similares às dos animais ou do cérebro humano.
Novo!!: Alan Turing e Cérebro artificial · Veja mais »
Cianeto
Os cianetos (do grego κυανός (kyanós).
Novo!!: Alan Turing e Cianeto · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Alan Turing e Ciência da computação · Veja mais »
Ciência da computação teórica
Ciência da computação teórica (TCS) ou informática teórica é uma divisão ou subconjunto de ciências da computação e matemática que incide sobre os aspectos mais abstratos ou matemáticos da computação e inclui a teoria da computação.
Novo!!: Alan Turing e Ciência da computação teórica · Veja mais »
Cibernética
A cibernética é o estudo interdisciplinar da estrutura dos sistemas reguladores, suas estruturas, restrições e possibilidades.
Novo!!: Alan Turing e Cibernética · Veja mais »
Claude Shannon
Claude Elwood Shannon (—) foi um matemático, engenheiro eletrônico e criptógrafo estadunidense, conhecido como "o pai da teoria da informação".
Novo!!: Alan Turing e Claude Shannon · Veja mais »
Colossus (computador)
Colossus foi um conjunto de computadores desenvolvidos por decifradores britânicos nos anos de 1943 a 1945 para ajudar na criptoanálise da cifra de Lorenz.
Novo!!: Alan Turing e Colossus (computador) · Veja mais »
Combinador de ponto fixo
Em ciência da computação, um combinador de ponto fixo é uma função y de alta ordem que satisfaz a equação ou em palavras: y, quando aplicado a uma função arbitrária f, produz o mesmo resultado que f aplicada para o resultado da aplicação f para y. É assim chamado porque, por definição x.
Novo!!: Alan Turing e Combinador de ponto fixo · Veja mais »
Complexidade de Kolmogorov
A complexidade de Kolmogorov é uma teoria da informação e da aleatoriedade, profunda e sofisticada, que trata da quantidade de informação de objetos individuais, medida através do tamanho de sua menor descrição algorítmica.
Novo!!: Alan Turing e Complexidade de Kolmogorov · Veja mais »
Comportamento da Máquina
Categoria:Inteligência_artificial Categoria:Behaviorismo A ascendente área da ciência chamada Comportamento da Máquina, do inglês Machine Behaviour ou Machine Behavior, é um novo campo emergente que propõe estudar sistemas computacionais complexos, em especial, os Sistemas Inteligentes, com o mesmo viés metodológico o qual cientistas sociais, psicólogos e biólogos estudam seres humanos e animais, a partir das ciências do comportamento.
Novo!!: Alan Turing e Comportamento da Máquina · Veja mais »
Computação interativa
Em ciência da computação, computação interativa é um modelo matemático para o cálculo que envolve comunicação com o mundo externo.
Novo!!: Alan Turing e Computação interativa · Veja mais »
Computabilidade
Computabilidade é a habilidade de resolver problemas de forma efetiva.
Novo!!: Alan Turing e Computabilidade · Veja mais »
Computing machinery and intelligence
Computing Machinery and Intelligence, escrito por Alan Turing e publicado em 1950 na revista Mind, é um artigo pioneiro sobre inteligência artificial, sendo o primeiro trabalho a introduzir o conceito do que é hoje conhecimento como o Teste de Turing.
Novo!!: Alan Turing e Computing machinery and intelligence · Veja mais »
Conjuntos criativos e produtivos
Em Teoria da Computabilidade, conjuntos produtivos e conjuntos criativos são tipos de conjuntos de números naturais que tem aplicações importantes em lógica matemática.
Novo!!: Alan Turing e Conjuntos criativos e produtivos · Veja mais »
Criptoanálise da Máquina Enigma
A criptoanálise da Máquina Enigma permitiu que os aliados ocidentais da Segunda Guerra Mundial conseguissem ler quantidades substanciais de comunicações secretas de rádio codificadas feitas pelas potências do Eixo, cifradas utilizando a Máquina Enigma.
Novo!!: Alan Turing e Criptoanálise da Máquina Enigma · Veja mais »
Critics' Choice Awards de 2015
O 20.º Critics' Choice Movie Awards (no original, em inglês, 20th Critics' Choice Awards) foi a 20.ª edição organizada pela associação de críticos de cinema dos Estados Unidos e Canadá, Broadcast Film Critics Association, para honrar os melhores profissionais e obras de cinema de 2014.
Novo!!: Alan Turing e Critics' Choice Awards de 2015 · Veja mais »
Cronologia da história LGBT
Está página é um índice cronológico de fatos marcantes relacionados aos direitos das pessoas LGBT nos últimos séculos.
Novo!!: Alan Turing e Cronologia da história LGBT · Veja mais »
Cultura digital
''Microprocessador'' Intel 80486DX2 (1992). Foram vários os momentos que, ao longo da história, determinaram uma série de infraestruturas da comunicação e do ciberespaço que marcaram diferentes etapas até à contemporaneidade.
Novo!!: Alan Turing e Cultura digital · Veja mais »
D'Arcy Wentworth Thompson
Sir D'Arcy Wentworth Thompson CB FRS FRSE (—) foi um biólogo e matemático escocês.
Novo!!: Alan Turing e D'Arcy Wentworth Thompson · Veja mais »
Daniel Dennett
Daniel Clement Dennett (Boston) é um filósofo estadunidense.
Novo!!: Alan Turing e Daniel Dennett · Veja mais »
David Deutsch
David Deutsch (Haifa, 18 de maio) é um físico israelense da Universidade de Oxford.
Novo!!: Alan Turing e David Deutsch · Veja mais »
Demonstração Automatizada de Teoremas
Demonstração automatizada de teoremas (cuja sigla em inglês é ATP, ou dedução automática) é um sub-campo da área da Ciência da Computação e da Lógica que lida com o problema de provar teoremas matemáticos através de programas de computador.
Novo!!: Alan Turing e Demonstração Automatizada de Teoremas · Veja mais »
Desemprego tecnológico
O desemprego tecnológico é a perda de empregos causada pela mudança tecnológica.
Novo!!: Alan Turing e Desemprego tecnológico · Veja mais »
Douglas Hartree
Douglas Rayner Hartree FRS (Cambridge, 27 de março de 1897 — Cambridge, 12 de fevereiro de 1958) foi um matemático e físico inglês, professor da Cátedra Beyer de Matemática Aplicada.
Novo!!: Alan Turing e Douglas Hartree · Veja mais »
Engenharia de computação
A Engenharia de Computação é um curso que integra conhecimentos das áreas da Ciência da Computação e da Engenharia Eletrônica necessários para desenvolver hardware e software.
Novo!!: Alan Turing e Engenharia de computação · Veja mais »
Enigma (máquina)
Enigma foi uma máquina eletromecânica de criptografia com rotores.
Novo!!: Alan Turing e Enigma (máquina) · Veja mais »
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.
Novo!!: Alan Turing e Entscheidungsproblem · Veja mais »
Estimativa de frequência de Good-Turing
Estimativa de frequência Good-Turing é uma técnica estatística para prever a probabilidade de ocorrência de objetos pertencentes a um número de espécies desconhecidos, dado observações passadas desses objetos e suas espécies.
Novo!!: Alan Turing e Estimativa de frequência de Good-Turing · Veja mais »
Eugene Goostman
Eugene Goostman é um chatterbot (software que tenta simular um ser humano em conversações) desenvolvido na Rússia.
Novo!!: Alan Turing e Eugene Goostman · Veja mais »
Exemplos de Máquinas de Turing
Os exemplos a seguir são para complementar o artigo Máquina de Turing.
Novo!!: Alan Turing e Exemplos de Máquinas de Turing · Veja mais »
FIRST Championship
FIRST Championship é um evento anual de robótica que acontece em quatro dias no mês de abril, no qual as equipes da FIRST competem.
Novo!!: Alan Turing e FIRST Championship · Veja mais »
Formação de padrões
A ciência da formação de padrões lida com os resultados visíveis (estatisticamente) organizados da auto-organização e os princípios comuns por trás de padrões similares na natureza.
Novo!!: Alan Turing e Formação de padrões · Veja mais »
Função computável
Funções computáveis são os objetos básicos de estudo na teoria da computabilidade.
Novo!!: Alan Turing e Função computável · Veja mais »
Galeria das máquinas de Turing
A galeria das máquinas de Turing é um artigo suplementar ao artigo máquina de Turing.
Novo!!: Alan Turing e Galeria das máquinas de Turing · Veja mais »
Gödel, Escher, Bach
Gödel, Escher, Bach: um entrelaçamento de Gênios Brilhantes (geralmente chamado GEB) é um livro vencedor do Prémio Pulitzer escrito pelo acadêmico estadunidense Douglas Hofstadter.
Novo!!: Alan Turing e Gödel, Escher, Bach · Veja mais »
Ginestra Bianconi
Ginestra Bianconi é uma físico-matemática italiana, conhecida por seus trabalhos na mecânica estatística e em teoria das redes, em especial o desenvolvimento do modelo Bianconi-Barabasi que possui a propriedade do condensado de Bose-Einstein.
Novo!!: Alan Turing e Ginestra Bianconi · Veja mais »
Gisbert Hasenjaeger
Gisbert Hasenjaeger (Hildesheim, – Münster) foi um matemático alemão.
Novo!!: Alan Turing e Gisbert Hasenjaeger · Veja mais »
Globo de Ouro de melhor ator em filme dramático
Esta é uma lista com os vencedores do prêmio Globo de Ouro na categoria de melhor ator em filme dramático.
Novo!!: Alan Turing e Globo de Ouro de melhor ator em filme dramático · Veja mais »
God Created the Integers
God Created the Integers: The Mathematical Breakthroughs that Changed History é uma antologia editada por Stephen Hawking, contendo "excertos dos 31 mais importantes trabalhos na história da matemática" O título do livro é uma referência à citação atribuída ao matemático Leopold Kronecker, que certa vez escreveu que "Deus criou os inteiros, todo o resto é trabalho dos homens.".
Novo!!: Alan Turing e God Created the Integers · Veja mais »
GPT-2
Generative Pre-trained Transformer (GPT) é uma inteligência artificial de código aberto criada pela OpenAI em fevereiro de 2019.
Novo!!: Alan Turing e GPT-2 · Veja mais »
Grau de Turing
Em ciência da computação e lógica matemática o grau de Turing ou grau de insolubilidade de um conjunto de números naturais mede o nível de insolubilidade algorítmica do conjunto.
Novo!!: Alan Turing e Grau de Turing · Veja mais »
Heinrich Scholz
Heinrich Scholz (Berlim, – Münster) foi um lógico, filósofo e teólogo alemão.
Novo!!: Alan Turing e Heinrich Scholz · Veja mais »
Herói
Herói (feminino: heroína) é uma pessoa real ou um personagem principal fictício que, diante do perigo, combate a adversidade por meio de feitos de engenhosidade, coragem ou força.
Novo!!: Alan Turing e Herói · Veja mais »
Heterossexualização
A heterossexualização (straightwashing) é a prática de apresentar pessoas ou personagens homossexuais ou bissexuais na realidade ou na literatura como heterossexuais ou alterar informações sobre figuras históricas para fazer sua representação obedecer à heteronormatividade.
Novo!!: Alan Turing e Heterossexualização · Veja mais »
Hilary Putnam
Hilary Whitehall Putnam (Chicago, –) foi um filósofo estadunidense e uma das figuras centrais da filosofia ocidental desde a década de 1960, especialmente em filosofia da mente, filosofia da linguagem e filosofia da ciência.
Novo!!: Alan Turing e Hilary Putnam · Veja mais »
Hipercomputação
Hipercomputação ou computação super-Turing refere-se aos modelos de computação que são mais poderosos que, ou são incomparáveis com, computabilidade de Turing.
Novo!!: Alan Turing e Hipercomputação · Veja mais »
Hiperficção
Hiperficção é a «narrativa desenvolvida segundo uma estrutura em labirinto, assente na noção de hipertexto, ou texto a três dimensões no hiperespaço, em que a intervenção do leitor vai determinar um percurso de leitura único que não esgota a totalidade dos percursos possíveis no campo de leitura».
Novo!!: Alan Turing e Hiperficção · Veja mais »
História da computação
O desenvolvimento da tecnologia da computação foi a união de várias áreas do conhecimento humano, dentre as quais: a matemática, a eletrônica digital, a lógica de programação, entre outras.
Novo!!: Alan Turing e História da computação · Veja mais »
História da criptografia
A história da criptografia começa há milhares de anos.
Novo!!: Alan Turing e História da criptografia · Veja mais »
História da inteligência artificial
A História da Inteligência Artificial (IA) começou na antiguidade com mitos, histórias e rumores de seres artificiais dotados com inteligência ou consciência pelos seus fabricantes; conforme Pamela McCorduck escreve, IA começou com "um desejo antigo de forjar os deuses." As sementes da IA moderna foram plantadas pelos filósofos clássicos que tentaram descrever o processo de pensamento humano como um mecanismo de manipulação de símbolos.
Novo!!: Alan Turing e História da inteligência artificial · Veja mais »
História da tese de Church-Turing
A história da tese de Church-Turing ("tese") envolve a história do desenvolvimento do estudo da natureza das funções cujos valores são efetivamente calculáveis; ou, em termos mais modernos, funções cujos valores são algoritmicamente computáveis.
Novo!!: Alan Turing e História da tese de Church-Turing · Veja mais »
História do hardware
|----- | style.
Novo!!: Alan Turing e História do hardware · Veja mais »
Hut 8
Hut 8 foi uma seção em Bletchley Park (uma estação de decifração de códigos, da segunda guerra mundial), encarregada de decifrar as mensagens das máquinas Enigma alemãs.
Novo!!: Alan Turing e Hut 8 · Veja mais »
Ian Fleming
Ian Lancaster Fleming (Londres, – Cantuária) foi um militar, escritor e jornalista britânico mais conhecido por escrever vários romances de espionagem protagonizados por sua criação, o agente secreto James Bond.
Novo!!: Alan Turing e Ian Fleming · Veja mais »
Infinidade digital
A infinidade digital ou infinito digital é um termo técnico da teoria linguística, também chamado de "infinito discreto" e "o uso infinito de meios finitos".
Novo!!: Alan Turing e Infinidade digital · Veja mais »
Informática
Informática (do frances: "informatique", do alemã "informatik"; composição: "informação" e "automática") é um termo usado para descrever o conjunto das ciências relacionadas à coleta, armazenamento, transmissão e processamento de informações nos meios digitais, estando incluídas neste grupo: a ciência da computação, os sistemas de informação, a teoria da informação, o processo de cálculo, a análise numérica e, os métodos teóricos da representação dos conhecimentos e da modelagem dos problemas.
Novo!!: Alan Turing e Informática · Veja mais »
Inglaterra
Inglaterra (England) é uma das nações constituintes do Reino Unido.
Novo!!: Alan Turing e Inglaterra · Veja mais »
Inteligência artificial
Inteligência artificial (de sigla: IA; do inglês: artificial intelligence, de sigla: AI) é um campo de estudo multidisciplinar que abrange varias áreas do conhecimento.
Novo!!: Alan Turing e Inteligência artificial · Veja mais »
Inteligência artificial geral
Inteligência artificial geral (AGI) (do inglês: Artificial general intelligence) é a capacidade hipotética de um agente inteligente de compreender ou aprender qualquer tarefa intelectual que um ser humano possa.
Novo!!: Alan Turing e Inteligência artificial geral · Veja mais »
Irving John Good
Irving John Good (Londres, — Radford (Virgínia)) London Times of 16-apr-09, http://www.timesonline.co.uk/tol/comment/obituaries/article6100314.ece foi um matemático britânico.
Novo!!: Alan Turing e Irving John Good · Veja mais »
James Hardy Wilkinson
James Hardy Wilkinson (Strood, — Londres) foi um matemático inglês.
Novo!!: Alan Turing e James Hardy Wilkinson · Veja mais »
Janna Levin
Janna J. Levin (nascida em 1967) é uma cosmóloga teórica americana e professora de física e astronomia no Barnard College.
Novo!!: Alan Turing e Janna Levin · Veja mais »
Joan Clarke
Joan Elisabeth Lowther Murray, OBE (Londres, 24 de junho de 1917 – Oxford, 4 de setembro de 1996) foi uma criptoanalista e numismatista britânica, conhecida por seu trabalho na Segunda Guerra Mundial, quebrando códigos inimigos na instalação de Bletchley Park.
Novo!!: Alan Turing e Joan Clarke · Veja mais »
Jon Hall
Jon "Maddog" Hall é um engenheiro de software, empresário e diretor executivo estadunidense.
Novo!!: Alan Turing e Jon Hall · Veja mais »
Jules Richard
Jules Richard (Blet, 12 de agosto de 1862 - Châteauroux, 14 de outubro de 1956) foi um matemático francês.
Novo!!: Alan Turing e Jules Richard · 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!!: Alan Turing e Lógica de primeira ordem · Veja mais »
Lógica em ciência da computação
Representação diagramática de portas lógicas de computador Lógica em ciência da computação abrange a sobreposição entre o campo da Lógica e o da ciência da computação.
Novo!!: Alan Turing e Lógica em ciência da computação · Veja mais »
Lógica na ciência da computação
A lógica na ciência da computação cobre a sobreposição entre o campo da lógica e o da ciência da computação.
Novo!!: Alan Turing e Lógica na ciência da computação · Veja mais »
Lei de Moore
Lei de Moore é uma expressão referente a observação feita por Gordon Moore (químico estadunidense cofundador da Intel) em 1965 no artigo “Cramming More Components onto Integrated Circuits” sobre a tendência histórica da indústria de microchips e processadores.
Novo!!: Alan Turing e Lei de Moore · Veja mais »
Leis de anistia
Uma lei de anistia é qualquer arranjo legislativo, constitucional ou executivo que isenta retroativamente um grupo seleto de pessoas, geralmente líderes militares e líderes do governo, de responsabilidade criminal pelos crimes que cometeram.
Novo!!: Alan Turing e Leis de anistia · Veja mais »
Leonard Matlovich
Leonard P. Matlovich (Savannah, – West Hollywood) foi um militar americano, veterano da Guerra do Vietnã, instrutor de relações raciais e condecorado com a Estrela de Bronze e o Coração Púrpura.
Novo!!: Alan Turing e Leonard Matlovich · Veja mais »
Lista de cientistas da computação
Sem descrição
Novo!!: Alan Turing e Lista de cientistas da computação · Veja mais »
Lista de computadores de tubos de vácuo
Os computadores de tubos de vácuo são computadores digitais programáveis que utilizam tubos de vácuo em seus circuitos lógicos.
Novo!!: Alan Turing e Lista de computadores de tubos de vácuo · Veja mais »
Lista de filmes com temática LGBT de 1992
Esta é uma lista de filmes que contém personagens e/ou temática lésbica, gay, bissexual, ou transgênera lançados em 1992.
Novo!!: Alan Turing e Lista de filmes com temática LGBT de 1992 · Veja mais »
Lista de filmes com temática LGBT de 1996
Esta é uma lista de filmes que contém personagens e/ou temática lésbica, gay, bissexual, ou transgênera lançados em 1996.
Novo!!: Alan Turing e Lista de filmes com temática LGBT de 1996 · Veja mais »
Lista de filmes com temática LGBT de 2011
Esta é uma lista de filmes que contém personagens e/ou temática lésbica, gay, bissexual, ou transgênera lançados em 2011.
Novo!!: Alan Turing e Lista de filmes com temática LGBT de 2011 · Veja mais »
Lista de filmes com temática LGBT de 2014
Esta é uma lista de filmes que contém personagens e/ou temática lésbica, gay, bissexual, ou transgênera lançados em 2014.
Novo!!: Alan Turing e Lista de filmes com temática LGBT de 2014 · Veja mais »
Lista de linguagens de programação
Euphoria, uma linguagem interpretada procedural. Esta é uma lista de linguagens de programação, atuais e históricas, em ordem alfabética, que inclui também o desenvolvedor, data de criação e o paradigma de programação que é a forma de classificar as linguagens baseada em suas funcionalidades.
Novo!!: Alan Turing e Lista de linguagens de programação · Veja mais »
Lista de membros da Royal Society eleitos em 1951
Esta página lista Membros da Royal Society eleitos em 1951.
Novo!!: Alan Turing e Lista de membros da Royal Society eleitos em 1951 · Veja mais »
Lista de não teístas
Esta é uma lista de pessoas notórias cuja visão sobre Deus possa ser classificada como "não-teísmo", a posição contrária ao teísmo (a crença declarada em um ou mais deuses).
Novo!!: Alan Turing e Lista de não teístas · Veja mais »
Lista de pessoas consideradas pai ou mãe de um campo científico
Esta é uma lista de pessoas consideradas um "pai" ou "mãe" (ou "pai fundador" ou "mãe fundadora") de um campo científico.
Novo!!: Alan Turing e Lista de pessoas consideradas pai ou mãe de um campo científico · Veja mais »
Lista de suicídios
Essa página contém uma lista de pessoas notáveis que morreram por suicídio.
Novo!!: Alan Turing e Lista de suicídios · Veja mais »
Logótipo do Google
O atual logotipo do Google, adotado em 21 de outubro de 2015. O logo agora utiliza a fonte Sans-Serif Product Sans (criada para o efeito), cores mais suaves e se assemelha ao logotipo da ''holding'' do Google, a Alphabet Inc.. O logotipo aplicado a página inicial do Google Search. O Google já teve vários logotipos e desde então sua fama tem crescido de décadas a décadas por pesquisas e muitas pesquisas desde a sua criação.
Novo!!: Alan Turing e Logótipo do Google · Veja mais »
Ludwig Wittgenstein
Ludwig Joseph Johann Wittgenstein (Viena, 26 de Abril de 1889 — Cambridge, 29 de Abril de 1951) foi um filósofo austríaco, naturalizado britânico.
Novo!!: Alan Turing e Ludwig Wittgenstein · Veja mais »
Marian Rejewski
Marian Adam Rejewski ((sound 'marjan re'jefski; Bydgoszcz, Império Alemão, 16 de agosto de 1905 – Varsóvia, República Popular da Polônia, 13 de fevereiro de 1980) foi um matemático e criptoanalista polaco (polonês) que, no final de 1932, reconstruiu a invisível máquina de cifragem militar alemã Enigma, auxiliado por documentos limitados obtidos pela inteligência militar francesa. Nos sete anos seguintes, Rejewski e seus colegas criptologistas matemáticos Jerzy Różycki e Henryk Zygalski desenvolveram e usaram técnicas e equipamentos para descriptografar as cifras de máquina alemãs, mesmo quando os alemães introduziram modificações em seus equipamentos e procedimentos de criptografia. Cinco semanas antes da eclosão da Segunda Guerra Mundial, os poloneses, em uma conferência em Varsóvia, compartilharam suas conquistas com os franceses e britânicos, permitindo assim que a Grã-Bretanha começasse a ler mensagens criptografadas da Enigma alemã, sete anos após a reconstrução original da máquina por Rejewski. A inteligência obtida pelos britânicos a partir das criptografias da Enigma fazia parte do codinome Ultra e contribuiu - talvez de forma decisiva - para a derrota da Alemanha. Em 1929, enquanto estudava matemática na Universidade de Poznań, Rejewski frequentou um curso secreto de criptologia conduzido pelo Bureau de Cifras do Estado-Maior Polonês (Biuro Szyfrów), que ingressou em setembro de 1932. O Bureau não teve sucesso na leitura de mensagens criptografadas pela Enigma e colocou Rejewski para trabalhar no problema no final de 1932. Ele deduziu a fiação interna secreta da máquina depois de apenas algumas semanas. Rejewski e seus dois colegas desenvolveram técnicas sucessivas para a descriptografia regular das mensagens Enigma. Suas próprias contribuições incluíram o catálogo criptológico, obtido com o uso do ciclômetro que ele inventou, e a bomba criptológica. Cinco semanas antes da invasão alemã da Polônia em 1939, Rejewski e colegas apresentaram suas realizações aos representantes da inteligência francesa e britânica convocados a Varsóvia. Logo após a eclosão da guerra, os criptologistas poloneses foram evacuados para a França, onde continuaram a quebrar mensagens criptografadas pela Enigma. Eles e sua equipe de apoio foram novamente obrigados a evacuar após a queda da França em junho de 1940, e retomaram o trabalho disfarçados alguns meses depois, na França de Vichy. Depois que a "Zona Franca" francesa foi ocupada pela Alemanha em novembro de 1942, Rejewski e Zygalski fugiram via Espanha, Portugal e Gibraltar para a Grã-Bretanha. Lá, eles se alistaram nas Forças Armadas Polonesas e foram colocados para trabalhar na solução de cifras alemãs de baixo grau. Após a guerra, Rejewski se reuniu com sua família na Polônia e trabalhou como contador. Por duas décadas, ele permaneceu em silêncio sobre seu trabalho criptológico pré-guerra e de guerra para evitar a atenção adversa do governo dominado pelos soviéticos; ele quebrou o silêncio em 1967, quando forneceu ao Instituto Histórico Militar Polonês suas memórias de seu trabalho no Cipher Bureau. Ele morreu aos 74 anos de um ataque cardíaco e foi enterrado com honras militares no Cemitério Militar Powązki de Varsóvia.
Novo!!: Alan Turing e Marian Rejewski · Veja mais »
Máquina de registradores
Na lógica matemática e na ciência da computação teórica uma máquina de registradores é uma classe genérica de máquinas abstratas usadas de uma maneira similar a máquina de Turing.
Novo!!: Alan Turing e Máquina de registradores · 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!!: Alan Turing e Máquina de Turing · Veja mais »
Máquina de Turing de 2 estados e 3 símbolos de Wolfram
Em seu livro A New Kind of Science, Stephen Wolfram descreveu uma máquina de Turing de cinco cores e dois estados; e conjecturou que uma máquina de Turing particular de dois estados e três cores (de agora em diante, máquina de Turing (2,3)) poderia também ser universal.
Novo!!: Alan Turing e Máquina de Turing de 2 estados e 3 símbolos de Wolfram · Veja mais »
Máquina de Turing universal
Em ciência da computação, uma máquina de Turing universal (MTU) é uma máquina de Turing que consegue simular outra máquina de Turing arbitrária com uma entrada arbitrária.
Novo!!: Alan Turing e Máquina de Turing universal · Veja mais »
Máquinas de Turing equivalentes
Uma máquina de Turing é um dispositivo teórico com uma capacidade de memória infinita, inicialmente concebida por Alan Turing em 1936.
Novo!!: Alan Turing e Máquinas de Turing equivalentes · Veja mais »
Máquinas desorganizadas
Um máquina sem organização é um conceito mencionado em um relato de 1938 onde Alan Turing sugere que o córtex humano infantil era o que ele chamou de "máquina desorganizada".
Novo!!: Alan Turing e Máquinas desorganizadas · Veja mais »
Memória do computador
A memória do computador armazena informações, como dados e programas para uso imediato no computador.
Novo!!: Alan Turing e Memória do computador · Veja mais »
Memorial a Alan Turing
197x197px Placa do memorial a Alan Turing. O memorial a Alan Turing (1912-1954) está situado no espaço público de Sackville Park, na cidade de Manchester, na Inglaterra.
Novo!!: Alan Turing e Memorial a Alan Turing · Veja mais »
Michael Polanyi
Michael Polanyi, nascido Polányi Mihály, (Budapeste, 12 de março de 1891 — Northampton, 22 de fevereiro de 1976) foi um polímata húngaro-britânico que fez contribuições teóricas importantes para a físico-química, economia e filosofia.
Novo!!: Alan Turing e Michael Polanyi · Veja mais »
Mind (jornal)
Mind é um jornal acadêmico revisado trimestralmente, publicado pela Oxford University Press em nome da Mind Association.
Novo!!: Alan Turing e Mind (jornal) · Veja mais »
Modelo de reação-difusão
O Modelo de Reação-Difusão é um modelo matemático teorético de como são formados e regulados padrões característicos durante o desenvolvimento de embriões animais.
Novo!!: Alan Turing e Modelo de reação-difusão · Veja mais »
Número computável
Na matemática, particularmente na ciência da computação teórica e na lógica matemática, os números computáveis, também conhecidos como números recursivos ou reais computáveis, são os números reais que podem ser computados para qualquer precisão desejada por um algoritmo finito e que termina.
Novo!!: Alan Turing e Número computável · Veja mais »
Número descritivo
Descritores são números que surgem na teoria das máquinas de Turing.
Novo!!: Alan Turing e Número descritivo · Veja mais »
Nicholas Metropolis
Nicholas Constantine Metropolis (Νικόλαος Μητρόπουλος; Chicago, – Los Alamos, Novo México) foi um físico estadunidense.
Novo!!: Alan Turing e Nicholas Metropolis · Veja mais »
Nimrod (computador)
O Nimrod, construído no Reino Unido pela Ferranti para o Festival da Grã Bretanha de 1951, era um computador que simulava um jogo de Nim.
Novo!!: Alan Turing e Nimrod (computador) · Veja mais »
Noam Chomsky
Avram Noam Chomsky (Filadélfia, 7 de dezembro de 1928) é um linguista, filósofo, sociólogo, cientista cognitivo, comentarista e ativista político norte-americano, também é uma das mais renomadas figuras no campo da filosofia analítica.
Novo!!: Alan Turing e Noam Chomsky · Veja mais »
O Ano de Alan Turing
O Ano de Alan Turing, 2012, marcou a celebração da vida e da influência científica de Alan Turing durante o centenário de seu nascimento, em 23 de junho de 1912.
Novo!!: Alan Turing e O Ano de Alan Turing · Veja mais »
O Jogo da Imitação
The Imitation Game é um filme britano-estadunidense de 2014, dos gêneros suspense e drama histórico-biográfico, dirigido por Morten Tyldum, com roteiro de Graham Moore baseado no livro biográfico Alan Turing: The Enigma, de Andrew Hodges, por sua vez inspirado na vida do criptoanalista britânico Alan Turing.
Novo!!: Alan Turing e O Jogo da Imitação · Veja mais »
Os Inovadores - Uma Biografia da Revolução Digital
Os Inovadores - Uma Biografia da Revolução Digital (The Innovators: How a Group of Inventors, Hackers, Geniuses, and Geeks Created the Digital Revolution) é um livro lançado em 2014, escrito por Walter Isaacson.
Novo!!: Alan Turing e Os Inovadores - Uma Biografia da Revolução Digital · Veja mais »
Oscar 2015
A 87.ª cerimônia do Oscar ou Oscar 2015 (no original: 87th Academy Awards), apresentada pela Academia de Artes e Ciências Cinematográficas (AMPAS), homenageou os melhores filmes, atores e técnicos de 2014.
Novo!!: Alan Turing e Oscar 2015 · Veja mais »
Oscar de melhor ator
O Oscar de Melhor Ator (do inglês: Academy Award for Best Actor) é uma categoria de premiação do Óscar (dentre as 23 categorias atuais) referente a escolha de melhor ator de uma produção cinematográfica; é o prêmio anual que a Academia de Artes e Ciências Cinematográficas dos Estados Unidos oferece em honra a um ator que realizou uma interpretação extraordinária em um papel principal enquanto trabalhava na indústria do cinema, em uma produção no ano anterior ao da realização da cerimônia.
Novo!!: Alan Turing e Oscar de melhor ator · Veja mais »
Padrão de Turing
O matemático inglês Alan Turing introduziu um conceito que veio a ser conhecido como padrão de Turing em um artigo de 1952 intitulado "A Base Química da Morfogênese".
Novo!!: Alan Turing e Padrão de Turing · Veja mais »
Padrões na natureza
Padrões na natureza são regularidades visíveis de forma encontradas no mundo natural.
Novo!!: Alan Turing e Padrões na natureza · Veja mais »
Paradoxo de Russell
O Paradoxo de Russell é um paradoxo descoberto por Bertrand Russell em 1901 e que mostra que no sistema do livro de Frege Leis fundamentais da aritmética pode ser derivada uma contradição.
Novo!!: Alan Turing e Paradoxo de Russell · Veja mais »
Polímata
Leonardo da Vinci, célebre polímata, é considerado um gênio nas áreas mais distintas, que vão da física e matemática à pintura e escultura. Um polímata (do grego πολυμαθής, transl. polymathēs, lit. "aquele que aprendeu muito") Harper, Daniel.
Novo!!: Alan Turing e Polímata · Veja mais »
Prémio Critics Choice de melhor ator em cinema
O Prémio Critics Choice de melhor ator em cinema (no original em inglês Critics' Choice Movie Award for Best Actor) é um dos dezenove prêmios concedidos anualmente aos melhores profissionais que trabalham na indústria do cinema pela Broadcast Film Critics Association.
Novo!!: Alan Turing e Prémio Critics Choice de melhor ator em cinema · Veja mais »
Prémio Satellite de melhor ator em cinema
O Prémio Satellite de melhor ator em filme de drama é um prêmio anual dado pela International Press Academy, sendo uma das categorias do Satellite Awards.
Novo!!: Alan Turing e Prémio Satellite de melhor ator em cinema · Veja mais »
Prémio Screen Actors Guild de melhor ator em cinema
O '''Prémio Screen Actors Guild''' para Melhor ator em cinema é dado pelo sindicato americano Screen Actors Guild para honrar as melhores interpretações de atores (masculinos) no cinema num papel principal.
Novo!!: Alan Turing e Prémio Screen Actors Guild de melhor ator em cinema · Veja mais »
Prémios Globo de Ouro de 2015
180px Prémios Globo de Ouro de 2015 11 de Janeiro de 2015 ---- Filme - Drama: Boyhood ---- Filme - Comédia ou Musical: The Grand Budapest Hotel ---- Série de televisão – Drama: The Affair ---- Série de televisão – Comédia ou Musical: Transparent ---- Minissérie ou Filme para televisão: Fargo ---- Prémio Cecil B. DeMille: George Clooney ---- Prêmios Globo de Ouro ← 2014 2016 → Os Prémios Globo de Ouro de 2015 (no original, em inglês, 72nd Golden Globe Awards) honraram os melhores profissionais de cinema e televisão, filmes e programas televisivos de 2014.
Novo!!: Alan Turing e Prémios Globo de Ouro de 2015 · Veja mais »
Prémios Screen Actors Guild 2015
Os Prémios Screen Actors Guild 2015 (no original em inglês 21th Screen Actors Guild Awards) é o 21º evento promovido pelo sindicato americano de atores Screen Actors Guild onde foram premiados os melhores atores e elencos de cinema e televisão de 2014.
Novo!!: Alan Turing e Prémios Screen Actors Guild 2015 · Veja mais »
Prêmio Smith
O Prêmio Smith (Smith's Prize) foi o nome de dois prêmios anuais para dois estudantes pesquisadores de física teórica, matemática e matemática aplicada da Universidade de Cambridge, Cambridge, Inglaterra.
Novo!!: Alan Turing e Prêmio Smith · Veja mais »
Prêmio Turing
O Prêmio Turing é concedido anualmente pela Association for Computing Machinery (ACM) para uma pessoa selecionada por contribuições à computação.
Novo!!: Alan Turing e Prêmio Turing · Veja mais »
Prêmio Washington D.C. Area Film Critics Association de Melhor Ator
O Prêmio Washington D.C. Area Film Critics Association Award de Melhor Ator é um prêmio de cinema anual oferecido pela Washington D.C. Area Film Critics Association.
Novo!!: Alan Turing e Prêmio Washington D.C. Area Film Critics Association de Melhor Ator · Veja mais »
Problema da parada
Na teoria da computabilidade o experimento mental do problema da parada é um problema de decisão que pode ser declarado informalmente da seguinte forma: Alan Turing provou em 1936 que um algoritmo genérico para resolver o problema da parada para todos pares programa-entrada possíveis não pode existir.
Novo!!: Alan Turing e Problema da parada · Veja mais »
Problema indecidível
Na teoria da computação e na teoria da complexidade computacional, um problema indecidível é um problema de decisão em que é impossível construir um algoritmo que sempre responde corretamente sim ou não.
Novo!!: Alan Turing e Problema indecidível · Veja mais »
Problemas de Hilbert
David Hilbert, o autor dos "23 problemas" Os Problemas de Hilbert são uma lista de 23 problemas em matemática propostos pelo matemático alemão David Hilbert na conferência do Congresso Internacional de Matemáticos de Paris em 1900.
Novo!!: Alan Turing e Problemas de Hilbert · Veja mais »
Programa de Hilbert
O programa de Hilbert foi uma proposta feita em 1921 pelo matemático alemão David Hilbert de reformular as bases da matemática de forma rigorosa, partindo da aritmética.
Novo!!: Alan Turing e Programa de Hilbert · Veja mais »
Programação de computadores
coloração de sintaxe e indentação de código. Programação é o processo de escrita, teste e manutenção de um programa de computador.
Novo!!: Alan Turing e Programação de computadores · Veja mais »
Prova automática de teoremas
agda2 Prova automática de teoremas (PAT) ou dedução automática (DA) é a prova de teoremas matemáticos por um programa de computador.
Novo!!: Alan Turing e Prova automática de teoremas · Veja mais »
Prova matemática
Prova do teorema de Euclides. Em matemática, uma prova é uma demonstração de que, dados certos axiomas, algum enunciado de interesse é necessariamente verdadeiro.
Novo!!: Alan Turing e Prova matemática · Veja mais »
Ratio Club
O Ratio Club foi um pequeno clube informal (dining club) de 1949 a 1958 reunindo jovens psiquiatras, psicólogos, fisiólogos, matemáticos e engenheiros que se reuniam para discutir assuntos relacionados à cibernética.
Novo!!: Alan Turing e Ratio Club · Veja mais »
Rede Neural
A rede neural é uma rede ou circuito de neurônios biológicos, ou em um sentido mais moderno, uma rede neural artificial, composta de neurônios artificiais ou nodos.
Novo!!: Alan Turing e Rede Neural · Veja mais »
Redução de Turing
Na Teoria da Computação, a redução de Turing de um problema A para um problema B, nomeado após Alan Turing, é uma redução que resolve A, assumindo que B já é conhecido.
Novo!!: Alan Turing e Redução de Turing · Veja mais »
Reino Unido
O Reino Unido (United Kingdom, UK), oficialmente Reino Unido da Grã-Bretanha e Irlanda do Norte, é um país insular localizado em frente à costa noroeste do continente europeu.
Novo!!: Alan Turing e Reino Unido · Veja mais »
Risco existencial da inteligência artificial geral
O risco existencial da inteligência artificial geral é a hipótese de que o progresso substancial da inteligência artificial generativa (IAG) poderia resultar na extinção humana ou em alguma outra catástrofe global irrecuperável.
Novo!!: Alan Turing e Risco existencial da inteligência artificial geral · Veja mais »
Robin Gandy
Robin Oliver Gandy (—) foi um matemático britânico.
Novo!!: Alan Turing e Robin Gandy · Veja mais »
Salto de Turing
Em teoria da computabilidade, o Salto de Turing ou Operador de Salto de Turing, nomeado por Alan Turing, é um operador que designa para cada problema de decisão um sucessivo problema de decisão mais difícil que tem a propriedade é não-decidível por uma Máquina Oráculo com um oráculo para.
Novo!!: Alan Turing e Salto de Turing · Veja mais »
Samuel Barnett
Samuel Barnett (nascido em 25 de abril de 1980) é um ator inglês.
Novo!!: Alan Turing e Samuel Barnett · Veja mais »
Shaun Wylie
Shaun Wylie (Oxford, –, The Times, 5 November 2009., Trinity Hall, Cambridge, UK.) foi um matemático britânico.
Novo!!: Alan Turing e Shaun Wylie · Veja mais »
Sidney Frank
Sidney E. Frank (2 de outubro de 1919 — 10 de janeiro de 2006) foi um empresário e filantropo americano.
Novo!!: Alan Turing e Sidney Frank · Veja mais »
Sistema computacional
Um sistema computacional consiste num conjunto de dispositivos eletrônicos (hardware) capazes de processar informações de acordo com um programa (software).
Novo!!: Alan Turing e Sistema computacional · Veja mais »
Sistema operativo
é um programa ou um conjunto de programas cuja função é gerenciar os recursos do sistema (definir qual programa recebe atenção do processador, gerenciar memória, criar um sistema de arquivos, etc.), fornecendo uma interface entre o computador e o. Embora possa ser executado imediatamente após a máquina ser ligada, a maioria dos computadores pessoais de hoje o executa através de outro programa armazenado em uma memória não-volátil ROM chamado BIOS num processo chamado "bootstrapping", conceito em inglês usado para designar processos autossustentáveis, ou seja, capazes de prosseguirem sem ajuda externa.
Novo!!: Alan Turing e Sistema operativo · Veja mais »
Stephen Kleene
Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.
Novo!!: Alan Turing e Stephen Kleene · Veja mais »
Teorema central do limite
O teorema central do limite (ou teorema do limite central) é um importante resultado da estatística e a demonstração de muitos outros teoremas estatísticos dependem dele.
Novo!!: Alan Turing e Teorema central do limite · Veja mais »
Teoremas da incompletude de Gödel
Os teoremas da incompletude de Gödel são dois teoremas da lógica matemática que estabelecem limitações inerentes a quase todos os sistemas axiomáticos, exceto aos mais triviais.
Novo!!: Alan Turing e Teoremas da incompletude de Gödel · Veja mais »
Teoria algorítmica da informação
A teoria algorítmica da informação é um subcampo da teoria da informação e da ciência da computação que se preocupa com a relação entre computação e informação.
Novo!!: Alan Turing e Teoria algorítmica da informação · Veja mais »
Teoria da informação
A teoria matemática da informação estuda a quantificação, armazenamento e comunicação da informação.
Novo!!: Alan Turing e Teoria da informaçã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!!: Alan Turing e Tese de Church-Turing · Veja mais »
Teste de Turing
2000 O Teste de Turing testa a capacidade de um computador de exibir comportamento inteligente equivalente ao de um ser humano, ou indistinguível deste.
Novo!!: Alan Turing e Teste de Turing · Veja mais »
The Turing Guide
The Turing Guide, em tradução livre para o português O guia de Turing, é um livro do gênero não ficção de história da ciência, escrito por Jack Copeland, Mark Sprevak, Robin James Wilson, Jonathan Bowen e outros autores.
Novo!!: Alan Turing e The Turing Guide · Veja mais »
Time 100
A Time 100 é uma lista anual das 100 pessoas mais influentes do ano no mundo, como elaborado pela revista Time.
Novo!!: Alan Turing e Time 100 · Veja mais »
Tuono Pettinato
Andrea Paggiaro, mais conhecido como Tuono Pettinato, (Pisa, 27 de setembro de 1976 — 14 de junho de 2021) foi um ilustrador de história em quadrinhos italiano.
Novo!!: Alan Turing e Tuono Pettinato · Veja mais »
Turing
Turing pode referir-se a.
Novo!!: Alan Turing e Turing · Veja mais »
Turing completude
Na teoria da computação, a completude de Turing ou Turing-completo (do inglês: Turing-completeness; batizado em memória de Alan Turing), também chamado computacionalmente universal, é um conjunto de regras para manipulação de dados (semelhante a uma linguagem de programação, um autómato celular, um conjunto de instruções) que pode ser usado para resolver qualquer problema de computação (simula a lógica de qualquer algoritmo de computador).
Novo!!: Alan Turing e Turing completude · Veja mais »
Turing switch
Turing switch O "Turing switch" é uma construção lógica similar à máquina de Turing.
Novo!!: Alan Turing e Turing switch · Veja mais »
Universidade de Cambridge
A Universidade de Cambridge (de Cantabrígia ou de Cambrígia; do inglês: University of Cambridge) é uma tradicional instituição de ensino superior pública que localiza-se na cidade de Cambridge (Reino Unido).
Novo!!: Alan Turing e Universidade de Cambridge · Veja mais »
Universidade Estadual de Campinas
Universidade Estadual de Campinas (Unicamp) é uma instituição de ensino superior pública estadual brasileira, sediada na cidade de Campinas, no estado de São Paulo, considerada uma das melhores universidades do país e da América Latina.
Novo!!: Alan Turing e Universidade Estadual de Campinas · Veja mais »
Verdade
A verdade é a propriedade de estar de acordo com o fato real ou a realidade.
Novo!!: Alan Turing e Verdade · Veja mais »
William Gordon Welchman
William Gordon Welchman (Bristol, 15 de junho de 1906 – Newburyport, 8 de outubro de 1985) foi um matemático britânico, professor universitário, criptoanalista durante a Segunda Guerra Mundial em Bletchley Park e escritor.
Novo!!: Alan Turing e William Gordon Welchman · Veja mais »
William Grey Walter
William Grey Walter (Kansas City (Missouri), 19 de Fevereiro de 1910 — 6 de Maio de 1977) foi um neurofisiologista e roboticista estadunidense.
Novo!!: Alan Turing e William Grey Walter · Veja mais »
Xadrez
Xadrez (árabe xa t randj, do sânscrito chaturanga, lit. 'os quatro membros'), também chamado de xadrez ocidental ou xadrez internacional, é um esporte de dois jogadores, que pode ser classificado como um jogo de tabuleiro estratégico, tanto recreativo quanto competitivo.
Novo!!: Alan Turing e Xadrez · Veja mais »
100 Greatest Britons
100 Greatest Britons foi uma série de televisão transmitida pela BBC em 2002.
Novo!!: Alan Turing e 100 Greatest Britons · Veja mais »
1912 na ciência
Sem descrição
Novo!!: Alan Turing e 1912 na ciência · Veja mais »
1954 na ciência
Sem descrição
Novo!!: Alan Turing e 1954 na ciência · Veja mais »
23 de junho
1894: Fundação do Comitê Olímpico Internacional 1996: Lançamento do Nintendo 64.
Novo!!: Alan Turing e 23 de junho · Veja mais »
28 de maio
Revolução de 28 de Maio em Portugal.
Novo!!: Alan Turing e 28 de maio · Veja mais »
7 de junho
1494: Folha de rosto do Tratado de Tordesilhas Monte Pinatubo.
Novo!!: Alan Turing e 7 de junho · Veja mais »
Redireciona aqui:
A. Turing, Alan M. Turing, Alan Mathison Turing, Alan turing.
