Proof: something that humans need to prove a derivation.
could propositional calculus be the pure rules of logic?
The rules are what makes a system work. If it weren't for the rules, we wouldn't have a system.
Rules can be seen as something isomorphic.
Although rules don't have to be isomorphic to reality.
Aleatory: outside the system.
A complete system should respond to everything. It should be universal. According to Gödel this doesn't exits.
No hay comentarios:
Publicar un comentario