set-theory paradox

[kolokolca]

Question on a test: name or describe a set-theoretic  paradox.  Intended answers: barber of Seville, Russell's paradox, etc.

Student: "Barber of Baskerville"!  ;-) Am I that scary?

Comments

[kolokolca]

It's in the "give examples" part of the test, so the answer was supposed to be short -- they had a lot of other stuff to do during that hour. Like "write a first-order formula Prime(n) stating that n is a prime number", which vast majority couldn't do :-(

(And for this course asking them to understand the paradox is a bit too much -- if they remember that there is some paradox, that's good for most of them, alas... )

[kolokolca]

Хорошая подборка тем -- это на каком курсе читается? У нас такое было бы graduate/advanced undergraduate elective.

(В похожем курсе в Торонто немного больше теории доказательств (proof theory), но это местная специфика, так как этим и Steve Cook и Toni Pitassi занимаются).

[_raveness_]

Роскошно! Спасибо :)))))))))

"- Холмс! А что там так страшно молчит на болотах?
- Ватсон, это же рыбка Баскервилей" (с) анекдот