Mathematische Maschinen erzeugen Gleichungen, welche Gleichungen lösen und Gleichungen zum Lösen und Erzeugen von Gleichungen erzeugen.