iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://pt.wikipedia.org/wiki/Metamatemática
Metamatemática – Wikipédia, a enciclopédia livre Saltar para o conteúdo

Metamatemática

Origem: Wikipédia, a enciclopédia livre.

A metamatemática é um conceito formulado por Jacques Herbrand em 1930 e expandido por Tarski e Gödel.[1] Cuida do esclarecimento rigoroso, através de recurso à própria matemática, de conceitos como o de axioma, regra de inferência e demonstração formal ou dedução, de completude e de interpolação.

Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.

Referências

[editar | editar código-fonte]
  1. ↑ https://phys.org/news/2014-06-kurt-godel-statements-results-shook.amp "Kurt Gödel found ways to study such statements using the tools of modern logic, which made him one the founders of metamathematics" ("Kurt Gödel descobriu modos de estudar tais declarações usando instrumentos de lógica moderna, o que o fiz um dos fundadores da metamatemática")
Obtida de "https://pt.wikipedia.org/w/index.php?title=Metamatemática&oldid=62269974"