50 relações: Aristóteles, Aritmética, Axioma, Axiomas de Peano, Axiomas de Zermelo-Fraenkel, Boécio, Cardinal inacessível, Cohen, Corolário, Corpo ordenado, Derivação formal, Dogma, Engenharia, Euclides, Filósofo, Geometria, Geometria euclidiana, Geometria hiperbólica, Georg Cantor, Gottlob Frege, Grécia Antiga, Hilbert, Hipótese, Implicação, Kurt Gödel, Língua grega, Lógica, Lógica de primeira ordem, Lista de regras de inferência, Matemática, Método dedutivo, Negação, Paradoxo de Russell, Poincaré, Premissa, Proclo, Proposição, Regra de inferência, Rhodes, Russell, Sentença (lógica matemática), Silogismo, Sistema formal, Software, Substantivo verbal, Tautologia, Teorema, Teoria, Teoria dos conjuntos, Teoria ingênua dos conjuntos.
Aristóteles
Aristóteles (Aristotélēs; Estagira, – Atenas) foi um filósofo e polímata da Grécia Antiga.
Novo!!: Axioma e Aristóteles · Veja mais »
Aritmética
Tabela de adição (Tabela de Dupla Entrada em português europeu) A aritmética (da palavra grega ἀριθμός, arithmós, "número") é o ramo mais elementar e antigo da matemática, lida com as operações possíveis entre os números; é utilizada por quase todo ser humano: seja em tarefas cotidianas, seja em tarefas científicas ou negociais.
Novo!!: Axioma e Aritmé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!!: Axioma 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!!: Axioma 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!!: Axioma e Axiomas de Zermelo-Fraenkel · Veja mais »
Boécio
Anício Mânlio Torquato Severino Boécio (Anicius Manlius Torquatus Severinus Boethius, Roma, ca. 480 – Pavia, 524 ou 525), conhecido como Severino Boécio ou simplesmente Boécio, foi um filósofo, poeta, estadista e teólogo romano, cujas obras tiveram uma profunda influência na filosofia cristã do Medievo.
Novo!!: Axioma e Boécio · Veja mais »
Cardinal inacessível
Em matemática, especialmente em teoria dos conjuntos, um número cardinal \kappa^ é denominado inacessível se \kappa^ é um cardinal regular, não enumerável e limite forte.
Novo!!: Axioma e Cardinal inacessível · Veja mais »
Cohen
Cohen ou Kohen (em hebraico כהן, sacerdote, pl. כהנים kohanim) são os sacerdotes na Torá, cujo chefe era o Cohen Gadol (Sumo Sacerdote de Israel), sendo que todos deveriam ser descendentes de Aarão.
Novo!!: Axioma e Cohen · Veja mais »
Corolário
Um corolário (do latim tardio corollarĭum) é uma afirmação deduzida de uma verdade já demonstrada.
Novo!!: Axioma e Corolário · Veja mais »
Corpo ordenado
Em matemática, um corpo ordenado é um corpo no qual existe uma relação de ordem total, e em que as operações binárias do corpo são compatíveis com essa relação de ordem.
Novo!!: Axioma e Corpo ordenado · Veja mais »
Derivação formal
Em lógica, uma derivação formal (ou prova formal) é uma sequência finita de sentenças onde cada sentença pode ser um axioma ou então pode ser obtida como consequência direta de sentenças anteriores na sequência utilizando-se uma regra de inferência.
Novo!!: Axioma e Derivação formal · Veja mais »
Dogma
Dogma é princípio que se convenciona não discutir e, muitas vezes, que não se aceita discussão.
Novo!!: Axioma e Dogma · Veja mais »
Engenharia
capital federal, projetados pelo engenheiro Joaquim Cardozo com bases delgadas que apenas tocam o chão, são as principais conquistas da engenharia estrutural brasileira. A Falkirk Wheel, um exemplo da aplicação de várias técnicas e ciências da engenharia. Engenharia é a aplicação do conhecimento científico, econômico, social e prático, com o intuito de planejar, desenhar, construir, manter e melhorar estruturas, máquinas, aparelhos, sistemas, materiais e processos.
Novo!!: Axioma e Engenharia · 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!!: Axioma e Euclides · Veja mais »
Filósofo
Filósofo é alguém que pratica a filosofia, a qual envolve investigação racional em áreas que estão fora da teologia ou da ciência.
Novo!!: Axioma e Filósofo · 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!!: Axioma e Geometria · 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!!: Axioma e Geometria euclidiana · Veja mais »
Geometria hiperbólica
Em Matemática, geometria hiperbólica, também chamada de geometria lobachevskiana ou geometria de Bolyai - Lobachevsky, é uma geometria não-euclidiana, o que significa que o quinto postulados de Euclides, o clássico postulado das paralelas da geometria euclidiana é substituído pelo postulado de Lobachesvky: O postulado das paralelas, na geometria euclidiana, é equivalente à afirmação (axioma de Playfair) de que, no espaço bidimensional, para qualquer reta R e ponto P não contido em R, existe somente uma reta que passa por P e não intercepta R, ou seja, uma linha que é paralela a R. Na geometria hiperbólica, existem infinitas retas distintas que passam por P e que não interceptam R, de modo que o postulado clássico das paralelas é falso.
Novo!!: Axioma e Geometria hiperbólica · 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!!: Axioma 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!!: Axioma e Gottlob Frege · Veja mais »
Grécia Antiga
Grécia Antiga (Ἑλλάς), ou Hélade, foi uma civilização pertencente a um período da história grega que abrange desde o Período Homérico dos séculos XIV a IX a.C. até o fim da antiguidade (c.476 d.C.). Imediatamente após este período foi o início da Idade Média e da era bizantina.
Novo!!: Axioma e Grécia Antiga · Veja mais »
Hilbert
Hilbert pode se referir a.
Novo!!: Axioma e Hilbert · Veja mais »
Hipótese
Uma hipótese (do grego antigo ὑπόθεσις, transl. hypóthesis, composto de hypo, 'sob', 'abaixo de', e thésis, 'posição'), suposição ou especulação é uma formulação provisória, com intenções de ser posteriormente demonstrada ou verificada, constituindo uma suposição admissível.
Novo!!: Axioma e Hipótese · Veja mais »
Implicação
Na lógica e na matemática, a implicação, ou condicional é a indicação do tipo "SE...ENTÃO", indicando que uma condição deve ser satisfeita necessariamente para que a outra seja verdadeira.
Novo!!: Axioma e Implicação · 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!!: Axioma e Kurt Gödel · Veja mais »
Língua grega
O grego (ελληνικά, transl. Eliniká, ou ελληνική γλώσσα, AFI:, lit. "língua helênica") é uma língua de um ramo independente da família linguística indo-europeia.
Novo!!: Axioma e Língua grega · 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!!: Axioma e Lógica · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: Axioma e Lógica de primeira ordem · Veja mais »
Lista de regras de inferência
Regras de inferência são regras de transformação sintáticas que podem ser usadas para inferir uma conclusão a partir de uma premissa, para criar um argumento.
Novo!!: Axioma e Lista de regras de inferência · 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!!: Axioma e Matemática · Veja mais »
Método dedutivo
Método dedutivo o raciocínio dedutivo é a maneira de tirar inferências dedutivas.
Novo!!: Axioma e Método dedutivo · Veja mais »
Negação
Negação, em lógica e matemática, é uma operação unária sobre valores lógicos, por exemplo o valor lógico de uma proposição.
Novo!!: Axioma e Negação · 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!!: Axioma e Paradoxo de Russell · Veja mais »
Poincaré
*Henri Poincaré - matemático francês.
Novo!!: Axioma e Poincaré · Veja mais »
Premissa
Em Lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência.
Novo!!: Axioma e Premissa · Veja mais »
Proclo
Proclo Lício (Proclus Lycaeus; Constantinopla, —),Alain de Libera.
Novo!!: Axioma e Proclo · Veja mais »
Proposição
Proposição é um termo usado em lógica para descrever o conteúdo de asserções.
Novo!!: Axioma e Proposição · 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!!: Axioma e Regra de inferência · Veja mais »
Rhodes
Sem descrição
Novo!!: Axioma e Rhodes · Veja mais »
Russell
Sem descrição
Novo!!: Axioma e Russell · Veja mais »
Sentença (lógica matemática)
Em lógica matemática, uma sentença de uma lógica de predicados é uma fórmula bem formada com valor booleano e sem variáveis livres.
Novo!!: Axioma e Sentença (lógica matemática) · Veja mais »
Silogismo
Um silogismo (do grego antigo συλλογισμός, transl. syllogismós, 'conexão de ideias', 'raciocínio', composto pelos termos σύν, transl. syn, 'com', e λογισμός, 'cálculo' e, por extensão, 'raciocínio', pelo latim syllogismus,i) é um termo filosófico com o qual Aristóteles designou a conclusão deduzida de premissas, a argumentação lógica perfeita.
Novo!!: Axioma e Silogismo · 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!!: Axioma e Sistema formal · Veja mais »
Software
OpenOffice.org ''writer'' Software é um termo técnico que foi traduzido para a língua portuguesa como suporte lógico e trata-se de uma sequência de instruções a serem seguidas e/ou executadas, na manipulação, redirecionamento ou modificação de um dado (informação) ou acontecimento.
Novo!!: Axioma e Software · Veja mais »
Substantivo verbal
Substantivo verbal, em gramática, é um substantivo derivado do infinitivo, do gerúndio ou do particípio O texto de Francisco Solano Constancio omite a derivação a partir do particípio, porém usa esta derivação nos exemplos.
Novo!!: Axioma e Substantivo verbal · Veja mais »
Tautologia
Tautologia (do grego ταὐτολογία "dizer o mesmo") é a denominação, na retórica, a um termo ou texto que é a mesma ideia expressa de formas diferentes, dizer a mesma coisa em termos diferentes.
Novo!!: Axioma e Tautologia · 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!!: Axioma e Teorema · Veja mais »
Teoria
corroboradas. Teoria (do grego θεωρία, transl. theoria: 'contemplação', 'reflexão', 'introspecção', de θεωρέω, tranl. theoréo, 'olho', 'observo', composto por θέα, thea, 'espetáculo', por sua vez derivado de θαῦμα, thâuma, 'visão', e ὁράω, horao, 'vejo'.) indica, no senso comum, uma ideia nascida com base em alguma hipótese, conjectura, especulação ou suposição, mesmo abstrata, sobre a realidade.
Novo!!: Axioma e Teoria · 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!!: Axioma e Teoria dos conjuntos · 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!!: Axioma e Teoria ingênua dos conjuntos · Veja mais »
Redireciona aqui:
Afirmação, Axiomas, Axiomatizar, Axiomatização de sistemas, Postulado, Postulados.