Acesso mais rápido do que o navegador!
63 relações: Alfred North Whitehead, Algoritmo, Analíticos Posteriores, Arend Heyting, Aristóteles, Axioma, Axiomas de Zermelo-Fraenkel, Bertrand Russell, Conjunto, Cortes de Dedekind, Definição, Educação matemática, Ernst Zermelo, Euclides, Eudoxo de Cnido, Fórmula, Filosofia da matemática, Formalismo, Função (matemática), Fundamenta Mathematicae, Geometria, Georg Cantor, Gottlob Frege, Hilbert, História da lógica, História da matemática, Infinito, Intuicionismo, John von Neumann, Lógica, Lógica matemática, Logicismo, Luitzen Egbertus Jan Brouwer, Matemática, Metamatemática, Número, Número irracional, Os Elementos, Paradoxo, Paradoxo de Burali-Forti, Paradoxo de Russell, Paul Bernays, Principia Mathematica, Programa de Hilbert, Prova matemática, Recursividade, Regra de inferência, Richard Dedekind, Século XIX, Século XX, ..., Série (matemática), Sistema axiomático, Stephen Kleene, Teoria da computação, Teoria da prova, Teoria de conjuntos de Zermelo, Teoria dos conjuntos, Teoria dos modelos, Teoria dos tipos, Topologia (matemática), Trigonometria, Zenão de Eleia, 1902. Expandir índice (13 mais) »
Alfred North Whitehead
Alfred North Whitehead (Ramsgate, – Cambridge) foi um filósofo, lógico e matemático britânico.
Novo!!: Fundamentos da matemática e Alfred North Whitehead · Veja mais »
Algoritmo
Uma animação do algoritmo de ordenação quicksort de uma matriz de valores ao acaso. As barras vermelhas marcam o elemento pivô. No início da animação, estando o elemento para o lado direito, é escolhido como o pivô Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.
Novo!!: Fundamentos da matemática e Algoritmo · Veja mais »
Analíticos Posteriores
Analíticos posteriores ou Segundos Analíticos (Ἀναλυτικὰ ὕστερα, Analytica posteriora), é um tratado do filósofo grego Aristóteles de Estagira, composto por dois livros (I ou Α (alfa): 71a1–89b20, II ou Β (beta): 89b23–100b17).
Novo!!: Fundamentos da matemática e Analíticos Posteriores · Veja mais »
Arend Heyting
Arend Heyting (Amsterdam, – Lugano) foi um matemático e lógico holandês.
Novo!!: Fundamentos da matemática e Arend Heyting · Veja mais »
Aristóteles
Aristóteles (Aristotélēs; Estagira, – Atenas) foi um filósofo e polímata da Grécia Antiga.
Novo!!: Fundamentos da matemática e Aristóteles · 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!!: Fundamentos da matemática e Axioma · 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!!: Fundamentos da matemática 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!!: Fundamentos da matemática e Bertrand Russell · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Fundamentos da matemática e Conjunto · Veja mais »
Cortes de Dedekind
Em matemática, cortes de Dedekind, nome em homenagem a Richard Dedekind, são subconjuntos especiais do corpo ordenado \mathbb, os números racionais, que são usados para construir um corpo ordenado completo arquimediano.
Novo!!: Fundamentos da matemática e Cortes de Dedekind · Veja mais »
Definição
Uma definição é um enunciado que explica o significado de um termo (uma palavra, frase ou um conjunto de símbolos).
Novo!!: Fundamentos da matemática e Definição · Veja mais »
Educação matemática
A educação matemática, também chamada de didática matemática em países europeus, é uma área das ciências sociais que se dedica ao estudo da aprendizagem e ensino da matemática.
Novo!!: Fundamentos da matemática e Educação matemática · Veja mais »
Ernst Zermelo
Ernst Friedrich Ferdinand Zermelo (Berlim, 27 de julho de 1871 — Friburgo, 21 de maio de 1953) foi um matemático e filósofo alemão, cujo trabalho teve influência direta nos fundamentos da matemática.
Novo!!: Fundamentos da matemática e Ernst Zermelo · 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!!: Fundamentos da matemática e Euclides · Veja mais »
Eudoxo de Cnido
Eudoxo (Ευδοξος.; Cnido, entre 408 e 355 a.C.) foi um astrônomo, matemático e filósofo grego.
Novo!!: Fundamentos da matemática e Eudoxo de Cnido · Veja mais »
Fórmula
*Fórmula (lógica).
Novo!!: Fundamentos da matemática e Fórmula · Veja mais »
Filosofia da matemática
Filosofia da matemática é o ramo da filosofia que investiga os fenômenos da matemática.
Novo!!: Fundamentos da matemática e Filosofia da matemática · Veja mais »
Formalismo
O termo formalismo descreve uma ênfase da forma sobre o conteúdo ou significado nas artes, literatura, religião, direito, filosofia, matemática entre outras áreas.
Novo!!: Fundamentos da matemática e Formalismo · Veja mais »
Função (matemática)
Uma função não injetiva e não sobrejetiva do domínio X para o contradomínio Y. A função é não injetova pois há dois elementos do domínio ligados a um mesmo elemento do contradomínio (cor vermelha). A função é não sobrejetiva pois há elementos de Y sem correspondentes em X (cores azul e lilás). Uma função é uma relação de um conjunto A com um conjunto B. Denotamos uma função por f:A\to B, y.
Novo!!: Fundamentos da matemática e Função (matemática) · Veja mais »
Fundamenta Mathematicae
Fundamenta Mathematicae é um periódico matemático com foco especial sobre os fundamentos da matemática.
Novo!!: Fundamentos da matemática e Fundamenta Mathematicae · Veja mais »
Geometria
projetiva (P.Oxy. I 29) mostrando um fragmento dos Elementos de Euclides A geometria (γεωμετρία; geo- "terra", -metria "medida") é um ramo da matemática preocupado com questões de forma, tamanho e posição relativa de figuras e com as propriedades dos espaços.
Novo!!: Fundamentos da matemática e Geometria · Veja mais »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (São Petersburgo, 3 de março de 1845 – Halle, 6 de janeiro de 1918) foi um matemático alemão nascido no Império Russo.
Novo!!: Fundamentos da matemática e Georg Cantor · Veja mais »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, — Bad Kleinen) foi um matemático, lógico e filósofo alemão.
Novo!!: Fundamentos da matemática e Gottlob Frege · Veja mais »
Hilbert
Hilbert pode se referir a.
Novo!!: Fundamentos da matemática e Hilbert · Veja mais »
História da lógica
A história da lógica documenta o desenvolvimento da lógica em várias culturas e tradições.
Novo!!: Fundamentos da matemática e História da lógica · Veja mais »
História da matemática
loc.
Novo!!: Fundamentos da matemática e História da matemática · Veja mais »
Infinito
Ilusão artística de infinito, lembrando a obra de Escher. Infinito (do latim infinitus, símbolo) é a qualidade daquilo que não tem fim.
Novo!!: Fundamentos da matemática e Infinito · Veja mais »
Intuicionismo
Na filosofia da matemática, intuicionismo ou neointuicionismo (em oposição ao pré-intuicionismo) é uma abordagem à matemática de acordo com a atividade mental construtiva dos humanos.
Novo!!: Fundamentos da matemática e Intuicionismo · 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!!: Fundamentos da matemática e John von Neumann · 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!!: Fundamentos da matemática 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!!: Fundamentos da matemática e Lógica matemática · 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!!: Fundamentos da matemática e Logicismo · Veja mais »
Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan Brouwer, mais conhecido como L. E. J. Brouwer (Overschie, 27 de fevereiro de 1881 — Blaricum, 2 de dezembro de 1966), foi um matemático holandês.
Novo!!: Fundamentos da matemática e Luitzen Egbertus Jan Brouwer · 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!!: Fundamentos da matemática e Matemática · Veja mais »
Metamatemática
A metamatemática é um conceito formulado por Jacques Herbrand em 1930 e expandido por Tarski e Gödel.
Novo!!: Fundamentos da matemática e Metamatemática · Veja mais »
Número
Número é um objeto abstrato da matemática usado para descrever quantidade, ordem ou medida.
Novo!!: Fundamentos da matemática e Número · Veja mais »
Número irracional
Diagrama de alguns subconjuntos de números reais. Número irracional é um número real que não pode ser obtido pela divisão de dois números inteiros, ou seja, são números reais mas não racionais.
Novo!!: Fundamentos da matemática e Número irracional · 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!!: Fundamentos da matemática e Os Elementos · Veja mais »
Paradoxo
Um paradoxo é uma declaração aparentemente verdadeira que leva a uma contradição lógica, ou a uma situação que contradiz a intuição comum.
Novo!!: Fundamentos da matemática e Paradoxo · Veja mais »
Paradoxo de Burali-Forti
O Paradoxo de Burali-Forti, proposto em 1897 pelo matemático italiano Cesare Burali-Forti, diz que não existe um número ordinal maior que todos outros números ordinais.
Novo!!: Fundamentos da matemática e Paradoxo de Burali-Forti · Veja mais »
Paradoxo de Russell
O Paradoxo de Russell é um paradoxo descoberto por Bertrand Russell em 1901 e que mostra que no sistema do livro de Frege Leis fundamentais da aritmética pode ser derivada uma contradição.
Novo!!: Fundamentos da matemática e Paradoxo de Russell · Veja mais »
Paul Bernays
Paul Isaac Bernays (Londres, — Zurique) foi um matemático suíço.
Novo!!: Fundamentos da matemática e Paul Bernays · 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!!: Fundamentos da matemática e Principia Mathematica · 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!!: Fundamentos da matemática e Programa de Hilbert · Veja mais »
Prova matemática
Prova do teorema de Euclides. Em matemática, uma prova é uma demonstração de que, dados certos axiomas, algum enunciado de interesse é necessariamente verdadeiro.
Novo!!: Fundamentos da matemática e Prova matemática · 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!!: Fundamentos da matemática 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!!: Fundamentos da matemática e Regra de inferência · Veja mais »
Richard Dedekind
Julius Wilhelm Richard Dedekind (Braunschweig, 6 de outubro de 1831 — Braunschweig, 12 de fevereiro de 1916) foi um matemático alemão que fez contribuições importantes para a álgebra abstrata (especialmente na teoria dos anéis), na fundamentação axiomática dos números naturais, na teoria algébrica dos números e na definição de número real.
Novo!!: Fundamentos da matemática e Richard Dedekind · Veja mais »
Século XIX
323x323px O século XIX começou no dia 1 de janeiro de 1801 e terminou no dia 31 de dezembro de 1900.
Novo!!: Fundamentos da matemática e Século XIX · Veja mais »
Século XX
O século XX iniciou em 1 de janeiro de 1901 e terminou em 31 de dezembro de 2000.
Novo!!: Fundamentos da matemática e Século XX · Veja mais »
Série (matemática)
Em matemática, define-se uma série ou série infinita, a partir de uma sequência, a soma infinita.
Novo!!: Fundamentos da matemática e Série (matemática) · Veja mais »
Sistema axiomático
Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para logicamente derivar teoremas.
Novo!!: Fundamentos da matemática e Sistema axiomático · Veja mais »
Stephen Kleene
Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.
Novo!!: Fundamentos da matemática e Stephen Kleene · Veja mais »
Teoria da computação
A teoria da computação é um subcampo da ciência da computação e matemática que busca determinar quais problemas podem ser computados em um dado modelo de computação.
Novo!!: Fundamentos da matemática e Teoria da computação · 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!!: Fundamentos da matemática e Teoria da prova · Veja mais »
Teoria de conjuntos de Zermelo
Em matemática, a Teoria de conjuntos de Zermelo, abreviada Z, é a apresentação axiomática da Teoria de conjuntos publicada pela primeira vez por Ernst Zermelo em 1908 no seu artigo Pesquisas sobre os fundamentos da teoria de conjuntos.
Novo!!: Fundamentos da matemática e Teoria de conjuntos de Zermelo · 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!!: Fundamentos da matemática e Teoria dos conjuntos · Veja mais »
Teoria dos modelos
Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos.
Novo!!: Fundamentos da matemática e Teoria dos modelos · Veja mais »
Teoria dos tipos
Teoria dos tipos é o ramo da matemática e da lógica que se preocupa com a classificação de entidades em conjuntos chamados tipos.
Novo!!: Fundamentos da matemática e Teoria dos tipos · 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!!: Fundamentos da matemática e Topologia (matemática) · Veja mais »
Trigonometria
Trigonometria (do grego trigōnon "triângulo" + metron "medida") é um ramo da matemática que estuda as relações entre os comprimentos de 2 lados de um triângulo retângulo (triângulo onde um dos ângulos mede 90 graus), para diferentes valores de um dos seus ângulos agudos.
Novo!!: Fundamentos da matemática e Trigonometria · Veja mais »
Zenão de Eleia
Zenão de Eleia, (Ζήνωνα της Ελείας; cerca de 490/485 a.C. – 430 a.C.?) foi um filósofo pré-socrático da escola eleática que nasceu em Eleia, hoje Vélia, Itália.
Novo!!: Fundamentos da matemática e Zenão de Eleia · Veja mais »
1902
---- (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 E (52 semanas), teve início a uma quarta-feira e terminou também a uma quarta-feira.
Novo!!: Fundamentos da matemática e 1902 · Veja mais »
