The South Pole de Roald Amundsen [E]
*Visions of Infinity de Ian Stewart
*The Road to Serfdom de Friedrich Hayek [E]
*Naive Set Theory de Paul R. Halmos
*Lenguaje matemático, conjuntos y números de Miguel Delgado e Mª José Muñoz
Blogue galego de cultura. Se queres lerme en inglés - https://booksandnotes.substack.com/
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...
Anque xa rematei (e aprobei!) a materia de Lenguaje Matemático, non tiven tempo durante o curso de cumprir un dos meus obxectivos, que era o de facer tódolos exercicios do libro de texto. Deste tema só chegara, penso, ata o 6d, onde ficara algo atascado. Agora por fín topei o tempo de facer os 20 exercicios, anque en máis dun tiven que botar a ollada atrás ás solucións, porque estaba atascado.
Xa falei en entradas anteriores desta unidade, na que se fai unha presentación básica da álxebra universitaria, moi diferente da das ensinanzas medias, e dalgunhas estruturas e relacións básicas: grupos e aneis, corpos, orde e operacións e homomorfismos.
No que atinxe aos exercicios, foron bastante difíciles de media (tivemos sorte que nos exames e nas probas titoriais caeron os do espectro baixo da táboa: comprobar se dado un conxunto cunhas operacións, estabámos diante dun grupo, dun anel, con divisores de cero ou non, unitario, etc...). O 6d, como vos comentaba, resultoume moi difícil ao comezo, porque non daba visualizado nen sequera o que o enunciado describía, anque na segunda volta resultoume bastante doado. O 14, sobre Ideais, penso que o teño mal e que teño que lerme ben a solución para entendelo. Moitos (coma o 18, o 19 ou o 20) requiren dunha certa 'pillería' matemática (o que se soe chamar 'idea feliz') da que aínda carezo para coller a idea principal que che leva a resolvelos satisfactoriamente.
Non me viría mal repasar o tema cando poida. En todo caso, toca agora volver a ler o capítulo 5, sobre números naturais e enteiros, e pelexar logo cos seus 24 exercicios, dos que non fixera ningún...
Foi o marzal do 2010 cando descubrín unha certa vocación pasteleira, que me levou a realizar unha decena de tartas neste mes e seguintes, e a reencarnar dun certo xeito a fantasía do musical sobre un pasteleiro trotskista de Nanni Moretti, anque no meu caso non me botase a cantar, escoltado por vedettes e música de fondo...