12 relações: Alan Turing, Algoritmo, Andrei Kolmogorov, FOLDOC, Hilary Putnam, Kurt Gödel, Martin Davis, Máquina de Turing, Principia Mathematica, Teoria da computação, Tese de Church-Turing, Zentralblatt MATH.
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!!: Algoritmo super-recursivo e Alan Turing · 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!!: Algoritmo super-recursivo e Algoritmo · Veja mais »
Andrei Kolmogorov
Andrei Nikolaevich Kolmogorov (Андрей Николаевич Колмогоров; Tambov, — Moscou) foi um matemático soviético, que fez contribuições significativas em teoria das probabilidades, topologia, lógica intuicionista, turbulência, mecânica clássica, Teoria Algorítmica da Informação e análise de algoritmos.
Novo!!: Algoritmo super-recursivo e Andrei Kolmogorov · Veja mais »
FOLDOC
FOLDOC, acrónimo para a expressão inglesa Free On-line Dictionary of Computing (Livre Dicionário Online da Computação), é um dicionário enciclopédico em inglês de termos relacionados com a ciência da computação.
Novo!!: Algoritmo super-recursivo e FOLDOC · 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!!: Algoritmo super-recursivo e Hilary Putnam · 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!!: Algoritmo super-recursivo e Kurt Gödel · Veja mais »
Martin Davis
Martin David Davis (Nova Iorque, - 1 de janeiro de 2023) foi um matemático estadunidense.
Novo!!: Algoritmo super-recursivo e Martin Davis · 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!!: Algoritmo super-recursivo e Máquina de Turing · Veja mais »
Principia Mathematica
''Principia Mathematica'' O Principia Mathematica (tradução livre do latim: Princípios Matemáticos) é uma obra de três volumes sobre fundamentos da matemática, escrita por Alfred North Whitehead e seu aluno Bertrand Russell e publicada nos anos de 1910, 1912 e 1913.
Novo!!: Algoritmo super-recursivo e Principia Mathematica · 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!!: Algoritmo super-recursivo 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!!: Algoritmo super-recursivo e Tese de Church-Turing · Veja mais »
Zentralblatt MATH
Zentralblatt MATH (em alemão "revista central de matemáticas") é um serviço de classificação, resenha e arquivo de publicações em matemática pura e aplicada. O banco de dados de Zentralblatt MATH, situada no escritório editorial de Berlim do instituto FIZ Karlsruhe, actualiza-se diariamente.
Novo!!: Algoritmo super-recursivo e Zentralblatt MATH · Veja mais »