︎ Greg Michaelson

Greg Michaelson is a Computer Scientist, who has published widely on the design, implementation and analysis of programming languages, and, most recently, on how people solve problems to write programs. With others, principally Paul Cockshott and Allin Cottrell, he has explored the concrete modelling of actually existing economies in value categories, and the implications of the formal limits of computability theory. Now Emeritus Professor at Heriot Watt University, he is currently investigating why Marxists turned their backs on formal logic, and hence computability, until well after the Second World War, and the construction of popular ideas about prehistory. Greg is interested in how things aren’t and how they might be. He likes to write fiction, play the mouth organ, and stand on picket lines, though not usually all at the same time.