Peano-Arithmetik/Goldbach-Vermutung/Entscheidbar/Aufgabe
Erscheinungsbild
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.