11 relações: Adição, Alan Turing, Aritmética, Axioma, Corretude (lógica), David Hilbert, Formulação matemática da mecânica quântica, Kurt Gödel, Matemática, Multiplicação, Teoremas da incompletude de Gödel.
Adição
Adição é uma das operações básicas da aritmética.
Novo!!: Programa de Hilbert e Adição · Veja mais »
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!!: Programa de Hilbert e Alan Turing · Veja mais »
Aritmética
Tabela de adição (Tabela de Dupla Entrada em português europeu) A aritmética (da palavra grega ἀριθμός, arithmós, "número") é o ramo mais elementar e antigo da matemática, lida com as operações possíveis entre os números; é utilizada por quase todo ser humano: seja em tarefas cotidianas, seja em tarefas científicas ou negociais.
Novo!!: Programa de Hilbert e Aritmética · Veja mais »
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Programa de Hilbert e Axioma · Veja mais »
Corretude (lógica)
Na Ciência da computação teórica, a corretude de um algoritmo pode ser afirmada quando se diz que o algoritmo é correto com respeito à determinada especificação.
Novo!!: Programa de Hilbert e Corretude (lógica) · Veja mais »
David Hilbert
David Hilbert (Königsberg, — Göttingen) foi um matemático alemão.
Novo!!: Programa de Hilbert e David Hilbert · Veja mais »
Formulação matemática da mecânica quântica
As formulações matemáticas da mecânica quântica são os formalismos matemáticos que permitem uma descrição rigorosa da mecânica quântica.
Novo!!: Programa de Hilbert e Formulação matemática da mecânica quântica · 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!!: Programa de Hilbert e Kurt Gödel · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Programa de Hilbert e Matemática · Veja mais »
Multiplicação
Na matemática, a multiplicação é uma forma simples de se adicionar uma quantidade finita de números iguais.
Novo!!: Programa de Hilbert e Multiplicação · 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!!: Programa de Hilbert e Teoremas da incompletude de Gödel · Veja mais »