Metamatematika : A matematika alapjai, Matematikafilozófia, Új matematikai tudományág, Fontosabb nevek Wikipédia, a szabad enciklopédia

Metamatematika

Ez a szócikk nem tünteti fel a független forrásokat, amelyeket felhasználtak a készítése során. Emiatt nem tudjuk közvetlenül ellenőrizni, hogy a szócikkben szereplő állítások helytállóak-e. Segíts megbízható forrásokat találni az állításokhoz! Lásd még: A Wikipédia nem az első közlés helye.

A metamatematika a modern (19. század utáni) matematikai, matematikafilozófiai, illetve filozófiai publikációkban különféle, egymással rokonságban lévő, de nem mindenhol ugyanabban az értelemben használt kifejezés és fogalom.

A matematika alapjai

Kezdetben általában azon, ma már a matematika ágainak számító tudományok – „foundations of mathematics”: halmazelmélet, matematikai logika, számítógéptudomány ill. ezek kezdeményei – összefoglaló neveként használták e kifejezést, melyek segítségével a legújabb korban, az ún. a szigorúság forradalma nevű matematikai korszakban a matematikát sikerült egységesíteni és megalapozni, az alapvetőbb fogalmakat a fenti tudományágak fogalmaira vezetve vissza. Ruzsa Imre magyar filozófus még használja ilyen értelemben e szót.

Matematikafilozófia

Előfordulhat, hogy „metamatematikán” egyszerűen a matematikafilozófiát értik: a matematika által felvetett filozófiai kérdések vizsgálatát.

Új matematikai tudományág

Újabban megfigyelhetőek kísérletek a metamatematika értelmének rögzítésére, mégpedig úgy, hogy a „metamatematika” kifejezés értelmét, a fenti tudományágak és a matematika egy speciális határterületeként határozzuk meg. Ezek szerint a metamatematika a matematikafilozófia ama területe, mely a matematika-filozófiai problémákat matematikai módszerek segítségével vizsgálja (Csaba Ferenc (szerk.): A matematikafilozófia a 21. szd. küszöbén). A definíció szerint (a fenti mondat második tagmondata alapján) ez a tudományág a matematikának is része.