Acesso mais rápido do que o navegador!
31 relações: Adolf Abraham Halevi Fraenkel, Alemães, Arianos, Axiomas de Peano, Cálculo de sequentes, David Hilbert, Dedução natural, Fundamentos da matemática, Greifswald, Hermann Weyl, Inanição, Instituto de Estudos Avançados de Princeton, Judeus, Lógica, Ludwig Bieberbach, Ludwig Wittgenstein, Matemática, Matemático, Partido Nacional-Socialista dos Trabalhadores Alemães, Paul Bernays, Praga, Segunda Guerra Mundial, Semântica Prova-Teórica, Sturmabteilung, Teoria da prova, Universidade Carolina, Universidade de Göttingen, 1909, 1945, 24 de novembro, 4 de agosto.
Adolf Abraham Halevi Fraenkel
Adolf Abraham Halevi Fraenkel (אברהם הלוי פרנקל.; Munique, — Jerusalém) foi um matemático judeu nascido e criado na Alemanha.
Novo!!: Gerhard Gentzen e Adolf Abraham Halevi Fraenkel · Veja mais »
Alemães
Definem-se, hoje, como alemães (Deutsche) as pessoas que têm a nacionalidade alemã, qualquer que seja a sua origem étnica, cultural ou religiosa.
Novo!!: Gerhard Gentzen e Alemães · Veja mais »
Arianos
Imagem de satélite do planalto iraniano, onde os arianos ter-se-iam estabelecido desde o final do terceiro milénio antes de Cristo. O termo ariano ou árico, ao referir-se a um grupo étnico, tem vários significados.
Novo!!: Gerhard Gentzen e Arianos · 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!!: Gerhard Gentzen e Axiomas de Peano · Veja mais »
Cálculo de sequentes
Na teoria da prova e lógica matemática, o cálculo de sequentes é um grupo de sistemas formais que compartilham de um certo estilo de inferência e propriedades formais.
Novo!!: Gerhard Gentzen e Cálculo de sequentes · Veja mais »
David Hilbert
David Hilbert (Königsberg, — Göttingen) foi um matemático alemão.
Novo!!: Gerhard Gentzen e David Hilbert · Veja mais »
Dedução natural
Dedução natural é um dos sistemas dedutivos utilizados para construir demonstrações formais na Lógica.
Novo!!: Gerhard Gentzen e Dedução natural · Veja mais »
Fundamentos da matemática
Denomina-se fundamentos da matemática a uma área de estudo que abrange tanto problemas da filosofia da matemática, como da lógica e da matemática.
Novo!!: Gerhard Gentzen e Fundamentos da matemática · Veja mais »
Greifswald
Greifswald é uma cidade alemã localizada no estado de Mecklemburgo-Pomerânia Ocidental.
Novo!!: Gerhard Gentzen e Greifswald · Veja mais »
Hermann Weyl
Hermann Klaus Hugo Weyl (Elmshorn, — Zurique) foi um matemático alemão.
Novo!!: Gerhard Gentzen e Hermann Weyl · Veja mais »
Inanição
Inanição, segundo a medicina, é um estado em que a pessoa se encontra extremamente enfraquecida, por falta de alimentos ou por deficiência na sua assimilação.
Novo!!: Gerhard Gentzen e Inanição · Veja mais »
Instituto de Estudos Avançados de Princeton
O Instituto de Estudos Avançados de Princeton (em inglês: Institute for Advanced Study), localizado em Princeton, é um centro de pesquisas teóricas e questões intelectuais.
Novo!!: Gerhard Gentzen e Instituto de Estudos Avançados de Princeton · Veja mais »
Judeus
Os judeus (Yehudi; no singular; יְהוּדִים, Yehudim, no plural; ג׳ודיו, Djudio, sing.; ג׳ודיוס, Djudios, pl.; ייִד, Yid, sing.; ייִדן, Yidn, pl.) são um grupo étnico e religioso originado nas Tribos de Israel ou hebreus do Antigo Oriente.
Novo!!: Gerhard Gentzen e Judeus · 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!!: Gerhard Gentzen e Lógica · Veja mais »
Ludwig Bieberbach
Ludwig Georg Elias Moses Bieberbach (Goddelau, 4 de dezembro de 1886 — Oberaudorf, 1 de setembro de 1982) foi um matemático alemão.
Novo!!: Gerhard Gentzen e Ludwig Bieberbach · Veja mais »
Ludwig Wittgenstein
Ludwig Joseph Johann Wittgenstein (Viena, 26 de Abril de 1889 — Cambridge, 29 de Abril de 1951) foi um filósofo austríaco, naturalizado britânico.
Novo!!: Gerhard Gentzen e Ludwig Wittgenstein · 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!!: Gerhard Gentzen e Matemática · Veja mais »
Matemático
Arquimedes foi um dos maiores matemáticos da antiguidade Matemático é alguém que usa um amplo conhecimento de matemática em seu trabalho, normalmente para resolver problemas matemáticos.
Novo!!: Gerhard Gentzen e Matemático · Veja mais »
Partido Nacional-Socialista dos Trabalhadores Alemães
Partido Nacional-Socialista dos Trabalhadores Alemães (- abreviado NSDAP), mais conhecido como Partido, foi um partido político de extrema-direitaFritzsche, Peter.
Novo!!: Gerhard Gentzen e Partido Nacional-Socialista dos Trabalhadores Alemães · Veja mais »
Paul Bernays
Paul Isaac Bernays (Londres, — Zurique) foi um matemático suíço.
Novo!!: Gerhard Gentzen e Paul Bernays · Veja mais »
Praga
Praga (Praha) é a capital e a maior cidade da Chéquia (Tchéquia), situada na margem do Vltava.
Novo!!: Gerhard Gentzen e Praga · Veja mais »
Segunda Guerra Mundial
A Segunda Guerra Mundial foi um conflito militar global que durou de 1939 a 1945, envolvendo a maioria das nações do mundo — incluindo todas as grandes potências — organizadas em duas alianças militares opostas: os Aliados e o Eixo.
Novo!!: Gerhard Gentzen e Segunda Guerra Mundial · Veja mais »
Semântica Prova-Teórica
Semântica prova-teórica é uma abordagem para a semântica da lógica que tenta localizar o significado de proposições e conectivos lógicos não em termos de interpretações, como em abordagens tarskianas para semântica, mas no papel que a proposição ou os conectivos lógicos têm dentro do sistema de inferências. Gerhard Gentzen é o criador da semântica prova-teórica, fornecendo sua base formal na sua abordagem à eliminação por corte para o cálculo de sequentes, e algumas observações filosóficas provocativas sobre como localizar o significado de conectivos lógicos em suas regras de introdução dentro de dedução natural.
Novo!!: Gerhard Gentzen e Semântica Prova-Teórica · Veja mais »
Sturmabteilung
abreviado para SA (em alemão, "Destacamento Tempestade") usualmente traduzida como "Tropas de Assalto" ou "Secções de Assalto", foi a milícia paramilitar durante o período em que o Nazismo exercia o poder na Alemanha.
Novo!!: Gerhard Gentzen e Sturmabteilung · Veja mais »
Teoria da prova
A teoria das provas, teoria da prova ou teoria da demonstração é um ramo importante da lógica matemática que representa provas como objetos matemáticos, facilitando sua análise por técnicas matemáticas.
Novo!!: Gerhard Gentzen e Teoria da prova · Veja mais »
Universidade Carolina
A Universidade Carolina de Praga (em tcheco, Univerzita Karlova v Praze; em latim, Universitas Carolina Pragensis; em alemão, Karls-Universität zu Prag), fundada em 1348 pelo imperador romano-germânico Carlos IV, é a mais antiga universidade da Europa Central e a maior da República Tcheca, tendo sido estabelecida na capital do país, Praga.
Novo!!: Gerhard Gentzen e Universidade Carolina · Veja mais »
Universidade de Göttingen
A Universidade de Göttingen (ou Gotinga; Georg-August-Universität Göttingen ou Georgia Augusta) é uma universidade da Alemanha situada na cidade de Göttingen.
Novo!!: Gerhard Gentzen e Universidade de Göttingen · Veja mais »
1909
---- (na numeração romana) foi um ano comum do século XX do actual Calendário Gregoriano, da Era de Cristo, e a sua letra dominical foi C, teve 52 semanas, início a uma sexta-feira e terminou também a uma sexta-feira.
Novo!!: Gerhard Gentzen e 1909 · Veja mais »
1945
Explosão da bomba atômica sobre Nagasaki (9 de agosto) Janeiro.
Novo!!: Gerhard Gentzen e 1945 · Veja mais »
24 de novembro
1859: Edição em inglês do livro ''A Origem das Espécies'' Lucy".
Novo!!: Gerhard Gentzen e 24 de novembro · Veja mais »
4 de agosto
1578: Batalha de Alcácer-Quibir 1783: Erupção do Monte Asama no Japão.
Novo!!: Gerhard Gentzen e 4 de agosto · Veja mais »
