Logo
Úniapédia
Komunikácia
Teraz na Google Play
Nový! Na stiahnutie Úniapédia na Android ™!
Zadarmo
Rýchlejšie ako prehliadači!
 

Metamatematika

Index Metamatematika

Metamatematika je metateória matematiky; študuje vlastnosti formálnych systémov a kalkulov, ako bezrozpornosť, úplnosť a i. Termín metamatematika zaviedol David Hilbert v súvislosti so svojou koncepciou základov matematiky.

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 »

VychádzajúcePrichádzajúce
Hej! Sme na Facebooku teraz! »