Efraim Kishon ma reggel meghalt. Tízéves koromtól olvastam a humoreszkjeit. Ő maga egyik novellájában azt jósolta, hogy 89 évig, 2013-ig él majd (és a sírkövére azt írják majd: A zanyja Krausz! Egész életében kavart! (ti. forró levest, mert a leves valamilyen misztikus, vagy atavisztikus okból folyton forró!)).
Racionális, plebejus, józan, és jobboldali konzervativizmusa, ahogyan a szorongó kispolgárt megszemélyesítette (többnyire első szám első személyben írt), még ha politikailag nem is mindig értettem vele egyet, találó és igazságos.
---------
Nemrég meghalt Jacques Derrida is. Hasnyálmirigyrákja volt. Komolyan mondom, azt hittem, hogy a folytonos és transzfinit filozófiai reflexió, a disszeminációnak, és a metafizikai előfeltevések szüntelen keresésének az ideológusa egyszerűen nem halhat meg. És mégis. Ebből is látszik, mennyit értek az élethez. :-/
De olvasom, hogy utolsó interjújában azt mondta, hogy végül mégsem tudta elfogadni a halált, úgyhogy talán ő is így volt ezzel:) (ellentétben Szókratésszal, vagy akár Lukáccsal. Lukácson, ha jól emlékszem, a rákja mellett gyorsuló szenilitás is erőt vett utolsó hónapjaiban. Szeretett volna írni, de nem ment.
Ekkor a következőt mondta környezetének (talán Eörsinek): 'többé nem vagyok kompetens a saját életművem megítélésében'.
Olyan szimpatikus a reménytelenségnek ez a finom, pontos megfogalmazása.
Egyébként, ha a Bruce Edmonds PhD-téziseit, vagy akár egy részét rendesen át akarod olvasni, abban partner vagyok. A bizonyítások komplexitásának jellemzése jelentős területe a bizonyítás-elméletnek.
Egyébként a dolognak ez a része "kész van", de nem hiszem, hogy ez olyan nagy csoda lenne. Írd be a google-ba, hogy Horn resolution, és minimum száz olyan programocskát fogsz találni, ami azt ígéri magáról, hogy elsőrendű formulákat bizonyít. Vagy ha jobban belegondolsz, szinte bármelyik matematikai programcsomag tudja ezt. (mármint amelyik számol szimbolikusan)
Mondjuk én ettől messze vagyok, mert a 2+2=4 és az X+X=2*X bizonyítása még megy, de a Pythagoras-tétel már bonyolult neki.
Szervusz bukikám, mi a helyzet a "seamless" szintaktikai struktúrákkal, amelyekkel helyettesíteni akartad az elsőrendű logikát? Sikerült leprogramozni a kvantorokat (bármit is jelentsen ez):)? Jól emlékszem, hogy rekurzív szabállyal akartad generálni egy struktúra alaphalmazát, vagy ilyesmi? A bizonyítások valami véges fa-reprezentációjáról is szó volt, talán a következmény közvetlen szintaktikai felépítéseként? (Lejárt a fél év, ami ígértél!:-))
Ennek örülök. Azzal együtt eszembe jutott, hogy sok ideje a Bridgewater nicket regisztráltam, csak rossz e-mail címre küldtem, mert új volt a mailem, így nem férek hozzá. Így nulla hozzászólása van. De ez jóhiszemű tévedés. Az állítások továbbra is fennállnak, és fenn is fognak állni.
* Kamaz 13 t
* Mercedes 3db. 15 t
* IVECO (3t)6 db 20 t
* IVECO (4t) 6 db 30 t + Renault
* Nyerges 2 db 30 t
* Volvo 3 db 18 t
* Dózer
* Gréder
* Henger
* Darálógép
Foglalkozáshoz és nemhez köthető társadalmi presztízs 1932 és 1934 között három Zala megyei faluban, 12 fős mintán végzett, korabeli interjúk, kizárólag etnometodológiai szerepvizsgálaton alapuló, másodlagos tartalomelemzésével.
A kutatást 500e forinttal támogatta az EU Regionális Látókör-tágító Kezdeményezések Alapítványának Társadalomkutatási Szakbizottsága, 250e forinttal az OTKA, 100e forinttal a NKÖM, 150e forinttal a MEH, ugyancsak 150e forinttal az MFB.
Bevezetés az általános elméletetek elméletébe.
I. rész. Az általános elméletek axiomatikus és filozófiai keretelméletei. Az általános elméletek paradigmatikus elméleteinek metaparadigmatikus analízise