Resultados da pesquisa

...a determinadas condições. Por exemplo, uma[[Máquina de Turing| máquina de Turing determinística]] pode resolver mais[[Problema de decisão| problemas de deci ..., estes teoremas dizem que, dado mais tempo, mais problemas uma máquina de Turing pode resolver. Por exemplo, existem os problemas que podem ser resolvidos c ...

...={{nowrap|[[Prêmio Paris Kanellakis]] (1996)}}, {{nowrap|[[Prêmio Turing]] (2002)}} Foi laureado com o [[Prêmio Turing]] de 2002, juntamente com [[Adi Shamir]] e [[Leonard Adleman]], pelo algori ...

...[[Róbert Szelepcsényi]] no ano de 1987. Por tal prova ambos dividiram o [[prêmio Gödel]] de 1995. Em sua forma geral, o teorema afirma que [[NSPACE]](''s''( Em outras palavras, uma [[Máquina de Turing não determinística|máquina de Turing não-determinística]] consegue resolver um problema e o seu complemento com ...

...ade)|reduzido]] em tempo polinomial por uma [[Máquina de Turing|máquina de Turing determinística]] para o problema de determinar se uma fórmula booleana é sa ...s|lista dos 21 problemas NP-completos]]. Cook e Karp receberam um [[Prêmio Turing]] por esse trabalho. ...

}}</ref>. Clarke, Emerson e Sifakis receberam juntos o [[Prêmio Turing]] de 2007 por seu trabalho em verificação de modelos. ...

|premio = {{nowrap|[[Prêmio Leroy P. Steele|Prêmio Leroy P. Steele (1983)]]}}, {{nowrap|[[Medalha Nacional de Ciências|Medalha ...mais notórios de [[Alonzo Church]], Kleene é reconhecido junto com [[Alan Turing]], [[Emil Post]] e outros como um fundador da ramificação da [[lógica matem ...

===Máquina de Turing=== [[Imagem:Maquina.png|thumb|Uma representação artística de uma máquina de Turing]] ...

|premio ={{nowrap|[[Prêmio Pioneiro da Computação]] (1984)}} ...Carlo techniques]]. Other topics include: the relationship between [[Alan Turing]] and von Neumann; work on numerical methods for non-linear problems; and t ...

...dmiração de Hilbert em particular e os matemáticos em geral, cada problema-prêmio inclui uma recompensa de milhões de [[Dólar|dólares]]. Tal como acontece co # Foi somente com os trabalhos de [[Alonzo Church|Church]] et [[Alan Turing|Turing]] em 1930 que se definiu rigorosamente a noção de algoritmo. Em 1970, [[Yur ...

...de vista teórico, ele é interessante, pois tem o poder de uma [[máquina de Turing universal]]: tudo pode ser computado através de [[algoritmo]]s no Jogo da V ...de Life.<ref>{{Citar web|url=http://rendell-attic.org/gol/tm.htm|título=A Turing Machine in Conway's Game of Life|autor=Paul Rendell|data=12 jan. 2005|acess ...

...P-completo pode ser formulado como: dada uma descrição de uma [[máquina de Turing]] M garantida para parar em tempo polinomial, existe um polinômio de entrad ...atibilidade, que é NP-completo, contém detalhes técnicos sobre máquinas de Turing e mostra como esses detalhes se relacionam com a definição de NP. No entant ...

...Harnad|primeiro=Steven|obra=in Epstein, Robert; Peters, Grace: Parsing the Turing Test: Philosophical and Methodological Issues in the Quest for the Thinking ...o para ganhar o grande prêmio em 2009 de 1 milhão de dólares. Logo após os prêmio ser concedido, a Netflix se deu conta que as avaliações dos usuários não er ...

...ng]]. Sendo <math>P</math>, <math>V</math>, e <math>S</math> máquinas de ''Turing'', um [[sistema de prova interativa]] com <math>(P, V)</math> para uma ling ...ação ilimitado (na prática, <math>P</math> normalmente é uma [[ máquina de Turing probabilística]]). Intuitivamente, a definição afirma que um sistema de pro ...

...c.uk/publications-lectures-and-talks-amtb/amt-b-6|titulo=AMT-B-6 {{!}} The Turing Digital Archive|acessodata=|website=turingarchive.kings.cam.ac.uk|lingua=en Em 1951, o cientista da computação [[Alan Turing]] escreveu um artigo intitulado ''Intelligent Machinery, A Heretical Theory ...

...e cientista da computação [[William Kahan]] foi homenageado com o [[Prêmio Turing]] por ser o principal arquiteto por trás dessa proposta. Ele foi auxiliado ...

...ogic|volume=42|páginas=260–261|capitulo=Turing's Legacy: Developments from Turing's Ideas in Logic|doi=10.1017/CBO9781107338579.001|isbn=978-1-107-04348-0|lc ...iência da computação teórica é [[P versus NP]], um dos sete [[Problemas do Prêmio Millennium]].<ref>{{Citar web|url=https://www.britannica.com/science/P-vers ...

Searle recebeu no ano 2000, o [[Prêmio Jean Nicod]], que é um prêmio concedido anualmente em [[Paris]], para um filósofo líder na área de [[Filo ...ing.html#ixzz3Hl2m5eLi | título=Um supercomputador venceu mesmo o teste de Turing? }} por Gilmar Lopes no dia 11 de junho de 2014</ref> ...

...nal=Unpublished (Later Published in Ince DC, Editor, Collected Works of AM Turing—Mechanical Intelligence, Elsevier Science Publishers, 1992)|date=1948}}</re ...2018 ACM A.M. Turing Award Laureates|url=https://awards.acm.org/about/2018-turing|access-date=2024-08-07|website=awards.acm.org|language=en}}</ref> ...