Als «proof-complexity» getaggte Fragen

Aussagenbeweissysteme und entsprechende begrenzte arithmetische Theorien

10
Beweise in

In einem Vortrag von Razborov wird eine merkwürdige kleine Aussage veröffentlicht. Wenn FACTORING schwierig ist, ist Fermats kleiner Satz in nicht beweisbar .S12S21S_{2}^{1} Was ist und warum sind aktuelle Beweise nicht in ? S 1