Acesso mais rápido do que o navegador!
33 relações: Andrei Markov Júnior, Cassius Jackson Keyser, Completude (lógica), Conjunto simples, Conjuntos criativos e produtivos, Consistência, Contradição, Galeria das máquinas de Turing, Gramática de estrutura frasal, Grau de Turing, História da tese de Church-Turing, Lógica multivalorada, Máquina de Post, Máquina de Post-Turing, Máquina de registradores, Máquina de Turing, Máquinas de Turing equivalentes, Metalógica, Problema da correspondência de Post, Problema da parada, Redução de Turing, Redução por mapeamento, Sistema axiomático, Sistema canônico de Post, Sistemas de Thue-Semi, Stephen Kleene, Sy Friedman, Syntactic Structures, Tabela-verdade, Teorema de Post, 11 de fevereiro, 1954 na ciência, 21 de abril.
Andrei Markov Júnior
Andrey Andreyevich Markov Jr. (Андре́й Андре́евич Ма́рков; São Petersburgo, 22 de setembro de 1903 – Moscou, 11 de outubro de 1979) foi um matemático soviético, filho do matemático russo Andrei Markov e um dos principais fundadores da escola russa de matemática construtiva e lógica.
Novo!!: Emil Post e Andrei Markov Júnior · Veja mais »
Cassius Jackson Keyser
Cassius Jackson Keyser (Rawson, Ohio, – Nova Iorque) foi um matemático estadunidense com profundas inclinações filosóficas.
Novo!!: Emil Post e Cassius Jackson Keyser · Veja mais »
Completude (lógica)
Em lógica matemática e na metalógica, um sistema formal é chamado completo com respeito a uma propriedade específica se toda fórmula tendo a propriedade pode ser obtida usando esse sistema, isto é, é um de seus teoremas; caso contrário, o sistema é dito incompleto.
Novo!!: Emil Post e Completude (lógica) · Veja mais »
Conjunto simples
Na teoria da recursão (também chamada de teoria da computabilidade) um subconjunto dos números naturais é chamado de conjunto simples se ele é co-infinito e recursivamente enumerável, mas todo subconjunto infinito do seu complemento falha em ser enumerado recursivamente.
Novo!!: Emil Post e Conjunto simples · 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!!: Emil Post e Conjuntos criativos e produtivos · Veja mais »
Consistência
Na lógica clássica dedutiva, uma teoria é chamada de consistente se não contém contradição.
Novo!!: Emil Post e Consistência · Veja mais »
Contradição
Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições.
Novo!!: Emil Post e Contradição · 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!!: Emil Post e Galeria das máquinas de Turing · Veja mais »
Gramática de estrutura frasal
O termo Gramática de estrutura frasal foi originalmente introduzido por Noam Chomsky como o termo para gramáticas definidas por regras de estrutura frasal, i.e. Regras de reescrita do tipo estudado previamente por Emil Post e Axel Thue (veja Sistemas Canônicos de Post).
Novo!!: Emil Post e Gramática de estrutura frasal · 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!!: Emil Post e Grau de Turing · 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!!: Emil Post e História da tese de Church-Turing · Veja mais »
Lógica multivalorada
Em lógica, a lógica multivalorada (ou lógica plurivalente) é um cálculo proposicional em que há mais de dois valores verdade.
Novo!!: Emil Post e Lógica multivalorada · Veja mais »
Máquina de Post
Na teoria da computação, uma máquina de Post, assim denominada em honra a Emil Leon Post, é um autômato determinístico, baseado na estrutura de dados do tipo fila com um símbolo auxiliar.
Novo!!: Emil Post e Máquina de Post · Veja mais »
Máquina de Post-Turing
A máquina de Post-Turing é uma "formulação de um programa" de um tipo especialmente simples de máquina de Turing, compreendendo uma variante do modelo de computação Turing-equivalente de Emil Post descrito abaixo.
Novo!!: Emil Post e Máquina de Post-Turing · 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!!: Emil Post 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!!: Emil Post e Máquina de Turing · 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!!: Emil Post e Máquinas de Turing equivalentes · Veja mais »
Metalógica
Metalógica é o estudo da metateoria da Lógica.
Novo!!: Emil Post e Metalógica · Veja mais »
Problema da correspondência de Post
O problema da correspondência de Post é um problema de decisão indecidível que foi introduzido por Emil Post em 1946..
Novo!!: Emil Post e Problema da correspondência de Post · 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!!: Emil Post e Problema da parada · 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!!: Emil Post e Redução de Turing · Veja mais »
Redução por mapeamento
Na teoria da computabilidade e teoria da complexidade computacional, uma redução por mapeamento é uma redução que converte instâncias de um problema de decisão em instâncias de um outro problema de decisão.
Novo!!: Emil Post e Redução por mapeamento · Veja mais »
Sistema axiomático
Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para logicamente derivar teoremas.
Novo!!: Emil Post e Sistema axiomático · Veja mais »
Sistema canônico de Post
Um sistema canônico de Post, como criado por Emil Post, é um sistema de manipulação de cadeias que começa com uma quantidade finita de cadeias e repetidamente as transforma aplicando um conjunto finito J de regras especificadas de uma certa forma, assim gerando uma linguagem formal.
Novo!!: Emil Post e Sistema canônico de Post · Veja mais »
Sistemas de Thue-Semi
Na ciência da computação e na matemática, um sistema de Thue-Semi é um sistema de cadeia reescrito.
Novo!!: Emil Post e Sistemas de Thue-Semi · Veja mais »
Stephen Kleene
Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.
Novo!!: Emil Post e Stephen Kleene · Veja mais »
Sy Friedman
Sy David Friedman (Chicago) é um matemático estadunidense.
Novo!!: Emil Post e Sy Friedman · Veja mais »
Syntactic Structures
Syntactic Structures (no Brasil, Estruturas Sintáticas e em Portugal, Estruturas Sintácticas) é uma influente obra teórica no campo da linguística escrita por Noam Chomsky e originalmente publicada em 1957 pela Mouton & Co..
Novo!!: Emil Post e Syntactic Structures · Veja mais »
Tabela-verdade
Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em lógica para determinar se uma fórmula é válida ou se um sequente é correto.
Novo!!: Emil Post e Tabela-verdade · Veja mais »
Teorema de Post
Na teoria da computação, o Teorema de Post,em homenagem à Emil Post, descreve a conexão entre hierarquia aritmética e os graus de Turing.
Novo!!: Emil Post e Teorema de Post · Veja mais »
11 de fevereiro
660 a.C.: Data tradicional da fundação do Japão Wikipedia.
Novo!!: Emil Post e 11 de fevereiro · Veja mais »
1954 na ciência
Sem descrição
Novo!!: Emil Post e 1954 na ciência · Veja mais »
21 de abril
1792: ''Martírio de Tiradentes'', óleo sobre tela de Aurélio de Figueiredo.
Novo!!: Emil Post e 21 de abril · Veja mais »
