A TheoDef szabadon szerkeszthető matematikai könyvtár, szabad licencű (CC-BY-SA 4.0) tartalommal. Matematikai tételeket, definíciókat, axiómákat gyűjt, a lapok címének meghatározására Gödel-számozást használ: minden szimbólumot egy számmal helyettesít, és összefűzi a kapott számokat. A Gödel-számozás előnye, hogy a következő számítás eredményeképpen kapjuk tetszőleges l hoszzú x Gödel-számból az első n szimbólum, ha minden szimbólum kétjegyű: round ((x/10^(l-n))-1/2)*10^(l-n). Hátránya, hogy nehezen érthető. A TheoDef, a legtöbb hasonló rendszerrel ellentétben, nem használ adatbázist, XML-ben vagy HTML-ben tárolja az adatokat. Nem mondom, hogy ez annyira jó. A kód szintén CC-BY-SA 4.0 licenc szerint használható fel, kivéve a Stack Overflow-ból vett kódrészleteket, amik CC-BY-SA 3.0 alatt.
A lapokat, mint fentebb említettem, regisztrációval bárki szerkesztheti. Itt lehet bejelentkezni/regisztrálni (legalábbis itt kell elkezdeni). HTML-ismeret nem árt, elvégre HTML-lel kell formázni a tételeket.
Bármely formálisan felírható tételt szívesen veszünk. Ha nincs időd vagy energiád megadni a Gödel-számot, itt kérheted a címadást, addig is hozd létre valami ideiglenes címen, amiről lerí, hogy nem megfelelő. Egyelőre csak FTP-hozzáféréssel lehet cikket átnevezni, de majd figyelek, amíg ezen nem javítok.
Hári Zalán, 2023. július 1., 04:??–04:59, 16:??–16:39