| |
| | Computability, Self-Reference, and Self-Amendment |
 | | So long, we have been moving in the abstract domain, discussing computer programs and their ability (or inability) to express self- reference and self-modifications, and we discussed very general causal mechanisms that acted on essentially undefined primitives. |
 | | Lòfgren [1968] has shown that the axiom of complete self-reference is independent from set theory and logic, and can therefore be added to it as a new primitive. |
 | | Constructivism was initiated by mathematicians, like Kronecker and, above all, Brouwer, who felt uncomfortable with indirect proofs and implicit definitions, and in general with anything that was not directly accessible or tangible within mathematics. |
| informatics.indiana.edu /rocha/kampis.html (6994 words) |
|