Rabin style speed-up of proofs, Fachbücher von Anahit Chubaryan

Das Buch "Rabin style speed-up of proofs" von Anahit Chubaryan behandelt das Phänomen der Geschwindigkeitssteigerung in der quantitativen Untersuchung von Beweisen. Es wird untersucht, wie verschiedene Systeme im Hinblick auf die Länge ihrer Beweise verglichen werden können, wobei Gödel als Pionier in der Betrachtung von Beweis-Schritten in arithmetischen Systemen gilt. Das Werk führt das Konzept der Beweis-Komplexität ein, das analog zur Berechnungskomplexität von Blum ist, und formuliert Bedingungen, die für Paare von Theorien erforderlich sind, um eine verallgemeinerte Geschwindigkeitssteigerung zu ermöglichen. Es werden zahlreiche Systeme betrachtet, die diese Bedingungen erfüllen, sowie eine konstruktive Beschreibung von schwer beweisbaren Formeln für bestimmte Systempaare gegeben.