franc:
Alex, el barbero se afeitará a sí mismo, al formar parte de los elementos que forman el conjunto de todos aquellos que pueden afeitarse por sí mismos, y que en éste caso coincide con su condición de barbero.
¡Lo siento franc!, la logica matematica es bastante mas rigurosa y contundente. No pueden dar lugar a interpretaciones. El enunciado es el enunciado y no hay mas cera que la arde....

. La cuestion planteada no tiene solución matematica, tal y como esta planteada. (no es como una situacion politica, donde tiene cientos de soluciones, según convenga a cada uno...).
Si el barbero se afeita a si mismo, esta incumpliendo la orden: El barbero solo puede afeitar a los que NO pueden afeitarse a si mimos y si se afeita, queda demostrado que puede afeitarse asi mismo, por tanto no puede afeitarlo el barbero. Pero es que si no pudiese afeitarse asi mimso, entonces tendria que afeitarse como barbero, con lo cual es una contradicción
Fijate si esta cuestion fue importante, que hizo tembalr la Teoria de Conjuntos de Cantor. El Principio Básico de la formación de conjuntos
:"Para toda propiedad O(X), definible en la teoría, exsiste un conjunto Y, cuyos elementos son exactamente los conjuntos X que cumplan la propiedad O(X)" fue retocado por Zermelo..
Pero bueno lo importante es dasrse cuenta hasta que punto las matematicas se fundamentan en una logica rigurosa: No puede haber un concepto que pueda dar lugar a contradicciones. Si no se retira el principio, podria demostrarse que 3=4 o que 2 no es igual a 2.-
Como bien has intuido, el problema es que no esta definido si un Conjunto puede formar parte de si mismo o no. Y esto hoy no esta definido exahustivamente, aunque de momento los matematicos se van entendiendo.
Si tienes un conjunto de sombreros rojos, el propio conjunto ¿es un sombrero? ¿Puede el conjunto de sombreros, ser un elemento de si mismo?. En estse ejemplo se ve claramente que no, pero hay otros que si que puede aceptarse, son los llamados conjuntos singulares. Por ejemplo, el Conjunto de todos los objetos matematicos, sería un objeto y por tanto debe ser incluido en si miksmo. Con todo y como te he dicho, la cosa no esta muy clara (o yo no la tengo muy clara), porque fijate en esta propuesta: Existe un conjunto de todas las cosas que no son sombreros. El conjunto de sombreros rojos no es un sombrero, por tanto podria formar parte del conjunto de cosas que no son sombreros! ¿esto es cierto o falso?... Hoy debemos ayudarnos de un tercer conjunto para poder formar conjuntos...! Bueno tu que esto es un rollo!! Saludos!!
Sol y luna y cielo proclaman al divino autor del mundo...