April 25, 2011 6:44 AM Subscribe
"This is a somewhat odd venture: a translation of Wittgenstein's Tractatus into the domain of software development." Wait, not so crazy, Harrison Ainsworth explains, "Central in the Tractatus is the concept of the ‘proposition’: a statement about the world that can be true or false. It is a logical artifact used to describe the world (and so links logic and world together). This maps straightforwardly to software: a proposition becomes a program. Where a proposition describes the world, a program constructs the imagination, or intended-world – an artifact. A program is like an executable proposition."
This thread has been archived and is closed to new comments