Metamatemática
O tema Metamatemática tem sido de grande interesse e debate na sociedade contemporânea. Desde as suas origens até aos dias de hoje, Metamatemática tem desempenhado um papel fundamental em vários aspectos da vida, influenciando a cultura, a economia, a política e as relações interpessoais. Ao longo do tempo, Metamatemática evoluiu e adaptou-se às mudanças e desafios do mundo moderno, criando novas oportunidades e desafios para indivíduos e comunidades. Neste artigo, exploraremos a importância e o impacto de Metamatemática no nosso mundo hoje, analisando as suas implicações e possíveis perspectivas futuras.
 |
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.
Referências
- ↑ 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")