- #1
opus
Gold Member
- 717
- 131
I'm reading a book called Godel, Escher, Bach, and the author is talking about formal systems, in particular, primes and composite numbers. He goes on to mention that "There exist recursively enumerable sets which are not recursive".
I don't understand the term "enumerable" though. The definition I found was "able to be counted by one-to-one correspondence with the set of all positive integers." But I don't get this either. Does it mean you can just count something consecutively?
To give context, the author is posing the question on whether or not there is a way to define prime numbers independently, without the use of composite numbers (I think).
I don't understand the term "enumerable" though. The definition I found was "able to be counted by one-to-one correspondence with the set of all positive integers." But I don't get this either. Does it mean you can just count something consecutively?
To give context, the author is posing the question on whether or not there is a way to define prime numbers independently, without the use of composite numbers (I think).