metamatematyka 1
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
PolskiDefinicja
nauka zajmująca się rygorystycznym badaniem podstaw matematyki i pewnych aspektów logiki matematycznej z użyciem zaawansowanych środków samej matematyki.
Przykłady
- 1.Heller żywi nadzieję, że dalszy rozwój metamatematyki pozwoli przekroczyć pewne ograniczenia twierdzeń Gödla – np. rozważając systemy z nieskończoną liczbą aksjomatów lub przesłanek, wnioskowania cykliczne albo aksjomaty zmienne, obejmując przez to szersze obszary pola racjonalności.
- 2.W powstaniu metamatematyki, która wyodrębniła się jako dział badań nad podstawami matematyki, kluczową rolę odegrali David Hilbert, Kurt Gödel i Alfred Tarski.
- 3.Do zagadnień metamatematyki należy m.in. analizowanie takich własności teorii aksjomatycznych, jak niesprzeczność, rozstrzygalność, modele, interpretacje jednej teorii w drugiej.
