1
Machbarkeit von Gödel-Maschinen
Kürzlich bin ich auf ein interessantes theoretisches Konstrukt gestoßen. Eine sogenannte Gödel-Maschine Es ist ein allgemeiner Problemlöser, der sich selbst optimieren kann. Es ist für reaktive Umgebungen geeignet. Soweit ich weiß, kann es als Programm für universelle Turing-Maschinen implementiert werden, obwohl die Anforderungen weit über die derzeit verfügbare Hardware hinausgehen. …