Matfyzák, cást. 4 - Výroková a predikátová logika

Jojo, Štěpánek, jeho doutníky a historické vsuvky jsou legendou. Bohužel z části legendou minulosti.

Prof. RNDr. Petr Štěpánek, DrSc. stále vede čtyři přednášky a dokonce jedno cvičení, Vyroková a predikátova logika je povinným předmětem k souborné zkoušce magistrů informatiků. Nicméně doutníky už nekouří a jeho kouřením zesláblý hlas je bez použití megafonu v poslucharně F1 slyšet jen při maximální koncentraci a tichu jak v katedrále.

Jedna z novějších historek: Matematická logika je disciplína, která se studuje na matfyzu i na filozofické fakultě ve veděcké svornosti (což je už samo o sobě nevídané, aby se matematici a filozofové na něčem shodli - pozn. M.D.). Profesoru Zichovi z FF se ovšem jednou povedlo udělat z lidí na matfyzu uplné blbce, když během obhajoby dizertace nějakého chudáka jen tak mimochodem podotlk, že jméno slavného logika Alberta Thoralfa Skolema by se mělo vlastně vyslovovat [šolem]. Načež všichni začali zprvu nesměle používat tuto výslovnost a Štěpánek se až po letech od nějakého norského matematika dozvěděl, že přestože většina čechů pravděpodobně nedovede Skolemovo jméno vyslovit naprosto přesně, je zřejmá výslovnost [skolem] přeci jen jaksi přesnější.

Dodal bych ještě z vlastní zkušenosti, že zatímco Zichův mem "šolem" se ujal velmi snadno, vykořenit ho správným memem "skolem" muselo dát strašnou práci. Asi jako vykořenit v České republice Husajna...

Hehe, tak to je dobry :)

Velice pekne,ale chce to dalsi pribeh obdobneho tematu.
At potencionalni studenti vi,,co je ceka a nemine.