Acesso mais rápido do que o navegador!
30 relações: Alemanha, Alpes, Álgebra homológica, Base de Herbrand, Berlim, Característica de Euler, David Hilbert, Emil Artin, Emmy Noether, Ernest Vessiot, Escola Normal Superior de Paris, França, Fundamentos da matemática, Gotinga, Hamburgo, John von Neumann, Kurt Gödel, Lógica, Matemático, Nicolas Bourbaki, Oisans, Paris, Prêmio Herbrand, Recursividade, Sorbonne, Teorema de Herbrand, Teoria da prova, Teoria de Herbrand, Teoria dos corpos de classes, Universo de Herbrand.
Alemanha
Alemanha (Deutschland), oficialmente República Federal da Alemanha (Bundesrepublik Deutschland, 10px ouça), é um país localizado na Europa Central. É limitado, a norte, pelo mar do Norte, Dinamarca e mar Báltico; a leste, pela Polônia e Chéquia; a sul, pela Áustria e Suíça e, a oeste, pela França, Luxemburgo, Bélgica e Países Baixos. O território da Alemanha abrange 357.021 quilômetros quadrados e é influenciado por um clima temperado sazonal. Com 82,8 milhões de habitantes, em 31 de dezembro de 2015, o país tem a maior população da União Europeia e é também o lar da terceira maior população de migrantes internacionais em todo o mundo. A região chamada Germânia, habitada por vários povos germânicos, foi conhecida e documentada pelos romanos antes do ano 100. A partir do, os territórios alemães formaram a parte central do Sacro Império Romano-Germânico, que durou até 1806. Durante o, o norte da Alemanha tornou-se o centro da Reforma Protestante. Como um moderno Estado-nação, o país foi unificado pela primeira vez, em consequência da Guerra Franco-Prussiana, em 1871. Em 1949, após a Segunda Guerra Mundial, a Alemanha foi dividida em dois estados, a Alemanha Ocidental, oficialmente "República Federal da Alemanha", e a "Alemanha Oriental", oficialmente República Democrática Alemã, ao longo das linhas de ocupação aliadas. A Alemanha foi reunificada em 1990. A Alemanha Ocidental foi um dos membros fundadores da Comunidade Europeia (CE), em 1957, que, posteriormente, se tornou na União Europeia, em 1993. O país é parte do espaço Schengen e passou a adotar a moeda europeia, o euro, desde quando foi instituído, em 1999. A Alemanha é uma república parlamentar federal de dezesseis estados (em alemão Länder). A capital e maior cidade do país é Berlim, localizada no nordeste do território alemão. O país é membro das Nações Unidas, da OTAN, G8, G20, da OCDE e da OMC. É uma grande potência com a quarta maior economia do mundo por PIB nominal e a quinta maior em paridade do poder de compra. É o segundo maior exportador e o segundo maior importador de mercadorias. Em termos absolutos, a Alemanha atribui o segundo maior orçamento anual de ajudas ao desenvolvimento no mundo, enquanto está em sexto lugar em despesas militares. O país tem desenvolvido um alto padrão de vida e estabeleceu um sistema global de segurança social. A Alemanha ocupa uma posição-chave nos assuntos europeus e mantém uma série de parcerias estreitas em um nível global. O país também é reconhecido como líder científico e tecnológico em vários domínios.
Novo!!: Jacques Herbrand e Alemanha · Veja mais »
Alpes
Maciço Alpino ou Alpes (latim, ou albus: "branco" ou altus: "alto" ou uma palavra celta ou lígure) é a cadeia montanhosa mais alta e mais extensa que se encontra inteiramente na Europa, estendendo-se pela Áustria e Eslovênia, Hungria, a leste, através do norte da Itália, Suíça (Alpes suíços), Liechtenstein e sul da Alemanha, até ao sudeste da França e Mônaco.
Novo!!: Jacques Herbrand e Alpes · Veja mais »
Álgebra homológica
Álgebra homológica é o ramo da matemática que estuda os métodos da homologia e da cohomologia em um contexto geral.
Novo!!: Jacques Herbrand e Álgebra homológica · Veja mais »
Base de Herbrand
Na lógica matemática, dada uma linguagem com um conjunto do universo de Herbrand, a base de Herbrand é o conjunto de todos os átomos basicos que podem ser formados a partir dos símbolos predicados de uma cláusula na forma Skolemizada S e termos do universo Herbrand H de S. Uma base de Herbrand para uma linguagem de primeira ordem L pode ser construída a partir do universo de Herbrand de L, aplicando algum predicado de L a cada elemento deste universo.
Novo!!: Jacques Herbrand e Base de Herbrand · Veja mais »
Berlim
Berlim é a capital e um dos dezesseis estados da Alemanha.
Novo!!: Jacques Herbrand e Berlim · Veja mais »
Característica de Euler
Em matemática, e mais especificamente na topologia algébrica, a característica de Euler (ou característica de Euler–Poincaré) é um invariante topológico, um número que descreve a forma ou a estrutura de um espaço topológico independentemente da forma como ela é dobrada.
Novo!!: Jacques Herbrand e Característica de Euler · Veja mais »
David Hilbert
David Hilbert (Königsberg, — Göttingen) foi um matemático alemão.
Novo!!: Jacques Herbrand e David Hilbert · Veja mais »
Emil Artin
Emil Artin (Viena, — Hamburgo) foi um matemático austríaco.
Novo!!: Jacques Herbrand e Emil Artin · Veja mais »
Emmy Noether
Amalie Emmy Noether (pronunciado em alemão) (Erlangen, 23 de março de 1882 – Bryn Mawr, 14 de abril de 1935) foi uma matemática alemã, conhecida pelas suas contribuições de fundamental importância aos campos de física teórica e álgebra abstrata.
Novo!!: Jacques Herbrand e Emmy Noether · Veja mais »
Ernest Vessiot
Ernest Vessiot (Marselha, — La Bauche) foi um matemático francês.
Novo!!: Jacques Herbrand e Ernest Vessiot · Veja mais »
Escola Normal Superior de Paris
A Escola Normal Superior de Paris (também conhecida como ENS-Ulm ou Ulm) é uma grande école francesa, cujo campus principal está situado na rue d'Ulm, no 5º arrondissement de Paris.
Novo!!: Jacques Herbrand e Escola Normal Superior de Paris · Veja mais »
França
França (France), oficialmente República Francesa (République française), é um país, ou, quase especificamente, um Estado unitário localizado na Europa Ocidental, com várias ilhas e territórios ultramarinos noutros continentes.
Novo!!: Jacques Herbrand e França · 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!!: Jacques Herbrand e Fundamentos da matemática · Veja mais »
Gotinga
Gotinga (Göttingen; Chöttingen) é uma cidade universitária no estado de Baixa Saxônia (Niedersachsen), junto ao Rio Leine (Alemanha) e situada próximo do Centro Geográfico da Alemanha.
Novo!!: Jacques Herbrand e Gotinga · Veja mais »
Hamburgo
Hamburgo, oficialmente Cidade Livre e Hanseática de Hamburgo (Freie und Hansestadt Hamburg, ou apenas Hamburg,,; em baixo-alemão Hamborg)Constituição de Hamburgo é a segunda maior cidade da Alemanha, com uma população de aproximadamente 1,8 milhão de pessoas.
Novo!!: Jacques Herbrand e Hamburgo · Veja mais »
John von Neumann
John von Neumann, nascido Margittai Neumann János Lajos (Budapeste, — Washington, D.C.) foi um matemático húngaro de origem judaica, naturalizado estadunidense.
Novo!!: Jacques Herbrand e John von Neumann · 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!!: Jacques Herbrand 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!!: Jacques Herbrand e Lógica · 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!!: Jacques Herbrand e Matemático · Veja mais »
Nicolas Bourbaki
J. Delsarte) Nicolas Bourbaki é o pseudónimo colectivo sob o qual um grupo de matemáticos, majoritariamente franceses, escreveu uma série de livros que expunha a matemática avançada moderna, que começaram a ser editados em 1935.
Novo!!: Jacques Herbrand e Nicolas Bourbaki · Veja mais »
Oisans
Oisans é uma região dos Alpes franceses, correspondendo à bacia do rio Romanche e dos seus afluentes (Eau d'Olle, Lignarre, Sarenne, Vénéon, Ferrand).
Novo!!: Jacques Herbrand e Oisans · Veja mais »
Paris
Paris é a capital e a mais populosa cidade da França, com uma população estimada em 2020 de habitantes em uma área de 105 quilômetros quadrados.
Novo!!: Jacques Herbrand e Paris · Veja mais »
Prêmio Herbrand
O Prêmio Herbrand (Herbrand Award for Distinguished Contributions to Automated Deduction) é um prêmio concedido pela Conference on Automated Deduction (CADE) Inc., honorificando pessoas ou grupos por contribuições fundamentais no campo da dedução automática.
Novo!!: Jacques Herbrand e Prêmio Herbrand · Veja mais »
Recursividade
Uma forma visual de recursão conhecida como ''efeito Droste''. Recursividade (em português europeu: Recorrência), é um termo geralmente usado para descrever o processo de repetição de um objeto de um jeito similar ao que já fora mostrado.
Novo!!: Jacques Herbrand e Recursividade · Veja mais »
Sorbonne
Capela da Sorbonne, sob neve A Sorbonne, ou Sorbona, é um edifício histórico no ''Quartier Latin,'' de Paris, que abriga desde 1200 a principal universidade de Paris, a segunda universidade mais antiga da história.
Novo!!: Jacques Herbrand e Sorbonne · Veja mais »
Teorema de Herbrand
Em lógica matemática, o teorema de Herbrand é um resultado básico de Jacques Herbrand (1930).
Novo!!: Jacques Herbrand e Teorema de Herbrand · 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!!: Jacques Herbrand e Teoria da prova · Veja mais »
Teoria de Herbrand
A teoria de Herbrand foi criada por Jacques Herbrand (1908-1931), um matemático francês.
Novo!!: Jacques Herbrand e Teoria de Herbrand · Veja mais »
Teoria dos corpos de classes
Em matemática, a teoria dos corpos de classes é um ramo essencial da teoria algébrica dos números quem tem por objeto a classificação das extensões abelianas, ou seja, as galoisianas e grupos de Galois comutativos, de um corpo dado.
Novo!!: Jacques Herbrand e Teoria dos corpos de classes · Veja mais »
Universo de Herbrand
Na lógica matemática, dada uma linguagem formal com um conjunto de símbolos (símbolos de constantes e símbolos funcionais), o universo de Herbrand define recursivamente o conjunto de todos os termos que podem ser compostos aplicando uma composição funcional a partir de símbolos básicos.
Novo!!: Jacques Herbrand e Universo de Herbrand · Veja mais »
