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ż
| Akt oskarżenia ws. korupcji na przejściu |
|
O wręczanie łapówek funkcjonariuszom celnym z przejścia granicznego w Medyce (Podkarpackie) oskarżonych zostało 12 osób. Akt oskarżenia w tej sprawie Prokuratura Okręgowa w Przemyślu skierowała do miejscowego sądu rejonowego.
|
| Drugi wyrok śmierci dla "Chemicznego Alego" |
|
Iracki sąd wydał drugi wyrok śmierci na Alego Hasana al-Madżida za stłumienie powstania szyitów po wojnie w Zatoce Perskiej w 1991 roku.
|
| Pikieta tzw. mrówek w Medyce |
|
Przejście graniczne z Ukrainą w Medyce (Podkarpackie) pikietuje we wtorek kilkadziesiąt osób, tzw. mrówek. Protest nie blokuje jednak ruchu przez granicę. To wyraz sprzeciwu wobec zmianom przepisów celnych.
|
| Policja zlikwidowała dużą leśną bimbrownię |
|
49-letni mężczyzna testował w lesie koło Gródka w Podlaskiem nową linię do nielegalnej produkcji alkoholu, nazwaną przez policjantów "kombajnem". W bimbrowni było 2,4 tys. litrów zacieru i 250 litrów gotowego alkoholu.
|
| Świętokrzyskie: Osiedle ogrzewane energią naturalną |
|
W Woli Kopcowej koło Kielc powstało pierwsze w woj. świętokrzyskim osiedle domków jednorodzinnych, do ogrzewania których wykorzystano naturalne źródła energii.
|