Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Axioma

Índice 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.

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.

CessanteEntrada
Ei! Agora estamos em Facebook! »