Metamatematyka lub meta-matematyka – matematyka zastosowana do badania matematyki. Bardziej ogólnie to refleksja o matematyce widzianej jako pewien abstrakcyjny obiekt i produkt ludzkiego umysłu.

edytuj Historycznie

Wyodrębniła się na przełomie XIX i XX wieku jako dział badań nad podstawami matematyki. Zajmowała się analizą budowy i własności teorii matematycznych (np. niesprzeczność, rozstrzygalność, modele, interpretacje jednej teorii w drugiej).

Jej główne tradycyjne gałęzie to:

• aksjomatyczna teoria mnogości
• teoria dowodu
• teoria modeli
• teoria rekursji

Logicznymi aspektami metamatematyki zajmuje się obecnie logika matematyczna.

edytuj Zobacz też

• Alfred Tarski
• Kurt Gödel