Acesso mais rápido do que o navegador!
15 relações: Axiomas de Peano, Axiomas de Zermelo-Fraenkel, Consistência lógica, David Hilbert, Gerhard Gentzen, Indução transfinita, John Henry Newman, Kurt Gödel, Lógica de segunda ordem, Matemática, Número ordinal, Problemas de Hilbert, Stephen Kleene, Teorema da eliminação do corte, Thomas Nagel.
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!!: Segundo problema de Hilbert e Axiomas de Peano · Veja mais »
Axiomas de Zermelo-Fraenkel
Na matemática, a teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha, nomeada em homenagem aos matemáticos Ernst Zermelo e Abraham Fraenkel e comumente abreviada como ZFC, é um dos muitos sistemas axiomáticos que foram propostos no início do século XX para promover uma teoria dos conjuntos sem os paradoxos da teoria ingênua dos conjuntos, como o paradoxo de Russell.
Novo!!: Segundo problema de Hilbert e Axiomas de Zermelo-Fraenkel · Veja mais »
Consistência lógica
Na lógica uma teoria consistente é uma que não contenha uma contradição.
Novo!!: Segundo problema de Hilbert e Consistência lógica · Veja mais »
David Hilbert
David Hilbert (Königsberg, — Göttingen) foi um matemático alemão.
Novo!!: Segundo problema de Hilbert e David Hilbert · Veja mais »
Gerhard Gentzen
Gerhard Karl Erich Gentzen (Greifswald, 24 de Novembro de 1909 — Praga, 4 de Agosto de 1945) foi um matemático e lógico alemão.
Novo!!: Segundo problema de Hilbert e Gerhard Gentzen · Veja mais »
Indução transfinita
Em matemática, e em especial na teoria dos conjuntos, a indução transfinita é uma técnica matemática rigorosa que permite provar propriedades para todos números ordinais (ou, de forma mais geral, para qualquer conjunto (ou classe) bem ordenado) a partir de etapas finitas.
Novo!!: Segundo problema de Hilbert e Indução transfinita · Veja mais »
John Henry Newman
John Henry Newman, CO (Londres, 21 de fevereiro de 1801 — Edgbaston, 11 de agosto de 1890) foi um sacerdote católico inglês convertido do anglicanismo para o catolicismo, posteriormente nomeado cardeal pelo papa Leão XIII em 1879.
Novo!!: Segundo problema de Hilbert e John Henry Newman · 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!!: Segundo problema de Hilbert e Kurt Gödel · Veja mais »
Lógica de segunda ordem
Na lógica matemática, a lógica de segunda ordem é uma extensão da lógica de primeira ordem, onde a própria lógica de primeira ordem é uma extensão de lógica proposicional.
Novo!!: Segundo problema de Hilbert e Lógica de segunda ordem · 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!!: Segundo problema de Hilbert e Matemática · Veja mais »
Número ordinal
Na teoria dos conjuntos, um número ordinal, ou só ordinal, é um tipo de ordem de um conjunto bem-ordenado.
Novo!!: Segundo problema de Hilbert e Número ordinal · 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!!: Segundo problema de Hilbert e Problemas de Hilbert · Veja mais »
Stephen Kleene
Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.
Novo!!: Segundo problema de Hilbert e Stephen Kleene · Veja mais »
Teorema da eliminação do corte
O teorema da eliminação do corte (ou Hauptsatz de Gentzen) é o resultado central que estabelece a significância do cálculo de sequentes.
Novo!!: Segundo problema de Hilbert e Teorema da eliminação do corte · Veja mais »
Thomas Nagel
Thomas Nagel (Belgrado, 4 de Julho de 1937) é um filósofo dos Estados Unidos, professor de Filosofia e Direito na Universidade de Nova Iorque.
Novo!!: Segundo problema de Hilbert e Thomas Nagel · Veja mais »
