goedel numbering
- From: Roberto <Roberto@xxxxxxxxxx>
- Date: Sat, 22 Sep 2007 11:53:56 +0200
suppose we have a function enc that encodes wathever string into a natural number. I am not able to find a surjective function enc:string -> N. I have just found for Goedel Number on wikipedia but the function I was able to find out were not surjective. For having a surjective function we should be able to decide if a string is valid or no. If the string is memeber of a decidable language this is possible, but hotherwise how we can do?
Thanks
.
- Follow-Ups:
- Re: goedel numbering
- From: Mark Nudelman
- Re: goedel numbering
- Prev by Date: Who can help me? Thank you! My Assignment about Dempster-Shafer
- Next by Date: Re: fourier space
- Previous by thread: Who can help me? Thank you! My Assignment about Dempster-Shafer
- Next by thread: Re: goedel numbering
- Index(es):