Acesso mais rápido do que o navegador!
52 relações: Ação de grupo contínua, Alfred North Whitehead, Análise complexa, Análise real, Anel (matemática), Axioma, Axiomas de Peano, Axiomas de Zermelo-Fraenkel, Bertrand Russell, Conjunto, Conjunto recursivo, Contradição, Corpo algebricamente fechado, David Hilbert, Decidibilidade, Elemento inverso, Emil Post, Emmy Noether, Euclides, Fórmula bem formada, Geometria euclidiana, Geometria não euclidiana, Gottlob Frege, Grupo abeliano, Hilbert, Hipótese do continuum, Interpretação (lógica), Lógica, Lógica matemática, Lógica proposicional, Logicismo, Matemática, Modelo (matemática), Número natural, Os Elementos, Postulado das paralelas, Principia Mathematica, Problemas de Hilbert, Programa de Hilbert, Proposição, Recursividade, Regra de inferência, Sexto problema de Hilbert, Sistema formal, Teorema, Teoremas da incompletude de Gödel, Teoria dos conjuntos, Teoria dos grupos, Teoria dos números, Teoria ingênua dos conjuntos, ..., Thoralf Skolem, Topologia (matemática). Expandir índice (2 mais) »
Ação de grupo contínua
Uma, em topologia, de um grupo G num espaço topológico X é um homomorfismo de G no grupo dos homeomorfismos de X tal que a correspondente função G\times X\to X é contínua.
Novo!!: Sistema axiomático e Ação de grupo contínua · Veja mais »
Alfred North Whitehead
Alfred North Whitehead (Ramsgate, – Cambridge) foi um filósofo, lógico e matemático britânico.
Novo!!: Sistema axiomático e Alfred North Whitehead · Veja mais »
Análise complexa
A análise complexa, também conhecida como a teoria das funções de variável complexa, é o ramo da matemática que investiga as funções de números complexos.
Novo!!: Sistema axiomático e Análise complexa · Veja mais »
Análise real
Integral como região sob a curva. Definição de limite. Análise real é o ramo da análise matemática que estuda o comportamento dos números reais, das sequências e séries de números reais e das funções reais.
Novo!!: Sistema axiomático e Análise real · Veja mais »
Anel (matemática)
curva cúbica em um espaço projetivo. A teoria dos anéis é fundamental na geometria algébrica. Em matemática, um anel é uma estrutura algébrica que consiste em um conjunto associado a duas operações binárias, normalmente chamadas de adição e multiplicação, em que cada operação combina dois elementos para formar um terceiro elemento.
Novo!!: Sistema axiomático e Anel (matemá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!!: Sistema axiomático e Axioma · 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!!: Sistema axiomático 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!!: Sistema axiomático e Axiomas de Zermelo-Fraenkel · Veja mais »
Bertrand Russell
Bertrand Arthur William Russell, 3.º Conde Russell OM FRS (Trelleck, País de Gales, 18 de maio de 1872 — Penrhyndeudraeth, País de Gales, 2 de fevereiro de 1970) foi um dos mais influentes matemáticos, filósofos, ensaístas, historiadores e lógicos que viveram no.
Novo!!: Sistema axiomático e Bertrand Russell · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Sistema axiomático e Conjunto · Veja mais »
Conjunto recursivo
Na teoria da computabilidade, um conjunto de números naturais é chamado recursivo, computável ou decidível se existe um algoritmo que termina após uma quantidade finita de tempo e decide corretamente se um número pertence ou não ao conjunto.
Novo!!: Sistema axiomático e Conjunto recursivo · Veja mais »
Contradição
Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições.
Novo!!: Sistema axiomático e Contradição · Veja mais »
Corpo algebricamente fechado
Em Matemática, um corpo F diz-se algebricamente fechado se qualquer polinómio de uma variável e grau maior ou igual a 1, com coeficientes em F, tiver uma raiz em F. Por exemplo, o corpo dos números reais não é algebricamente fechado, pois a equação polinomial não tem soluções reais, apesar de os seus coeficientes (3 e 1) serem reais.
Novo!!: Sistema axiomático e Corpo algebricamente fechado · Veja mais »
David Hilbert
David Hilbert (Königsberg, — Göttingen) foi um matemático alemão.
Novo!!: Sistema axiomático e David Hilbert · Veja mais »
Decidibilidade
Em lógica, o termo decidível se refere a um problema de decisão, ou seja, a questão da existência de um método efetivo para determinar a pertinência em um conjunto de fórmulas.
Novo!!: Sistema axiomático e Decidibilidade · Veja mais »
Elemento inverso
Elemento inverso, em matemática, é aquele cuja utilização numa operação binária matemática bem definida resulta no elemento neutro específico dessa operação — por essa razão simples a justificar a sua inversibilidade operacional.
Novo!!: Sistema axiomático e Elemento inverso · Veja mais »
Emil Post
Emil Leon Post (Augustów, Polônia do Congresso, no Império Russo (atual Polônia), 11 de fevereiro de 1897 – Nova York, Estados Unidos, 21 de abril de 1954) foi um matemático polonês-estadunidense.
Novo!!: Sistema axiomático e Emil Post · 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!!: Sistema axiomático e Emmy Noether · Veja mais »
Euclides
Euclides Euclides de Alexandria (Eukleidēs) foi um professor, matemático platónico e escritor grego, muitas vezes referido como o "Pai da Geometria".
Novo!!: Sistema axiomático e Euclides · Veja mais »
Fórmula bem formada
formulações sem sentido ou fórmulas bem formadas. Uma linguagem formal pode ser interpretada como sendo o conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em teoremas e não-teoremas. Em lógica matemática, uma fórmula bem formada, abreviadamente fbf, é uma expressão (por exemplo, uma sequência finita de símbolos de determinado alfabeto) que é parte de uma Linguagem formal.
Novo!!: Sistema axiomático e Fórmula bem formada · Veja mais »
Geometria euclidiana
Na matemática, geometria euclidiana é a geometria, em duas e três dimensões, baseada nos postulados de Euclides de Alexandria.
Novo!!: Sistema axiomático e Geometria euclidiana · Veja mais »
Geometria não euclidiana
Na matemática, uma geometria não euclidiana é uma geometria baseada num sistema axiomático distinto da geometria euclidiana.
Novo!!: Sistema axiomático e Geometria não euclidiana · Veja mais »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, — Bad Kleinen) foi um matemático, lógico e filósofo alemão.
Novo!!: Sistema axiomático e Gottlob Frege · Veja mais »
Grupo abeliano
Em álgebra abstrata, um grupo abeliano, chamado também de grupo comutativo, é um grupo (G,*) em que a*b.
Novo!!: Sistema axiomático e Grupo abeliano · Veja mais »
Hilbert
Hilbert pode se referir a.
Novo!!: Sistema axiomático e Hilbert · Veja mais »
Hipótese do continuum
A hipótese do continuum é uma conjectura proposta por Georg Cantor.
Novo!!: Sistema axiomático e Hipótese do continuum · Veja mais »
Interpretação (lógica)
Uma interpretação é uma atribuição de significado para os símbolos de uma Linguagem formal.
Novo!!: Sistema axiomático e Interpretação (lógica) · 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!!: Sistema axiomático e Lógica · Veja mais »
Lógica matemática
A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.
Novo!!: Sistema axiomático e Lógica matemática · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: Sistema axiomático e Lógica proposicional · Veja mais »
Logicismo
Logicismo é a tese que a matemática -- ou uma parte dela -- reduz-se à lógica -- ou a uma parte da lógica.
Novo!!: Sistema axiomático e Logicismo · 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!!: Sistema axiomático e Matemática · Veja mais »
Modelo (matemática)
Um modelo matemático é uma representação ou interpretação simplificada da realidade, ou uma interpretação de um fragmento de um sistema, segundo uma estrutura de conceitos mentais ou experimentais.
Novo!!: Sistema axiomático e Modelo (matemática) · Veja mais »
Número natural
Um número natural é um número inteiro não negativo \. Em alguns contextos, número natural é definido como um número inteiro positivo, sendo também o zero considerado como um número natural (mesmo não sendo positivo e sim nulo/neutro): \. O conjunto dos números naturais é, comumente, denotado pelo símbolo \mathbb.
Novo!!: Sistema axiomático e Número natural · Veja mais »
Os Elementos
frontispício da primeira edição de Sir Henry Billingsley em língua inglesa dos ''Elementos'' de Euclides, de 1570 Os Elementos é um tratado matemático e geométrico consistindo de 13 livros escrito pelo matemático grego Euclides em Alexandria por volta de 300 a.C..
Novo!!: Sistema axiomático e Os Elementos · Veja mais »
Postulado das paralelas
O postulado das paralelas, também conhecido como quinto postulado de Euclides, foi enunciado por volta dos anos no seu famoso livro “Os Elementos”, da seguinte forma: “É verdade que, se uma reta ao cortar duas outras, forma ângulos internos, no mesmo lado, cuja soma é menor do que dois ângulos retos, então as duas retas, se continuadas, encontrar-se-ão no lado onde estão os ângulos cuja soma é menor do que dois ângulos retos”.
Novo!!: Sistema axiomático e Postulado das paralelas · Veja mais »
Principia Mathematica
''Principia Mathematica'' O Principia Mathematica (tradução livre do latim: Princípios Matemáticos) é uma obra de três volumes sobre fundamentos da matemática, escrita por Alfred North Whitehead e seu aluno Bertrand Russell e publicada nos anos de 1910, 1912 e 1913.
Novo!!: Sistema axiomático e Principia Mathematica · 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!!: Sistema axiomático e Problemas de Hilbert · Veja mais »
Programa de Hilbert
O programa de Hilbert foi uma proposta feita em 1921 pelo matemático alemão David Hilbert de reformular as bases da matemática de forma rigorosa, partindo da aritmética.
Novo!!: Sistema axiomático e Programa de Hilbert · Veja mais »
Proposição
Proposição é um termo usado em lógica para descrever o conteúdo de asserções.
Novo!!: Sistema axiomático e Proposição · 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!!: Sistema axiomático e Recursividade · Veja mais »
Regra de inferência
Inferência é o processo pelo qual se chega a uma proposição, firmada na base de uma ou outras mais proposições aceitas como ponto de partida do processo.
Novo!!: Sistema axiomático e Regra de inferência · Veja mais »
Sexto problema de Hilbert
O sexto problema de Hilbert é um dos mais complicados problemas da famosa lista, pois a sua proposta é transformar toda a física em axiomas David Hilbert,, Bulletin of the American Mathematical Society, vol.
Novo!!: Sistema axiomático e Sexto problema de Hilbert · Veja mais »
Sistema formal
Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático.
Novo!!: Sistema axiomático e Sistema formal · Veja mais »
Teorema
Na matemática, um teorema é uma afirmação que pode ser provada como verdadeira, por meio de outras afirmações já demonstradas, como outros teoremas, juntamente com afirmações anteriormente aceitas, como axiomas.
Novo!!: Sistema axiomático e Teorema · 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!!: Sistema axiomático e Teoremas da incompletude de Gödel · Veja mais »
Teoria dos conjuntos
conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.
Novo!!: Sistema axiomático e Teoria dos conjuntos · Veja mais »
Teoria dos grupos
grupos de permutação. Ver o grupo do cubo de Rubik Na álgebra abstrata, a teoria dos grupos estuda as estruturas algébricas conhecidas como grupos.
Novo!!: Sistema axiomático e Teoria dos grupos · Veja mais »
Teoria dos números
números primos, observamos um intrigante e não totalmente explicado padrão, chamado espiral de Ulam. A teoria dos números é o ramo da matemática pura que estuda propriedades dos números em geral, e em particular dos números inteiros, bem como a larga classe de problemas que surge no seu estudo.
Novo!!: Sistema axiomático e Teoria dos números · Veja mais »
Teoria ingênua dos conjuntos
Na matemática abstrata, a teoria dos conjuntos foi o primeiro desenvolvimento da teoria dos conjuntos, que foi mais tarde remodelada cuidadosamente como a teoria axiomática dos conjuntos.
Novo!!: Sistema axiomático e Teoria ingênua dos conjuntos · Veja mais »
Thoralf Skolem
Thoralf Albert Skolem (Sandsvaer, 23 de maio de 1887 — Oslo, 23 de março de 1963) foi um matemático norueguês, conhecido principalmente por seu trabalho em lógica matemática e teoria dos conjuntos.
Novo!!: Sistema axiomático e Thoralf Skolem · Veja mais »
Topologia (matemática)
Topologia (do grego topos, "lugar", e logos, "estudo") é o ramo da matemática que estuda os espaços topológicos, sendo considerado como uma extensão da geometria.
Novo!!: Sistema axiomático e Topologia (matemática) · Veja mais »
Redireciona aqui:
Método axiomático, Teoria axiomática.
