Metadata
Author: WikiMatrix
Data
English[en]
This is a very curious result, because Alonzo Church proved in 1936 that Peano arithmetic (the theory of natural numbers) is not decidable.
Dutch[nl]
Dit is een zeer merkwaardig resultaat, omdat Alonzo Church in 1936 bewees dat de Peano-rekenkunde (de theorie van de natuurlijk getallen) niet beslisbaar is.