Metamatematyka
Z Wikipedii
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ż
| Indie: "Drobny incydent" na lotnisku w Delhi |
|
Według indyjskiej policji na międzynarodowym lotnisku Indiry Gandhi w Delhi był to "drobny incydent", w którym nikt nie zginął.
|
| Statek ze 122 pasażerami uległ uszkodzeniu |
|
Pływający po Antarktyce statek pasażerski "Ushuaia" ze 122 pasażerami i członkami załogi na pokładzie uległ uszkodzeniu - ma przeciek paliwa i nabiera wody - poinformowały władze morskie Argentyny.
|
| Juszczenko obiecuje Europie rosyjski gaz |
|
Prezydent Ukrainy Wiktor Juszczenko zapewnił w wywiadzie dla AFP, że jego kraj zapłaci za import rosyjskiego gazu, i zagwarantował "bezpieczeństwo" tranzytu tego surowca do Europy.
|
| "Prezydent pochopnie chce jechać na szczyt UE" |
|
Minister spraw zagranicznych Radosław Sikorski podkreślił, że tematyka przyszłotygoniowego posiedzenia Rady Europejskiej w Brukseli jest "wybitnie rządową", dlatego - jak ocenił - prezydent "pochopnie chce jechać" na ten szczyt.
|
| Bazy w Abchazji i Osetii Płd. gotowe na odparcie Gruzinów |
|
Rosyjskie bazy w Abchazji i Osetii Południowej są gotowe na odparcie każdego ataku ze strony Gruzji - oświadczył zastępca szefa Sztabu Generalnego sił zbrojnych Rosji generał Anatolij Nogowicyn w rozmowie z agencją ITAR-TASS.
|