Peano-Arithmetik/Goldbach-Vermutung/Entscheidbar/Aufgabe
Entwerfe ein -Entscheidungsverfahren dafür, ob die Goldbach-Vermutung aus der erststufigen Peano-Arithmetik
ableitbar ist.Entwerfe ein -Entscheidungsverfahren dafür, ob die Goldbach-Vermutung aus der erststufigen Peano-Arithmetik
ableitbar ist.