Maschinentheorien, Theoriemaschinen - Herrmann, Hans-Christian von; Velminski, Wladimir (Lang, 2012)