Tanke, sprog og maskine : en teoretisk analyse af computerens symbolske egenskaber