SFC: a zfs.ko terjesztése sérti a GPL-t

Vicces dolog: "You'll never run out of space again". Olyan offseteket kéne tárolni, hogy akár egyetlen offsettel betelik a vinyó.

Közben rájöttem, hogyan lehet bizonyítani, hogy a pi 1 valószínűséggel tartalmaz akármilyen véges sorozatot. Vegyünk egy véges 01 sorozatot, és vegyük a [0,1] intervallum azon számait, amiknek a kettedes tört alakja nem tartalmazza a megadott sorozatot. Ez a halmaz nagyon hasonlít a Cantor halmazhoz: kontinuum számosságú, sehol sem sűrű, 0 mértékű (Lebesgue). Ezeket a tulajdonságokat hasonlóan lehet bizonyítani, mint a Cantor halmaznál. A lényeg most, hogy null mértékű, azaz, ha találomra választok egy számot, akkor az 1 valószínűséggel nincs a halmazban, vagyis a választott szám tartalmazza a sorozatot.
--
ulysses.co.hu

Vagyis a pi tartalmazza a világon lehetséges összes információt. Például azt is, hogy "mennyi monszunpótlékot kap egy házmester Indokínában, és miért mondogatják a flamingóföldi guzurmánok, hogy öreg csibésznek sötét a város" (Lem, Kiberiáda), ahogy Trurl és Klapanciusz másodfajú démona is előállított minden infót.
--
ulysses.co.hu

Az a baj, hogy te azt hiszed, hogy minden irracionális szám normális, de egy csomó nem is tartalmaz minden számjegyet. Ne ragadj le az irracionális számoknál, ez a legalapvetőbb, épp ezért legsemmitmondóbb fogalom a témában.
"Szerintem több olyan irracionális szám van, ami tartalmazza a zfs.ko -t (hiszen az irracionális számok halmaza nem megszámolható)"
Ez nem jelent semmit így önmagában. Ugyanis az irracionális számok részhalmazai a lényegek, nem maguk az irracionális számok. Attól, hogy az irracionálisak nem megszámolhatók, még nem mondtunk semmit az irracionális zfs.ko-t tartalmazó számokról.
Mint amikor azt mondanád, hogy mivel nem megszámolható a 0 és 1 közötti számok száma, ezért biztosan kell lenniük közte prímszámnak. Eközben meg nincs egy sem, hiába kontinuum számosságúak.
Attól, hogy egy halmaz kontinuum sok, még mindig nem mondtál az elemeinek a tulajdonságairól semmit.

Illetve a Pi nehezen "kvázi-véletlenszerű" (mit értesz ez alatt?), ugyanis eléggé jó képletek vannak arra, hogy a pi tetszőleges számjegyét megadják. A pi könnyen generálható algoritmussal. Mivel megszámlálhatóan sok algoritmus létezik csak, következik, hogy megszámlálhatóan sok olyan szám van, ami algoritmussal generálható. Sokkal több (kontinuum) számú olyan szám van, ami NEM generálható algoritmussal.
Nézz utána például a kiszámítható számok fogalmának.
https://en.wikipedia.org/wiki/Computable_number

Nem csak irracionális, hanem transzcendens. Majdnem minden szám irracionális, sőt majdnem mindegyik transzcendens, nem nehéz bebizonyítani ezt, hiszen csak megszámlálhatóan végtelen racionális szám van.
Szóval az, hogy irracionális valami, attól még nem lesz benne minden sorozat, ez sajnos nem igaz. Bizony kell hozzá az a feltétel, hogy minden számjegy ugyanakkora valószínűséggel legyen meg bennük, ekkor van esély arra, hogy MINDEN véges sorozat szerepel bennük.
Szinte mindegyik szám irracionális, ez "nem nagy kunszt".

Ha valami nem normális szám, akkor nem igaz az, hogy minden véges sorozat szerepel bennük, ezt eléggé könnyen be lehet látni. A pi lehet, hogy normális szám, nem tudjuk, hogy az-e. Sokan azt állítják, hogy az, de nincs rá bizonyíték. Azért valószínű ez, mert majdnem minden szám normális, mint ahogy majdnem minden szám irracionális, sőt, majdnem minden szám transzcendens.

Attól, hogy végtelen, de nem szakaszos, attól még nem igaz, hogy benne van a zfs.ko, egyáltalán nem.
Például tudok neked olyan számot mondani, ami végtelen, de nem szakaszos:
0.2357111317192329....és így tovább a prímek egymás után írva. Ez végtelen, nem szakaszos, de sehol nem lesz benne a zfs.ko.
Update: bocs, ez rossz példa volt. A jó példa a Liouville-konstans:
0.110100100010000100000 és így tovább, ebben biztosan nincs benne a zfs.ko, pedig irracionális.
Azért nem lesz benne, mert ebben csak 1 és 0 számjegyek vannak, azaz ez nem egy normális szám.
Ahhoz, hogy valamiben benne legyen minden véges hosszúságú sorozat, normálisnak kell lennie.

"az, hogy tudsz olyan végtelen sorozatot kreálni, amiben nincs benne, az még nem jelenti az, hogy a pi-ben nem lehet benne"

Valóban, de eddig pi-nek csak olyan tulajdonságait hallottam bizonyítékként erre a tartalmazásra amik önmagukban nem garantálják, hogy benne van.

"...handing C++ to the average programmer seems roughly comparable to handing a loaded .45 to a chimpanzee." -- Ted Ts'o

OFF

A 3 * 1/3 az természetesen 1, akárhogy is jelöljük. Volt erről pár hónapja egy topik.

Légyszíves világosíts fel, hogy hol írtam azt, hogy pi egy végtelen sorozat. Kösz.

Rajtad kívül mindenki felfogta, hogy miről van szó, (sőt egy hozzászólással korábban te is), de ha ez nem volt világos számodra, akkor hogyan értelmezted a "megkeresném a zfs.ko-t a pi-ben, és csak az offsetet és a hosszt disztributálnám" felvetést?

Miiii, egy véges sorozatot keres egy végtelen törtben??????!!!!

"...handing C++ to the average programmer seems roughly comparable to handing a loaded .45 to a chimpanzee." -- Ted Ts'o