The natural numbers are isomorphic to the product of the natural numbers with itself.
N = N*NModulelens-5.3.6Haskell2010
Numeric.Natural.Lens
Useful tools for Gödel numbering.
- Packagelens-5.3.6
- Exports6
- LanguageHaskell2010
- LicenceBSD-2-Clause
- SourceLens.hs
The natural numbers are isomorphic to disjoint sums of natural numbers embedded as evens or odds.
N = 2*NThe natural numbers are isomorphic to lists of natural numbers
interleaves the bits of two natural numbers
Sum (Left q) = 2*q
Sum (Right q) = 2*q+1
Naturals [] = 0
Naturals (h:t) = 1 + Pair h (Naturals t)