Acesso mais rápido do que o navegador!
85 relações: Adolf Abraham Halevi Fraenkel, Alfred Tarski, Algoritmo, Análise funcional, András Hajnal, Anel (matemática), Assinatura (lógica), Axioma, Axioma da regularidade, Axioma de construtibilidade, Axiomas de Zermelo-Fraenkel, Álgebra, Álgebra abstrata, Base (álgebra linear), Bertrand Russell, Cardinalidade, Categoria (teoria das categorias), Conjunto, Conjunto contável, Conjunto de partes, Conjunto finito, Conjunto infinito, Conjunto parcialmente ordenado, Conjunto vazio, Conjuntos disjuntos, Conjuntos não mensuráveis, Consistência, Corpo (matemática), Definable set, Elemento, Elsevier, Equivalência de categorias, Equivalência lógica, Ernst Zermelo, Errett Bishop, Espaço vetorial, Família indexada, Fechamento, Forma canónica, Função (matemática), Grupo (matemática), Grupo livre, Harvard University Press, Henri Lebesgue, Hipótese do continuum, Indução matemática, Infinite, Infinito, Jerry Bona, Kurt Gödel, ..., Lógica de primeira ordem, Lógica matemática, Lema de Zorn, Matemática, Mathematische Annalen, Maurice Fréchet, Medida de Lebesgue, Modelo, Número complexo, Número natural, Número real, Operação binária, Paradoxo de Banach–Tarski, Partição de um conjunto, Patrick Suppes, Per Martin-Löf, Princípio da boa ordenação, Produto cartesiano, Scientific American, Se e somente se, Subconjunto, Subgrupo, Teorema, Teorema de Tychonoff, Teoria da ordem, Teoria das categorias, Teoria dos conjuntos, Thomas Jech, Topologia geral, Topologia produto, Tricotomia (matemática), Universo construível, Urelemento, Verdade, 1904. Expandir índice (35 mais) »
Adolf Abraham Halevi Fraenkel
Adolf Abraham Halevi Fraenkel (אברהם הלוי פרנקל.; Munique, — Jerusalém) foi um matemático judeu nascido e criado na Alemanha.
Novo!!: Axioma da escolha e Adolf Abraham Halevi Fraenkel · Veja mais »
Alfred Tarski
Alfred Tarski (Varsóvia, na época Império Russo, atualmente Polônia, — Berkeley, Estados Unidos) foi um lógico, matemático e filósofo polonês.
Novo!!: Axioma da escolha e Alfred Tarski · 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!!: Axioma da escolha e Algoritmo · Veja mais »
Análise funcional
A análise funcional é o ramo da matemática, e mais especificamente da análise, que trata do estudo de espaços de funções.
Novo!!: Axioma da escolha e Análise funcional · Veja mais »
András Hajnal
András Hajnal (Hungria, –) foi um matemático húngaro.
Novo!!: Axioma da escolha e András Hajnal · 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!!: Axioma da escolha e Anel (matemática) · Veja mais »
Assinatura (lógica)
Na lógica matemática, uma assinatura compreende o conjunto de símbolos não-lógicos que caracteriza uma linguagem formal.
Novo!!: Axioma da escolha e Assinatura (lógica) · 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 da escolha e Axioma · Veja mais »
Axioma da regularidade
O axioma da regularidade, também conhecido como axioma da fundação, em teoria dos conjuntos, é o que garante, essencialmente, que um conjunto não pode ser membro dele mesmo (diretamente, como X \in X\,, ou indiretamente, através de uma cadeia de outros conjuntos X \in X_1 \in X_2 \ldots \in X\,. A sua formulação, devida a von Neumann (em 1925), em lógica de primeira ordem é: Ou seja, todo conjunto que não é o conjunto vazio possui um elemento que é totalmente disjunto dele. Este é um dos axiomas de Zermelo-Fraenkel, e de outras importantes versões da teoria dos conjuntos. Em versões da teoria dos conjuntos que violam este axioma, os "culpados" são chamados de hiperconjuntos; um exemplo é o átomo de Quine Q.
Novo!!: Axioma da escolha e Axioma da regularidade · Veja mais »
Axioma de construtibilidade
Na matemática, o Axioma de Construtibilidade é um possível axioma na teoria axiomática de conjuntos, que declara que todo conjunto é construtível.
Novo!!: Axioma da escolha e Axioma de construtibilidade · 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 da escolha e Axiomas de Zermelo-Fraenkel · Veja mais »
Álgebra
Álgebra é o ramo da matemática que estuda a manipulação formal de equações, operações matemáticas, polinômios e estruturas algébricas.
Novo!!: Axioma da escolha e Álgebra · Veja mais »
Álgebra abstrata
Álgebra abstrata é a subárea da matemática que estuda as estruturas algébricas como grupos, anéis, corpos, espaços vetoriais, módulos e álgebras.
Novo!!: Axioma da escolha e Álgebra abstrata · Veja mais »
Base (álgebra linear)
Na álgebra linear, uma base de um espaço vectorial é um conjunto de vetores linearmente independentes que geram esse espaço.
Novo!!: Axioma da escolha e Base (álgebra linear) · 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!!: Axioma da escolha e Bertrand Russell · Veja mais »
Cardinalidade
Na matemática, a cardinalidade de um conjunto é uma medida do "número de elementos do conjunto".
Novo!!: Axioma da escolha e Cardinalidade · Veja mais »
Categoria (teoria das categorias)
Na matemática, uma categoria é um conceito similar a um grafo direcionado, incluindo setas entre objetos, entre elas havendo identidades e uma operação de composição, com propriedades análogas à composição de funções.
Novo!!: Axioma da escolha e Categoria (teoria das categorias) · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Axioma da escolha e Conjunto · Veja mais »
Conjunto contável
Na matemática, um conjunto contável é um conjunto de mesma cardinalidade (número de elementos) de um subconjunto qualquer do conjunto dos números naturais.
Novo!!: Axioma da escolha e Conjunto contável · Veja mais »
Conjunto de partes
A família de todos os subconjuntos de um conjunto dado A é chamado de conjunto de partes (ou conjunto potência) de A, denotado por P(A) ou 2^A.
Novo!!: Axioma da escolha e Conjunto de partes · Veja mais »
Conjunto finito
Intuitivamente, um conjunto é finito quando é possível contar seus elementos e a contagem termina.
Novo!!: Axioma da escolha e Conjunto finito · 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!!: Axioma da escolha e Conjunto infinito · Veja mais »
Conjunto parcialmente ordenado
Na matemática, especialmente na Teoria da ordem, um conjunto parcialmente ordenado (poset, em inglês partially ordered set) é um conjunto equipado com uma relação binária de ordem parcial.
Novo!!: Axioma da escolha e Conjunto parcialmente ordenado · Veja mais »
Conjunto vazio
Em matemática, mais especificamente em teoria dos conjuntos, o conjunto vazio é o único conjunto que não possui elementos.
Novo!!: Axioma da escolha e Conjunto vazio · Veja mais »
Conjuntos disjuntos
''A'' e ''B'' são dois conjuntos disjuntos. Em matemática, dois conjuntos são ditos disjuntos se não tiverem nenhum elemento em comum.
Novo!!: Axioma da escolha e Conjuntos disjuntos · Veja mais »
Conjuntos não mensuráveis
Em matemática, um conjunto não mensurável é um conjunto que não pode ser atribuído um "tamanho" significativo.
Novo!!: Axioma da escolha e Conjuntos não mensuráveis · Veja mais »
Consistência
Na lógica clássica dedutiva, uma teoria é chamada de consistente se não contém contradição.
Novo!!: Axioma da escolha e Consistência · Veja mais »
Corpo (matemática)
Em matemática, um corpo é um anel comutativo com unidade em que todo elemento diferente de 0 possui um elemento inverso com relação à multiplicação.
Novo!!: Axioma da escolha e Corpo (matemática) · Veja mais »
Definable set
Na lógica matemática, um conjunto definido é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura.
Novo!!: Axioma da escolha e Definable set · Veja mais »
Elemento
* Elemento químico, átomos categorizados pela química.
Novo!!: Axioma da escolha e Elemento · Veja mais »
Elsevier
Logotipo da Elsevier Elsevier é uma empresa editorial holandesa especializada em conteúdo científico, técnico e médico.
Novo!!: Axioma da escolha e Elsevier · Veja mais »
Equivalência de categorias
Na teoria das categorias, equivalência de categorias é o conceito "correto" para dizer se categorias são "essencialmente as mesmas".
Novo!!: Axioma da escolha e Equivalência de categorias · Veja mais »
Equivalência lógica
Na lógica, afirmações p e q são logicamente equivalentes se tiverem o mesmo conteúdo lógico.
Novo!!: Axioma da escolha e Equivalência lógica · 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!!: Axioma da escolha e Ernst Zermelo · Veja mais »
Errett Bishop
Errett Albert Bishop (Newton, Kansas, – San Diego) foi um matemático estadunidense.
Novo!!: Axioma da escolha e Errett Bishop · Veja mais »
Espaço vetorial
Um espaço vetorial (também chamado de espaço linear) é uma coleção de objetos chamada vetores, que podem ser somados um a outro e multiplicados ("escalonados") por números, denominados escalares.
Novo!!: Axioma da escolha e Espaço vetorial · Veja mais »
Família indexada
Na matemática, uma família indexada de conjuntos é definida por partes, começando com o conceito mais geral de uma família indexada de elementos, que é na verdade apenas uma forma alternativa de definir uma função.
Novo!!: Axioma da escolha e Família indexada · Veja mais »
Fechamento
Em matemática, um conjunto é fechado em relação a uma dada operação quando o resultado dessa operação em elementos desse conjunto é ainda um elemento desse conjunto.
Novo!!: Axioma da escolha e Fechamento · Veja mais »
Forma canónica
No campo da matemática, a forma canónica refere-se de forma geral à forma normal e clássica de representar uma dada relação.
Novo!!: Axioma da escolha e Forma canónica · 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!!: Axioma da escolha e Função (matemática) · Veja mais »
Grupo (matemática)
A Vingança de Rubik (versão 4x4x4 do Cubo de Rubik) formam um grupo. Em matemática, um grupo é um conjunto de elementos associados a uma operação que combina dois elementos quaisquer para formar um terceiro.
Novo!!: Axioma da escolha e Grupo (matemática) · Veja mais »
Grupo livre
Em matemática, um grupo livre com base S é um par ordenado (F_S,i), onde F_S é um grupo, S é um conjunto não-vazio, e i:S \rightarrow F_S é uma função injetora.
Novo!!: Axioma da escolha e Grupo livre · Veja mais »
Harvard University Press
Harvard University Press (HUP) é uma editora estabelecida desde 1913 como uma divisão da Universidade Harvard, focada em publicações acadêmicas.
Novo!!: Axioma da escolha e Harvard University Press · Veja mais »
Henri Lebesgue
Henri Léon Lebesgue Henri Léon Lebesgue (Beauvais, 28 de junho de 1875 — Paris, 26 de julho de 1941) foi um matemático francês.
Novo!!: Axioma da escolha e Henri Lebesgue · Veja mais »
Hipótese do continuum
A hipótese do continuum é uma conjectura proposta por Georg Cantor.
Novo!!: Axioma da escolha e Hipótese do continuum · Veja mais »
Indução matemática
O efeito dominó Indução matemática é um método de prova matemática usado para demonstrar a verdade de um número infinito de proposições.
Novo!!: Axioma da escolha e Indução matemática · Veja mais »
Infinite
* Infinite (álbum de Deep Purple).
Novo!!: Axioma da escolha e Infinite · 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!!: Axioma da escolha e Infinito · Veja mais »
Jerry Bona
Jerry Lloyd Bona (Little Rock) é um matemático estadunidense, conhecido por seu trabalho em mecânica dos fluidos, equações diferenciais parciais e matemática computacional, e ativo em algumas outras áreas da matemática pura e aplicada.
Novo!!: Axioma da escolha e Jerry Bona · 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 da escolha e Kurt Gödel · 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 da escolha e Lógica de primeira ordem · 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!!: Axioma da escolha e Lógica matemática · Veja mais »
Lema de Zorn
O Lema de Zorn é um axioma da Teoria dos Conjuntos, normalmente apresentado como: Se, em um conjunto não-vazio e parcialmente ordenado, todo subconjunto totalmente ordenado tem uma quota superior, então o conjunto tem um elemento maximal.
Novo!!: Axioma da escolha e Lema de Zorn · 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 da escolha e Matemática · Veja mais »
Mathematische Annalen
O Mathematische Annalen (abreviado como Math. Ann. ou Math. Annal.) é um jornal acadêmico (dedicado à publicação de pesquisas) especializado em matemática publicado pela Springer Science+Business Media.
Novo!!: Axioma da escolha e Mathematische Annalen · Veja mais »
Maurice Fréchet
Maurice René Fréchet (Maligny, — Paris) foi um matemático francês.
Novo!!: Axioma da escolha e Maurice Fréchet · Veja mais »
Medida de Lebesgue
Em matemática, a medida de Lebesgue é a generalização padrão do conceitos de comprimento na reta, área no plano e volume no espaço.
Novo!!: Axioma da escolha e Medida de Lebesgue · Veja mais »
Modelo
* Modelo (artes plásticas) - representação em escala de um objeto real, em geral pessoas, para trabalhos artísticos.
Novo!!: Axioma da escolha e Modelo · Veja mais »
Número complexo
Em matemática, um número complexo é um elemento de um sistema numérico que contém os números reais e um elemento específico denotado, chamado de unidade imaginária, e que satisfaz a equação.
Novo!!: Axioma da escolha e Número complexo · 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!!: Axioma da escolha e Número natural · Veja mais »
Número real
Um número real é um valor que representa uma quantidade (nula, positiva ou negativa) ao longo de uma linha contínua, ou seja um ponto sobre uma linha reta infinita, chamada de reta numérica ou reta real, onde os pontos correspondentes aos números inteiros são igualmente espaçados.
Novo!!: Axioma da escolha e Número real · Veja mais »
Operação binária
Na matemática, uma operação binária ou 2-ária é uma operação com dois operandos.
Novo!!: Axioma da escolha e Operação binária · Veja mais »
Paradoxo de Banach–Tarski
O "paradoxo" de Banach–Tarski: Uma esfera pode ser decomposta e recomposta em duas esferas cada uma do mesmo tamanho da original.O teorema de Banach–Tarski estabelece que é possível dividir uma esfera sólida em um número finito de pedaços (em um caso particular Raphael M. Robinson dividiu em exatamente cinco pedaços), e com estes pedaços construir duas esferas, do mesmo tamanho da original.
Novo!!: Axioma da escolha e Paradoxo de Banach–Tarski · Veja mais »
Partição de um conjunto
Em matemática, dada uma família de índices I\subseteq\mathbb, dizemos que a família P.
Novo!!: Axioma da escolha e Partição de um conjunto · Veja mais »
Patrick Suppes
Patrick Suppes (Tulsa, - 17 de novembro de 2014) foi um matemático e filósofo estadunidense.
Novo!!: Axioma da escolha e Patrick Suppes · Veja mais »
Per Martin-Löf
Per Erik Rutger Martin-Löf é um lógico, filósofo e estatístico matemático sueco.
Novo!!: Axioma da escolha e Per Martin-Löf · Veja mais »
Princípio da boa ordenação
O Princípio da boa ordenação ou princípio da boa ordem diz que todo subconjunto não-vazio formado por números naturais possui um menor elemento.
Novo!!: Axioma da escolha e Princípio da boa ordenação · Veja mais »
Produto cartesiano
Em matemática, dados dois conjuntos X e Y, o produto cartesiano (ou produto direto) desses dois (escrito como X × Y) é o conjunto de todos os pares ordenados, cujo primeiro termo pertence a X; e o segundo, a Y. O produto cartesiano recebe seu nome de René Descartes, cuja formulação da geometria analítica deu origem a este conceito.
Novo!!: Axioma da escolha e Produto cartesiano · Veja mais »
Scientific American
Scientific American (informalmente abreviado, SciAm) é uma revista de divulgação científica dos Estados Unidos.
Novo!!: Axioma da escolha e Scientific American · 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!!: Axioma da escolha e Se e somente se · Veja mais »
Subconjunto
Diagrama de Euler ilustrando o fato de que A é subconjunto de B ou, equivalentemente, que B é superconjunto de A Em teoria dos conjuntos, quando todo elemento de um conjunto A é também elemento de um conjunto B, dizemos que A é um subconjunto de B, denotado A \subseteq B (também dito "A é uma parte de B" ou "A está contido em B").
Novo!!: Axioma da escolha e Subconjunto · Veja mais »
Subgrupo
Em teoria dos grupos, um subgrupo de um grupo G é um subconjunto H de G que também seja um grupo para a mesma operação.
Novo!!: Axioma da escolha e Subgrupo · 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 da escolha e Teorema · Veja mais »
Teorema de Tychonoff
Em matemática, e em especial em topologia, o teorema de Tychonoff diz que o produto de uma coleção arbitrária de espaços topológicos compactos é um espaço topológico compacto em relação à topologia produto.
Novo!!: Axioma da escolha e Teorema de Tychonoff · Veja mais »
Teoria da ordem
Teoria da ordem é um ramo da matemática que estuda vários tipos de relações binárias que capturam a noção intuitiva de ordem matemática.
Novo!!: Axioma da escolha e Teoria da ordem · Veja mais »
Teoria das categorias
Na matemática, a teoria das categorias provê uma linguagem interdisciplinar capaz de delinear resultados e construções gerais, separando-os dos específicos a cada área, possibilitando a simplificação e clarificação de demonstrações.
Novo!!: Axioma da escolha e Teoria das categorias · 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 da escolha e Teoria dos conjuntos · Veja mais »
Thomas Jech
Thomas J. Jech (Praga) é um fotógrafo e matemático especializado na teoria dos conjuntos.
Novo!!: Axioma da escolha e Thomas Jech · Veja mais »
Topologia geral
Topologia geral é um ramo da matemática que preocupa-se com o estudo da generalização dos conceitos de distância, continuidade e convergência.
Novo!!: Axioma da escolha e Topologia geral · Veja mais »
Topologia produto
A topologia produto é a menor topologia em um produto de espaços topológicos que torna cada projeção canônica uma função contínua.
Novo!!: Axioma da escolha e Topologia produto · Veja mais »
Tricotomia (matemática)
Em matemática, a lei da tricotomia afirma que todo número real é positivo, negativo ou zero.
Novo!!: Axioma da escolha e Tricotomia (matemática) · Veja mais »
Universo construível
Em matemática, o Universo construtível (ou Universo construtível de Gödel ou Hierarquia construtível), denotado por L, é uma classe de conjuntos definida por recursão transfinita.
Novo!!: Axioma da escolha e Universo construível · Veja mais »
Urelemento
Em matemática, mais exatamente em teoria dos conjuntos, um urelemento ou ur-elemento (onde ur- é um prefixo alemão com o significado de “primordial&rdquo) é um objeto (concreto ou abstrato) que não é um conjunto, mas que pode ser um elemento de um conjunto.
Novo!!: Axioma da escolha e Urelemento · Veja mais »
Verdade
A verdade é a propriedade de estar de acordo com o fato real ou a realidade.
Novo!!: Axioma da escolha e Verdade · Veja mais »
1904
---- (na numeração romana) foi um ano bissexto do século XX do atual Calendário Gregoriano, da Era de Cristo, e as suas letras dominicais foram C e B (52 semanas), teve início a uma sexta-feira e terminou a um sábado.
Novo!!: Axioma da escolha e 1904 · Veja mais »
