30 relações: Alan Turing, Alfred North Whitehead, Algoritmo, Alonzo Church, Andrew Hodges, Aritmética de Presburger, Axiomas de Peano, Bertrand Russell, Cálculo lambda, David Hilbert, Equação diofantina, Função computável, Gottfried Wilhelm Leibniz, Kurt Gödel, Lógica, Lógica de predicados, Lógica de primeira ordem, London Mathematical Society, Martin Davis, Máquina de Turing, Número natural, Problema da parada, Problemas de Hilbert, Stephen Kleene, Stephen Toulmin, Teorema da completude de Gödel, Teorema de Matiyasevich, Tese de Church-Turing, Wilhelm Ackermann, Yuri Matiyasevich.
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!!: Entscheidungsproblem e Alan Turing · Veja mais »
Alfred North Whitehead
Alfred North Whitehead (Ramsgate, – Cambridge) foi um filósofo, lógico e matemático britânico.
Novo!!: Entscheidungsproblem e Alfred North Whitehead · 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!!: Entscheidungsproblem e Algoritmo · 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!!: Entscheidungsproblem e Alonzo Church · Veja mais »
Andrew Hodges
Andrew Hodges (Londres, 1949) é um escritor e matemático britânico.
Novo!!: Entscheidungsproblem e Andrew Hodges · Veja mais »
Aritmética de Presburger
A Aritmética de Presburger é uma teoria de primeira-ordem dos números naturais com soma.
Novo!!: Entscheidungsproblem e Aritmética de Presburger · Veja mais »
Axiomas de Peano
Em lógica matemática, os axiomas de Peano, também conhecidos como os axiomas de Dedekind-Peano ou postulados de Peano, são um conjunto de axiomas para os números naturais apresentado pelo matemático italiano do século XIX Giuseppe Peano.
Novo!!: Entscheidungsproblem e Axiomas de Peano · Veja mais »
Bertrand Russell
Bertrand Arthur William Russell, 3.º Conde Russell OM FRS (Trelleck, País de Gales, 18 de maio de 1872 — Penrhyndeudraeth, País de Gales, 2 de fevereiro de 1970) foi um dos mais influentes matemáticos, filósofos, ensaístas, historiadores e lógicos que viveram no.
Novo!!: Entscheidungsproblem e Bertrand Russell · 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!!: Entscheidungsproblem e Cálculo lambda · Veja mais »
David Hilbert
David Hilbert (Königsberg, — Göttingen) foi um matemático alemão.
Novo!!: Entscheidungsproblem e David Hilbert · Veja mais »
Equação diofantina
Na matemática, uma equação Diofantina é uma equação polinomial que permite a duas ou mais variáveis assumirem apenas valores inteiros.
Novo!!: Entscheidungsproblem e Equação diofantina · Veja mais »
Função computável
Funções computáveis são os objetos básicos de estudo na teoria da computabilidade.
Novo!!: Entscheidungsproblem e Função computável · Veja mais »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz (Leipzig, — Hanôver) foi um proeminente polímata e filósofo alemão e figura central na história da matemática e na história da filosofia.
Novo!!: Entscheidungsproblem e Gottfried Wilhelm Leibniz · 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!!: Entscheidungsproblem 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!!: Entscheidungsproblem e Lógica · Veja mais »
Lógica de predicados
Para o termo específico, ver Lógica de primeira ordem Na lógica matemática, a lógica de predicados é um termo genérico para sistemas formais simbólicos como lógica de primeira ordem, lógica de segunda ordem, many-sorted logic ou infinitary logic.
Novo!!: Entscheidungsproblem e Lógica de predicados · 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!!: Entscheidungsproblem e Lógica de primeira ordem · Veja mais »
London Mathematical Society
London Mathematical Society é uma sociedade de matemática sediada em Londres, Inglaterra.
Novo!!: Entscheidungsproblem e London Mathematical Society · Veja mais »
Martin Davis
Martin David Davis (Nova Iorque, - 1 de janeiro de 2023) foi um matemático estadunidense.
Novo!!: Entscheidungsproblem 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!!: Entscheidungsproblem e Máquina de Turing · Veja mais »
Número natural
Um número natural é um número inteiro não negativo \. Em alguns contextos, número natural é definido como um número inteiro positivo, sendo também o zero considerado como um número natural (mesmo não sendo positivo e sim nulo/neutro): \. O conjunto dos números naturais é, comumente, denotado pelo símbolo \mathbb.
Novo!!: Entscheidungsproblem e Número natural · 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!!: Entscheidungsproblem e Problema da parada · 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!!: Entscheidungsproblem e Problemas de Hilbert · Veja mais »
Stephen Kleene
Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.
Novo!!: Entscheidungsproblem e Stephen Kleene · Veja mais »
Stephen Toulmin
Stephen Edelston Toulmin (Londres, 25 de março de 1922 - Los Angeles, 4 de dezembro de 2009) foi um filósofo britânico conhecido principalmente por suas contribuições aos estudos da argumentação.
Novo!!: Entscheidungsproblem e Stephen Toulmin · Veja mais »
Teorema da completude de Gödel
O Teorema da completude de Gödel é um importante teorema da lógica matemática, demonstrado originalmente por Kurt Gödel, em 1929.
Novo!!: Entscheidungsproblem e Teorema da completude de Gödel · Veja mais »
Teorema de Matiyasevich
O Teorema de Matiyasevich, provado em 1970 por Yuri Matiyasevich, implica que o décimo problema de Hilbert é irresolúvel.
Novo!!: Entscheidungsproblem e Teorema de Matiyasevich · 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!!: Entscheidungsproblem e Tese de Church-Turing · Veja mais »
Wilhelm Ackermann
Wilhelm Friedrich Ackermann (Herscheid, — Lüdenscheid) foi um matemático alemão.
Novo!!: Entscheidungsproblem e Wilhelm Ackermann · Veja mais »
Yuri Matiyasevich
Yuri Vladimirovich Matiyasevich (Ю́рий Влади́мирович Матиясе́вич; São Petersburgo) é um matemático e cientista da computação russo.
Novo!!: Entscheidungsproblem e Yuri Matiyasevich · Veja mais »