Dowód, że każdy skończony ciąg liczb wymiernych da się zakodować jedną liczbą naturalną
|
vor 2 Jahren | |
---|---|---|
eksperymenty | vor 2 Jahren | |
README.md | vor 2 Jahren | |
ciag-q-do-n.v | vor 2 Jahren |
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).