Po przerwach.

Parę skomplikowanych tygodni mam nadzieję za mną. Dużo jeżdżenia, świętowania - mało czasu na czytanie a jeszcze mniej na myślenie. Zacząłem się zastanawiać na założeniem innego bloga, poświęconego stricte polityce o której na tym piszę bardzo rzadko (z resztą w ogóle rzadko piszę...). Dyskusje na ten temat na rozmaitych forach zajmują niemało mojego czasu i może forma "blogowa" byłaby lepsza ze względu na pewien porządek, który w pisaninę wprowadza? Sam nie wiem. Muszę to dobrze przemyśleć.
W lekturach, jak wspomniałem nie posunąłem się zanadto, natomiast nabyłem trochę książek i w ten sposób powiększam swoje zaległości czytelnicze i co za tym idzie - frustrację. Powinienem lepiej gospodarować swoim czasem, na co od lat nie mogę się zdobyć. Zanotuję - z braku czasu rzecz jasna, bardzo szybko parę uwag o tym co czytać zacząłem i o tym co się dowiedziałem etc.
Zatem: na wylistowanym w kolumnie "parę linków" blogu , przeglądając zawartość jego archiwów, znalazłem post A Neighborhood of Infinity: An End to Coding Theory który wydał mi się ciekawy nie tylko sam w sobie, ale i wkontekście kodowania czasoprzestrzennego. Ciekawe na ile losowe systemy kodowania zbliżają się do najlepszych wynalezionych do tej pory kodów... Warto to sprawdzić, choć sprawa może być bardziej skomplikowana niż się wydaje. Z artykułów które czytałem wynika bowiem, że projektując kod bierze się pod uwagę dwa kryteria: na ile pozwala on gęsto upakować informację i na ile łatwo jest skonstruować dekoder dla niego. Mam przeczucie, że o ile kody generowane losowo mają szansę spełniać dobrze kryterium dobregu pakowania informacji, o tyle z kryterium łatwości dekodowania może być problem. Przyznaję jednak, że tego drugiego kryterium w praktyce nie do końca rozumiem. Wygląda na to, że będę się musiał z jakąś bardzo podstawową lekturą dotyczącą tych kodów się zmierzyć, żeby rozeznać się w sytuacji.
Zacząłem lekturę ni to pracy, ni to książki poświęconej koalgebrom. W wymienionym przeze mnie blogu jest trochę informacji na ich temat (w ogóle to bardzo inspirujące miejsce i często tam zaglądam). Jednak ja dotarłem do koalgebr inną drogą. To strosunkowo nowy dział na pograniczu informatyki teoretycznej i teorii kategorii. Teoria koalgebr posiada pewne cechy, które każą sądzić, że rzeczywiście może spełnić unifikującą rolę dla kilku bliskich sobie pod pewnymi względami dziedzin matematyki i informatyki. Mnie zainteresowała ze względu na to, że w jej ramach da się przeprowadzić niektóre konstrukcje znane z teorii układów dynamicznych - np. na dynamikę syboliczną można spojrzeć jako na teorię pewnego rodzaju koalgebr. Pytanie jakie się pojawia, to czy jest to tylko nowy język, albo jakaś lokalna, trochę ekstrawagancka moda, czy teoria ta ma coś istotnego poznawczo do zaoferowania. Wydaje mi się, że jednak ma. Oto mój mały program badawczy na początek:
Przy użyciu koalgebr da się zcharakteryzować np. odcinek domknięty. Dyskusja takiej konstrukcji przeprowadzona jest chociażby tu. Pytanie brzmi, na ile można przenieść do na grunt koalgebry odwzorowanie odcinka w odcinek. Jeżeli można byłoby popatrzeć na takie odwzorowanie ciągłe jako na "granicę" pewnego ciągu obiektów skonstruowanych na bazie koalgebr których koalgebrą końcową jest właśnie odcinek, to być może wtedy, pewne własności dynamiki odwzorowania odcinka w siebie dałoby się dedukować z własności odpowiednio dobranych "prostszych" czy raczej "bardziej pierwotnych" obiektów. Mam na myśli chwilowo własności w rodzaju twierdzenia Szarkowskiego , ale też i o innych, a prostota obiektów objawiałaby się w postaci jedynie struktury porządkowej w tym obiekcie i skończonej przestrzeni z jaką mielibyśmy do czynienia.
Ciężko powiedzieć, na ile są szanse na zrealizowanie takiego programu - za mało wiem o koalgebrze i zaledwie mgliście widzę, co i jak można zdefiniować tutaj. Ale jakąś małą próbę ataku na to zagadnienie na pewno przypuszczę. I coś na ten temat czywiście skrobnę.