“Tanke, sprog og maskine” er en analyse af computerens symbolske egenskaber. Bogen tager udgangspunkt i de teorihistoriske forudsætninger for den moderne computer – Ludwig Boltzmanns finitte rum og “manglende information”, Alan Turings “universelle comp