Gerhard Gentzen has been described as logic's lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen's enduring legacy to mathematical logic and...

"Grenzen der KI – theoretisch, praktisch, ethisch" von Reinhard Kahle ist ein umfassendes Werk, das sich mit den verschiedenen Aspekten der Künstlichen Intelligenz (KI) auseinandersetzt. Das Buch untersucht die theoretischen Grundlagen...