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.
  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")