Kodowanie Goedla?

Piszê tutaj, bo nie ma w polskim Usenecie grupy dyskusyjnej
po¶wiêconej informatyce teoretycznej.

Czy kto¶ zetkn±³ siê z algorytmami kompresji danych, które by³yby
oparte na odkrytym przez Kurta Goedla sposobie kodowania, opartym na
fundamentalnym twierdzeniu arytmetyki?  Chodzi o kodowanie, w którym
kolejnym termom jêzyka przyporz±dkowuje siê kolejne liczby naturalne
(skoñczona funkcja numeruj±ca), a kodowanie polega na wyznaczeniu
iloczynu kolejnych liczb pierwszych, podniesionych do potêgi równej
numerowi przyporz±dowanemu dla kodowanego termu.

-- 
http://www.piotr.dembiñski.prv.pl