5 vzťahy: David Hilbert, Formálny systém, Kalkul, Matematika, Metateória.
David Hilbert
David Hilbert (* 23. január 1862, Welau pri Königsbergu (dnes Znamensk pri Kaliningrade) – † 14. február 1943, Göttingen) bol nemecký matematik.
Nový!!: Metamatematika a David Hilbert · Pozrieť viac »
Formálny systém
Formálny systém je reprezentácia axiomatickej teórie v podobe kalkulu.
Nový!!: Metamatematika a Formálny systém · Pozrieť viac »
Kalkul
Kalkul môže byť.
Nový!!: Metamatematika a Kalkul · Pozrieť viac »
Matematika
Matematika (z gr. μαθηματικός (mathematikós).
Nový!!: Metamatematika a Matematika · Pozrieť viac »
Metateória
Metateória je teória, ktorá skúma štruktúry a metódy nejakej inej teórie.
Nový!!: Metamatematika a Metateória · Pozrieť viac »