Acesso mais rápido do que o navegador!
30 relações: Aritmética de segunda ordem, Axioma, Axiomas de Peano, Begriffsschrift, Bertrand Russell, Cesare Burali-Forti, Conjunto infinito, Definição, Dover Publications, Ernst Zermelo, Filosofia da matemática, Frank Plumpton Ramsey, Gödel, Escher, Bach, Gottlob Frege, Hans Reichenbach, Henri Poincaré, Hermann Weyl, Lógica, Matemática, Número natural, Nova Iorque (estado), Oxford University Press, Paradoxo, Paradoxo de Burali-Forti, Paradoxo de Cantor, Paradoxo de Richard, Paradoxo de Russell, Se e somente se, Solomon Feferman, Teoria dos conjuntos.
Aritmética de segunda ordem
Na Lógica matemática, aritmética de segunda ordem é uma coleção de sistemas axiomáticos que formalizam os números naturais e seus subconjuntos.
Novo!!: Impredicatividade e Aritmética de segunda ordem · 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!!: Impredicatividade 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!!: Impredicatividade e Axiomas de Peano · Veja mais »
Begriffsschrift
Begriffsschrift (Traduzido grosseiramente do alemão para "ideografia") é um livro de lógica feito por Gottlob Frege, publicado em 1879, e o sistema formal estabelecido neste livro.
Novo!!: Impredicatividade e Begriffsschrift · 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!!: Impredicatividade e Bertrand Russell · Veja mais »
Cesare Burali-Forti
Cesare Burali-Forti (Arezzo, – Turim) foi um matemático italiano.
Novo!!: Impredicatividade e Cesare Burali-Forti · Veja mais »
Conjunto infinito
Na teoria dos conjuntos, um conjunto é infinito se possui uma correspondência biunívoca com um dos seus subconjuntos próprios.
Novo!!: Impredicatividade e Conjunto infinito · 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!!: Impredicatividade e Definição · Veja mais »
Dover Publications
Dover Publications é uma editora norteamericana fundada em 1941.
Novo!!: Impredicatividade e Dover Publications · 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!!: Impredicatividade e Ernst Zermelo · Veja mais »
Filosofia da matemática
Filosofia da matemática é o ramo da filosofia que investiga os fenômenos da matemática.
Novo!!: Impredicatividade e Filosofia da matemática · Veja mais »
Frank Plumpton Ramsey
Frank Plumpton Ramsey (Cambridge, — Londres) foi um matemático britânico.
Novo!!: Impredicatividade e Frank Plumpton Ramsey · Veja mais »
Gödel, Escher, Bach
Gödel, Escher, Bach: um entrelaçamento de Gênios Brilhantes (geralmente chamado GEB) é um livro vencedor do Prémio Pulitzer escrito pelo acadêmico estadunidense Douglas Hofstadter.
Novo!!: Impredicatividade e Gödel, Escher, Bach · Veja mais »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, — Bad Kleinen) foi um matemático, lógico e filósofo alemão.
Novo!!: Impredicatividade e Gottlob Frege · Veja mais »
Hans Reichenbach
Hans Reichenbach (Hamburgo, — Los Angeles) foi um filósofo da ciência alemão.
Novo!!: Impredicatividade e Hans Reichenbach · Veja mais »
Henri Poincaré
Jules Henri Poincaré (Nancy, 29 de abril de 1854 — Paris, 17 de julho de 1912) foi um matemático, físico e filósofo da ciência francês.
Novo!!: Impredicatividade e Henri Poincaré · Veja mais »
Hermann Weyl
Hermann Klaus Hugo Weyl (Elmshorn, — Zurique) foi um matemático alemão.
Novo!!: Impredicatividade e Hermann Weyl · 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!!: Impredicatividade e Lógica · 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!!: Impredicatividade e 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!!: Impredicatividade e Número natural · Veja mais »
Nova Iorque (estado)
Nova Iorque ou Nova York (New York) é um dos 50 estados dos Estados Unidos, localizado na Região nordeste do país.
Novo!!: Impredicatividade e Nova Iorque (estado) · Veja mais »
Oxford University Press
Oxford University Press (OUP) é uma casa editorial e departamento da Universidade de Oxford.
Novo!!: Impredicatividade e Oxford University Press · 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!!: Impredicatividade 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!!: Impredicatividade e Paradoxo de Burali-Forti · Veja mais »
Paradoxo de Cantor
Em teoria dos conjuntos, o paradoxo de Cantor, devido a Georg Cantor, é o resultado que para todo conjunto, existe outro conjunto de maior cardinalidade.
Novo!!: Impredicatividade e Paradoxo de Cantor · Veja mais »
Paradoxo de Richard
Em lógica, o Paradoxo de Richard é uma antinomia semântica da teoria dos conjuntos e linguagem natural primeiro descrita pelo matemático francês Jules Richard durante 1905.
Novo!!: Impredicatividade e Paradoxo de Richard · 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!!: Impredicatividade e Paradoxo de Russell · Veja mais »
Se e somente se
Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é \Leftrightarrow.
Novo!!: Impredicatividade e Se e somente se · Veja mais »
Solomon Feferman
Solomon Feferman (Nova Iorque, - 26 de julho de 2016) foi um matemático e filósofo estadunidense.
Novo!!: Impredicatividade e Solomon Feferman · 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!!: Impredicatividade e Teoria dos conjuntos · Veja mais »
Redireciona aqui:
Impredicativo, Noção de impredicatividade.
