Ocena brak

METAMATEMATYKA

Autor /bolo007 Dodano /09.11.2012

 

METAMATEMATYKA <gr. meta = poza + mathematike [sc. episteme] = wiedza matematyczna) ang. metamathematics; fr. la (les) metamathematique{s); nm. Metamathematik

  1. metod. Badania nad podstawami ma­tematyki, w szczególności badania zwią­zane z tzw. programem Hilberta, mające na celu przeprowadzenie dowodu niesprzeczności arytmetyki; inaczej: teoria dowodu.

  2. metod. Dedukcyjna teoria wszelkich systemów formalnych, zajmująca się ich analizą w języku matematycznym.

Podobne prace

Do góry