Metamatematyka
Z Wikipedii, wolnej encyklopedii
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.
