Dowód, że każdy skończony ciąg liczb wymiernych da się zakodować jedną liczbą naturalną
Wojciech Karpiel 32f9a36675 eksperymenty do osobnego folderu, żeby nie zawadzały | 2 years ago | |
---|---|---|
eksperymenty | 2 years ago | |
README.md | 2 years ago | |
ciag-q-do-n.v | 2 years ago |
Dowód, że każdy skończony ciąg liczb wymiernych można zakodować jedną liczbą naturalną
W nawiasie podano wersje, które na pewno działają:
Udowdnić, że istnieje bijekcja między skończonymi ciągami liczb wymiernych a liczbami naturalnymi (wzmocnienie obecnego wyniku, który mówi tylko o funkcji różnowartościowej z [Q] w N).