Con semellante título, un pensaría que o mantedor vai falar dalgunha unidade especial do Terceiro Reich adicada a algunha 'operación especial' terríbel, mais non; o encabezamento fai referencia a un dos axiomas da Teoría de Conxuntos na formulación de Zermelo e Fraenkel, o que poderíamos traducir coma o Axioma de Especificación, e que ven a dicir algo así coma:
"Para calquer conxunto A e para calquer predicado lóxico P(x) existe un conxunto correspondente, B, cuxos elementos son exactamente os elementos x de A para os cales o predicado P(x) é verdadeiro".
Imaxino que se chama 'de especificación' porque permite especificar un conxunto a partir doutro e dun predicado lóxico que cumpre. No libro Naive Set Theory de Paul R. Halmos que estou lendo explícase un resultado curioso que se deriva deste axioma, e que ten moita relevancia á hora de desterrar da teoría a entidades coma os 'conxuntos de tódolos conxuntos' que acaban xerando contradiccións lóxicas. Como sei que estas frikadas matemáticas interesan en xeral pouco á miña (pequenísima) audiencia, vou deixar a explicación enlazada tan só a un vídeo non tan pequerrecho para os interesados...
Sem comentários:
Enviar um comentário