Gente que sólo lee en español: por favor leer más abajo.
This blog intends to be a place to explain in a relaxed way things I’ve developed and to discuss things I want to learn about. No need to tell that the second category surpasses the first one by class-strongly-compactly-many orders of magnitude, so I hope people don’t get too annoyed for seeing me stumbling on these matters. But the nicest thing I can hope for is that you all will give your feedback on these topics.
Concerning the topics displayed here, you will find mainly Logic in different flavors, but I have only worked until now in two not-that-unrelated areas. Firstly, universal algebra, on which did my PhD thesis, that may be conveniently described for my purposes as the application of logic to solve otherwise intractable algebraic problems. And secondly, notions of equivalence of behaviour such as bisimilarity in probabilistic processes arising from computer science. Both subjects are connected in ways that I may develop in some future posts.
The main topic I want to learn about in the near future is set theory, and as the moment of this writing very few people on my country, and actually no one in my University works on this topic, so one of my main concerns is to get people in neighboring cities discuss set theory. Since most of the stuff on this topic will be rather standard (even, elementary), it’s more likely that posts on this subject will be (first) published in my native tongue; that’s why I put a little warning sign in Spanish at the beginning of this page. Happy reading and hard discussing!
¡Buena lectura y bizarra discusión!
Este blog será un espacio para contar de una manera “piola” algunos resultados e ideas, y para aprender Teoría de Conjuntos. Aunque casi todo estará en inglés, es mi objetivo que la parte conjuntista llegue bien a los estudiantes (y veteranos como yo) de Argentina que quieran internarse en este área difícil pero, sin necesidad de decirlo, irresistiblemente fascinante. Por ello, los posts que se relacionen con esto serán elementales (por lo menos hasta que yo aprenda más) y en castellano.