Математичка логика: Разлика помеѓу преработките

[проверена преработка][проверена преработка]
Избришана содржина Додадена содржина
clean up, replaced: Листа на → Список на (4) using AWB
→‎Историја: clean up, replaced: листа на → список на using AWB
Ред 17:
Би било збунувачки да се каже дека основните полемики во периодот 1900–1925 се решиле сите до една; но [[филозофија на математиката|филозофијата на математиката]] била мошне разјаснета со оваа „нова“ логика.
Додека грчкиот развој во логиката (видете [[листасписок на теми во логиката]]) остро ги нагласувал ''формите на аргументи'', ставот на моменталната математичка логика може накратко да се опише како ''комбинаторичко изучување на содржина''.
Тука спаѓаат како ''синтаксичките'' (на пример праќање на низа [[формален јазик]] на [[компајлер|компилаторска]] програма да го напише како секвенца инструкции за машината), така и ''семантичките'' (конструирање на конкретни модели или цели множества од нив, во [[теорија на моделите|теоријата на моделите]]).
Ова изучување на математиката однадвор се нарекува [[метаматематика]].