Pénteken fél tíztől a Kolozsvári Logika Egyesület (vagy valami hasonló) megünnepli Gödel 100-adik születésnapját. Nagyon kiváncsi lettem rá. Tizenkettőtől koreai óra, remélem, addig befejezik.
Ma jót kántereztünk Zalánnal. Jó dolog a "kutató laboratórium". Ja, akit érdekel, hogy kell matematikául oroszlánt fogni, esetleg szórakozhat egy kicsit ezen.
1 megjegyzés:
Nocsak, nocsak Counter Strike... De jol megy egyeseknek :)
Megjegyzés küldése