El metodo de las ciencias formales
Corrección: Todos los teoremas demostrables sean leyes validas del campo que se trata de formalizar.
-La corrección de un calculo implica su consistencia.
-No existirá ninguna contradicción.
Completitud: Todas las leyes validas sean demostrables en el calculo formal.
-La corrección de un calculo implica su consistencia.
-No existirá ninguna contradicción.
Completitud: Todas las leyes validas sean demostrables en el calculo formal.
Comentarios
Publicar un comentario