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

Metamatemática

Índice Metamatemática

A metamatemática é um conceito formulado por Jacques Herbrand em 1930 e expandido por Tarski e Gödel.

9 relações: Alfred Tarski, Axioma, Completude, Interpolação, Jacques Herbrand, Kurt Gödel, Matemática, Método dedutivo, Regra de inferência.

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!!: Metamatemática e Alfred Tarski · 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!!: Metamatemática e Axioma · Veja mais »

Completude

* Completude (lógica), princípio que diz que toda sentença lógica pode ser demonstrada como verdadeira ou como falsa, ou mesmo como verdadeira e falsa;.

Novo!!: Metamatemática e Completude · Veja mais »

Interpolação

Interpolação é o método de aproximar os valores dos conjuntos discretos.

Novo!!: Metamatemática e Interpolação · Veja mais »

Jacques Herbrand

Jacques Herbrand (Paris, — Oisans) foi um matemático francês.

Novo!!: Metamatemática e Jacques Herbrand · 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!!: Metamatemática e Kurt Gödel · 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!!: Metamatemática e Matemática · Veja mais »

Método dedutivo

Método dedutivo o raciocínio dedutivo é a maneira de tirar inferências dedutivas.

Novo!!: Metamatemática e Método dedutivo · 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!!: Metamatemática e Regra de inferência · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »