FOUR PIECES ON ERROR‚TRUTH AND REALITY

Abstract

This monograph consists of four papers on social and philosophical aspects of computing. The first, third and fourth were written for the book Software Development and Reality Construction, which grew out of an interdisciplinary conference held in Scholb Eringerfeld, Germany, in September of 1988. The second was written as a position paper for the conference Formal Methods 89, which was held in Halifax, Nova Scotia in July of 1989.