Artículos por etiqueta: logic

Teorema de Gödel: Incompletitud de Sistemas Formales

Análisis de los teoremas de incompletitud de Gödel con numeración y PM-Lisp. Por qué es imposible formalizar toda la matemática. Para desarrolladores y matemáticos.