Todas las entradas etiquetadas como "La completitud del cálculo de predicados de primer orden"

Kurt Gödel

Biografía de Kurt Gödel Kurt Gödel (28 de abril de 1906- 14 de enero de 1978) Nació en Brünn, Imperio austrohúngaro, hoy República Checa. Lógico y...