Etusivu Tutki Apua
Kirjaudu sisään
WojciechKarpiel
/
ciag-Q-do-N
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki

Dowód, że każdy skończony ciąg liczb wymiernych da się zakodować jedną liczbą naturalną

Branch: master
Branchit Tagit
ciag-Q-do-N
ZIP TAR.GZ
Wojciech Karpiel 32f9a36675 eksperymenty do osobnego folderu, żeby nie zawadzały 2 vuotta sitten
eksperymenty 32f9a36675 eksperymenty do osobnego folderu, żeby nie zawadzały 2 vuotta sitten
README.md fdc52f7a22 Posprzątane trochę 2 vuotta sitten
ciag-q-do-n.v fdc52f7a22 Posprzątane trochę 2 vuotta sitten

README.md

[ℚ] ≅ ℕ

Dowód, że każdy skończony ciąg liczb wymiernych można zakodować jedną liczbą naturalną

Zależności

W nawiasie podano wersje, które na pewno działają:

Do zrobienia

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).