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ż
-
Ponieważ treść tego artykułu ma formę zaledwie zalążkową, pomóż nam ją rozbudować, o ile dysponujesz odpowiednimi źródłami.
Prosimy, zapoznaj siÄ™ najpierw z zasadami oraz zaleceniami edytowania Wikipedii.
| Supersmukła piękność |
|
Firma Panasonic wzbogaciła swą ofertę o nowy telewizor LCD.
|
| Chińskie supermaszyny |
|
W dziedzinie superkomputerów Chiny gonią świat.
|
| Wkrótce nowy przerażający podstęp spamerów |
|
Specjaliści ostrzegają przed nową kampanią spamową – internauci otrzymują listy elektroniczne zawierające informacje o porwaniu dziecka.
|
| Komputery czułe na dotyk |
|
Firma NEC wprowadziła ciekawe modele komputerów PC, które obsługuje się za pomocą dotykowego ekranu.
|
| Król spamu zabił swoją rodzinę |
|
Jeśli ktoś w Polsce ma wątpliwości, czy spamowanie jest przestępstwem...
|