Ahhoz képest, hogy a múlt héten milyen havazások voltak, most beköszöntött a tavasz. Süt a nap, zöldellnek az örökzöldek, tegnap gondoltam elmegyek bringázni. Valószínűleg az év hátralevő részében kiemelten szerencsés leszek, mert amikor a grundnál jöttem felfelé a lifttel, körülbelül három darab kutyaszar volt beleragadva a Schwalbe Land Cruiserekbe. Fly like paper, get high like planes…
Mostanában egyre jobban érdekel a formalizált és a természetes nyelvek kapcsolata, és a fordítástól megfáradva időről-időre elfog a késztetés, hogy kvantitatív dolgokkal foglalkozzam. Általában kevés sikerrel, és erről főként a “nyilvánvaló” és a “belátható” kötőszavakat tartalmazó mondatok tehetnek. Valahogy úgy érzem, hogy számomra a gondolatmenetnek annak a pontján még egyáltalán nem nyilvánvaló, és hogy az addig rendelkezésre bocsátott információkból meg még pláne nem vagyok hajlandó képes belátni az állítást. Természetesen vannak üdítő kivételek, például ma találtam meg a Richard paradoxont, mert izgalmasnak tűnt, ahogy a természetes számokat természetes nyelven leírt tulajdonságdefiníciókkal kapcsolja össze. Maga a gondolatmenet kissé hosszadalmas, de hatástanilag olyan, mint egy jól irányzott zen koan, vicces és logikai rövidzárlatot okoz. És ami a legszebb benne, nagyjából a Gödel tétel gondolatmenetét követi, de nem szükséges hozzá numerikus gondolkodás. Szóval: kezdjünk el egymás után tetszőleges számtulajdonságokat leírni, és rendezzük őket számozott listába.
1. Az x páros
2. Az x négyzetszám
3. Az x osztható hárommal
4. Az x páratlan
Ha fogunk egy tetszőleges számot, legyen pl. a 4, és valamelyik sorszámú tulajdonságot, akkor arról egyértelműen megállapítható, hogy az adott tulajdonság igaz-e rá, vagy sem. Azaz a 4-re igaz az 1. (páros) és 2. (négyzetszám) tulajdonság, és hamis a 3. (hárommal osztható) és 4. (páratlan) tulajdonság. Most egészítsük ki a listát egy r-edik elemmel:
r. Az x richardszerű, azaz x sorszámú definíció nem érvényes x-re
A kérdés a következő: az r richardszerű, vagy nem?
Ha abból indulunk ki, hogy az r richardszerű, akkor a hozzá tartozó meghatározás szerint pont hogy nem érvényes rá ugyanez a meghatározás (x sorszámú definíció nem érvényes x-re), azaz r nem richardszerű.
Ezek szerint az r nem richardszerű, de ekkor viszont a definíció szerint érvényes a hozzá rendelt meghatározás, ennek megfelelően pedig az r-nek mégis richardszerűnek kellene lennie.
Kurva jó. Bővebben itt tölthetsz le egy rövid tanulmányt róla, szerintem érdemes.
Breaking news: beállt az egész ország, a nagy havazás miatt nem tudják sózni az utakat, mert kifogytak belőle. Kiskereskedelmi forgalomban már napok óta nem lehet kapni, csak kis kiszerelésű tengeri sót, most meg a Ponts et Chaussées (a helyi közútkezelő) jelentette be, hogy nem tud az önkormányzatoknak adni többet, mert ami van még raktáron, abból csak a főutakra futja. Élmény lesz sportcipőben hazasétálni.
Tudástérkép készítésén dolgozom, de nehezebb a feladat mint gondoltam. Van egy rakás különféle adatbázis, amelyeket úgy kellene összekapcsolni, hogy az ne csak egy újabb adatbázist eredményezzen, hanem valami könnyen kezelhető, vizuálisan átlátható, kulcsszó alapján kereshető információforrás legyen. És természetesen kapcsolódjon a meglévő adatbázisokhoz. Azt hiszem, hogy a mai menüt térképezem inkább.
Tegnap este szokás szerint a The Bing Bang Theory-t néztük, amikor ismét eszembe jutott, hogy felebarátaim, üzletfeleim és munkatársaim valószínűleg nem a saját magam által igen nagyra értékelt pozitív tulajdonságaim miatt, hanem pont hogy azok ellenére tartanak fenn szociális interakciót velem. Ezután persze azonnal elhatározom, hogy sűrűbben fogom nyomogatni az arccsökkentő gombot. Így foszlik szét a vélelmezett versenyelőny.
Kompozíciós gyakorlatokat próbálok mostanában csinálni, ezért egy szál 28 mm-es közepesen szar objektívvel (APS-C vázon ez adja ki a normál látószöget) indultam el, fogalmam sem volt, hogy autókiállításra fogunk menni. A lehető legrosszabb döntés volt. A régi filmes obik, különösen azok, amelyeken nincs többrétegű lencsebevonat, egyszerűen használhatatlanok ilyen fényviszonyok esetén. A visszaverődő fénnyek miatt becsillannak, rossz a kontraszt, lágy a rajzolat, a világos rész már rég beégett, amikor a többi rész még sötét. Elég lájtos ez a képrejtvény, öt gyártó öt típusát kell kitalálni.
A blog élesítése óta eltelt négy év, közel hatszáh’ bejegyzés, ami átlagosan napi mintegy nullaegésznégy posztolás. Lehet, hogy ezentúl valami hasznosabb elfoglaltság után kellene néznem.
