Metamatematyka

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

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.

Historycznie[edytuj | edytuj kod]

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:

Logicznymi aspektami metamatematyki zajmuje się obecnie logika matematyczna.

Zobacz też[edytuj | edytuj kod]