︎
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.