Proof by Mechanization: Cubic Diophantine Equation Satisfiability is -Complete
Die Arbeit beweist mechanisiert, dass die Erfüllbarkeit einer einzelnen diophantischen Gleichung mit einem Gesamtgrad von höchstens 3 über den natürlichen Zahlen -vollständig und damit unentscheidbar ist, indem sie einen primitiv-rekursiven Compiler bereitstellt, der arithmetische Aussagen in solche kubischen Gleichungssysteme übersetzt.