14 kontakty: Aksjomat, Alfred Tarski, David Hilbert, Kurt Gödel, Logika matematyczna, Matematyka, Niesprzeczność, Podstawy matematyki, Rozstrzygalność, Struktura matematyczna, Teoria dowodu, Teoria mnogości, Teoria modeli, Teoria rekursji.
Aksjomat
Aksjomat, postulat, pewnik (gr. axíōma, godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej.
Nowy!!: Metamatematyka i Aksjomat · Zobacz więcej »
Alfred Tarski
Alfred Tarski, dawniej Alfred Tajtelbaum (ur. 14 stycznia 1901 w Warszawie, zm. 26 października 1983 w Berkeley w stanie Kalifornia) – polski logik, członek Szkoły Lwowsko-Warszawskiej.
Nowy!!: Metamatematyka i Alfred Tarski · Zobacz więcej »
David Hilbert
problemów Hilberta w tle. David Hilbert (ur. 23 stycznia 1862 w Królewcu (Prusy Wschodnie), zm. 14 lutego 1943 w Getyndze) – niemiecki matematyk.
Nowy!!: Metamatematyka i David Hilbert · Zobacz więcej »
Kurt Gödel
Kurt Gödel (wym. niem., ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacko-amerykański naukowiec: matematyk, fizyk teoretyk i filozof, specjalizujący się w logice matematycznej i teorii mnogości, zajmujący się również teoriąwzględności i filozofiąmatematyki.
Nowy!!: Metamatematyka i Kurt Gödel · Zobacz więcej »
Logika matematyczna
Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki.
Nowy!!: Metamatematyka i Logika matematyczna · Zobacz więcej »
Matematyka
Rafaela Santiego (XVI wiek); cyrkiel trzyma Euklides, grecki matematyk z III wieku p.n.e. Uniwersytetu Oksfordzkiego; na ziemi znajduje się parkietaż Penrose’a opisany po raz pierwszy przez jednego z pracowników tej placówki. Matematyka (z łac. mathematicus, od gr. μαθηματικός mathēmatikós, od μαθηματ-, μαθημα mathēmat-, mathēma, „nauka, lekcja, poznanie”, od μανθάνειν manthánein, „uczyć się, dowiedzieć”; prawd. spokr. z goc. mundon, „baczyć, uważać”) – nauka zaliczana do grupy formalnych, inaczej dedukcyjnych lub apriorycznych, a także do nauk ścisłych i definiująca tę grupę – matematyka stanowi ich fundament.
Nowy!!: Metamatematyka i Matematyka · Zobacz więcej »
Niesprzeczność
Niesprzeczność – brak sprzeczności teorii logicznej.
Nowy!!: Metamatematyka i Niesprzeczność · Zobacz więcej »
Podstawy matematyki
Podstawy matematyki – dział matematyki wyższej będący fundamentem wszystkich innych dyscyplin; obejmuje zwłaszcza.
Nowy!!: Metamatematyka i Podstawy matematyki · Zobacz więcej »
Rozstrzygalność
Rozstrzygalność (decydowalność) problemu matematycznego to następująca jego właściwość: istnieje algorytm, który oblicza odpowiedź na dowolne pytanie stawiane przez problem.
Nowy!!: Metamatematyka i Rozstrzygalność · Zobacz więcej »
Struktura matematyczna
Struktura matematyczna – pojęcie fundamentalne dla matematyki, definiowane jednak w rozmaity sposób, zależnie od teorii i kontekstu.
Nowy!!: Metamatematyka i Struktura matematyczna · Zobacz więcej »
Teoria dowodu
Teoria dowodu – dział logiki matematycznej zajmujący się analiząpojęcia dowodu oraz możliwych sposobów używania go w rozważaniach matematycznych.
Nowy!!: Metamatematyka i Teoria dowodu · Zobacz więcej »
Teoria mnogości
zbiorów. Teoria mnogości, teoria zbiorów – dział matematyki zaliczany do jej działów podstawowych (fundamentalnych); bada on zbiory, zwłaszcza te nieskończone, a także ich uogólnienia jak klasy.
Nowy!!: Metamatematyka i Teoria mnogości · Zobacz więcej »
Teoria modeli
Teoria modeli (nazywana też '''semantykąlogiczną''') – dział logiki matematycznej zajmujący się badaniem własności modeli teorii aksjomatycznych i zależności między nimi.
Nowy!!: Metamatematyka i Teoria modeli · Zobacz więcej »
Teoria rekursji
Teoria rekursji – dział logiki matematycznej, którego początki sięgająlat trzydziestych XX wieku.
Nowy!!: Metamatematyka i Teoria rekursji · Zobacz więcej »