Математичка логика: Разлика помеѓу преработките
[непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
с Бот Брише: chr:Mathematical logic |
с Бот менува: сеуште -> сѐ уште |
||
Ред 3:
Заедничка тема во математичката логика е изучувањето на експресивната моќ на формалната [[логика]] и формалните [[доказ (математика)|доказни]] системи. Оваа моќ се мери по тоа што овие [[формален систем|формални системи]] можат да докажат и по тоа што можат да дефинираат.
Претходно математичката логика се нарекувала '''симболичка логика''' (наспроти [[философска логика]]) и '''[[метаматематика]]'''. Првоаведениот термин
==Историја==
|