A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf
.
A Note on Interaction and Incompleteness
2003
Logic Journal of the IGPL
The notion of interaction and interaction machines, developed by Peter Wegner, includes the comparison between incompleteness of interaction machines and Gödel incompleteness. However, this comparison is not adequate, because it combines different notions and different sources of incompleteness. In particular, it merges syntactic with two senses of semantic completeness, and results about truth (Tarski) with results about provability and their consequences (Gödel). The comparison also overlooks
doi:10.1093/jigpal/11.5.513
fatcat:4f4mrktdi5gojp3bthlktjfifa