Algebraic Complexity Theory, Fachbücher von Peter Bürgisser, Michael Clausen, Mohammad A. Shokrollahi

"Algebraic Complexity Theory" ist ein Fachbuch, das sich mit den algorithmischen Lösungen von Problemen in der Mathematik beschäftigt. Es beleuchtet die Entwicklung und Formalisierung von Konzepten der Berechenbarkeit und Algorithmen, die im 20. Jahrhundert durch metamathematische Fragestellungen angestossen wurden. Die Autoren Peter Bürgisser, Michael Clausen und Mohammad A. Shokrollahi präsentieren eine umfassende Analyse der verschiedenen Ansätze, die in den 1930er Jahren entwickelt wurden, darunter Turing-Maschinen und rekursive Funktionen. Diese Konzepte sind nicht nur theoretisch von Bedeutung, sondern haben auch die Entwicklung der ersten Computer und Programmiersprachen massgeblich beeinflusst. Das Buch behandelt auch die Herausforderungen, die sich bei der Suche nach effizienten Lösungen für algorithmisch lösbare Probleme ergeben, und diskutiert die Unterschiede in der Lösbarkeit und Effizienz verschiedener Probleme. Es ist ein unverzichtbares Werk für alle, die sich mit der Theorie der Algorithmen und der Komplexität in der Mathematik auseinandersetzen.