42 relações: Algoritmo, Axioma, Último teorema de Fermat, Ciência da computação, Ciências naturais, Conjectura, Conjectura de Poincaré, Corolário, David Hilbert, Definição, Euclides, Grigori Perelman, Hipótese de Riemann, Inferência, Língua grega, Lógica, Lógica matemática, Lei, Lema, Lema de Gauss, Lema de Zorn, Matemática, Método dedutivo, Metamatemática, Noção primitiva, Os Elementos, Paradoxo, Princípio, Probabilidade, Programa de Hilbert, Proposição, Prova matemática, Subjetividade, Teorema central do limite, Teorema das quatro cores, Teorema de Pitágoras, Teorema de Tales, Teorema fundamental da álgebra, Teorema fundamental do cálculo, Teoremas da incompletude de Gödel, Teoria, Teoria da prova.
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!!: Teorema e Algoritmo · 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!!: Teorema e Axioma · Veja mais »
Último teorema de Fermat
O Último Teorema de Fermat é um famoso teorema matemático conjecturado pelo matemático francês Pierre de Fermat em 1637.
Novo!!: Teorema e Último teorema de Fermat · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Teorema e Ciência da computação · Veja mais »
Ciências naturais
As ciências naturais ou ciências da natureza constituem numa classificação que abarca as áreas da ciência que visam a estudar a natureza em seus aspectos mais gerais e fundamentais, isso é, o universo como um todo, que é entendido como regulado por regras ou leis de origem natural e com validade universal, fazendo-o de forma a focar-se nos aspectos físicos e não no homem ou em aspectos comportamentais.
Novo!!: Teorema e Ciências naturais · Veja mais »
Conjectura
Uma conjectura é uma ideia, fórmula ou frase, a qual não foi provada ser verdadeira, baseada em suposições ou ideias com fundamento não verificado.
Novo!!: Teorema e Conjectura · Veja mais »
Conjectura de Poincaré
A conjectura de Poincaré afirma que qualquer variedade tridimensional fechada e com grupo fundamental trivial é homeomorfa a uma esfera tridimensional.
Novo!!: Teorema e Conjectura de Poincaré · Veja mais »
Corolário
Um corolário (do latim tardio corollarĭum) é uma afirmação deduzida de uma verdade já demonstrada.
Novo!!: Teorema e Corolário · Veja mais »
David Hilbert
David Hilbert (Königsberg, — Göttingen) foi um matemático alemão.
Novo!!: Teorema e David Hilbert · 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!!: Teorema e Definição · 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!!: Teorema e Euclides · Veja mais »
Grigori Perelman
Grigori Yakovlevich Perelman (Григорий Яковлевич; Перельман, transliteração Grigori Iakovlevič Perel'man; Leningrado) é um matemático russo, conhecido por ter apresentado uma demonstração da conjectura da Geometrização de Thurston, que tem como um caso particular a Conjectura de Poincaré, que era um dos sete maiores problemas da Matemática.
Novo!!: Teorema e Grigori Perelman · Veja mais »
Hipótese de Riemann
Em matemática, a hipótese de Riemann é uma conjectura de que a função zeta de Riemann tem os seus zeros somente nos números inteiros pares negativos e em números complexos com parte real.
Novo!!: Teorema e Hipótese de Riemann · Veja mais »
Inferência
Em Lógica, inferência ou ilação é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras.
Novo!!: Teorema e Inferência · 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!!: Teorema 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!!: Teorema 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!!: Teorema e Lógica matemática · Veja mais »
Lei
No direito, uma lei (do latim lex, legio, do verbo lego, legere, lectum, verbo "ler") é um documento escrito editado por uma autoridade competente e de acordo com um procedimento específico, e que veicula normas jurídicas.
Novo!!: Teorema e Lei · Veja mais »
Lema
Um lema, também chamado divisa, mote ou moto (do provençal e do francês mot: 'palavra, sentença breve', do latim vulgar mŭttum, no sentido de 'som'), é uma ideia expressa por uma frase que serve de guia ou de motivação para uma pessoa, grupo, seita, país ou nação.
Novo!!: Teorema e Lema · Veja mais »
Lema de Gauss
Na teoria de polinómios, o lema de Gauss, ou critério da irredutibilidade de Gauss, afirma que se D é um domínio de factorização única (DFU) e \mathbb é o seu corpo de quocientes (o corpo de fracções), então todo o polinómio primitivo p\in D é irredutível em D se, e só se o é em \mathbb.
Novo!!: Teorema e Lema de Gauss · 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!!: Teorema 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!!: Teorema e Matemática · Veja mais »
Método dedutivo
Método dedutivo o raciocínio dedutivo é a maneira de tirar inferências dedutivas.
Novo!!: Teorema e Método dedutivo · Veja mais »
Metamatemática
A metamatemática é um conceito formulado por Jacques Herbrand em 1930 e expandido por Tarski e Gödel.
Novo!!: Teorema e Metamatemática · Veja mais »
Noção primitiva
Em matemática, lógica, e sistemas formais, uma noção primitiva é um conceito indefinido.
Novo!!: Teorema e Noção primitiva · 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!!: Teorema 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!!: Teorema e Paradoxo · Veja mais »
Princípio
Princípio (do latim principiu) significa o início, fundamento ou essência de algum fenômeno.
Novo!!: Teorema e Princípio · Veja mais »
Probabilidade
A palavra probabilidade deriva do Latim probare (provar ou testar).
Novo!!: Teorema e Probabilidade · 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!!: Teorema e Programa de Hilbert · Veja mais »
Proposição
Proposição é um termo usado em lógica para descrever o conteúdo de asserções.
Novo!!: Teorema e Proposição · 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!!: Teorema e Prova matemática · Veja mais »
Subjetividade
Subjetividade é entendida como o espaço íntimo do indivíduo, ou seja, como ele "instala" a sua opinião ao que é dito (mundo interno) com o qual ele se relaciona com o mundo social (mundo externo), resultando tanto em marcas singulares na formação do indivíduo quanto na construção de crenças e valores compartilhados na dimensão cultural que vão constituir a experiência histórica e coletiva dos grupos e populações.
Novo!!: Teorema e Subjetividade · Veja mais »
Teorema central do limite
O teorema central do limite (ou teorema do limite central) é um importante resultado da estatística e a demonstração de muitos outros teoremas estatísticos dependem dele.
Novo!!: Teorema e Teorema central do limite · Veja mais »
Teorema das quatro cores
Abstração de um mapa com 4 cores usando grafos Mapa dos Estados Unidos desenhado com 4 cores; observe que até em estados que fazem fronteira com mais outros 3 estados não acabam coincidindo suas cores Em matemática, o teorema das quatro cores, ou teorema do mapa das quatro cores, afirma que não mais do que quatro cores são necessárias para colorir as regiões de qualquer mapa, de modo que duas regiões adjacentes não tenham a mesma cor.
Novo!!: Teorema e Teorema das quatro cores · Veja mais »
Teorema de Pitágoras
área do quadrado construído sobre a hipotenusa (''c''). Na matemática, o teorema de Pitágoras é uma relação matemática entre os comprimentos dos lados de qualquer triângulo retângulo.
Novo!!: Teorema e Teorema de Pitágoras · Veja mais »
Teorema de Tales
* Teorema de Tales (interseção) — sobre as proporções originadas pela interseção de um feixe de retas paralelas.
Novo!!: Teorema e Teorema de Tales · Veja mais »
Teorema fundamental da álgebra
Em matemática, o teorema fundamental da álgebra afirma que qualquer polinômio p(z) com coeficientes complexos de uma variável e de grau n \geq 1 possui alguma raiz complexa.
Novo!!: Teorema e Teorema fundamental da álgebra · Veja mais »
Teorema fundamental do cálculo
O teorema fundamental do cálculo é a base das duas operações centrais do cálculo, diferenciação e integração, que são considerados como inversos um do outro.
Novo!!: Teorema e Teorema fundamental do cálculo · Veja mais »
Teoremas da incompletude de Gödel
Os teoremas da incompletude de Gödel são dois teoremas da lógica matemática que estabelecem limitações inerentes a quase todos os sistemas axiomáticos, exceto aos mais triviais.
Novo!!: Teorema e Teoremas da incompletude de Gödel · 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!!: Teorema e Teoria · 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!!: Teorema e Teoria da prova · Veja mais »