Category: In English
-
Naïve set theory
This post is sort of a translation and a follow-up of a post in Spanish about the comparison between naïve and axiomatic set theory. The point I made in the previous post is that One leaves naïve set theory in the moment that first order logic (FOL) gets explicit. Or, from a different perspective, when…
-
¿Por qué Teoría de Conjuntos?
(English version below.) ¿Por qué estudiar Teoría de Conjuntos? Porque es el fundamento actual de toda la matemática. Porque uno arranca con el trabajo de un medalla Fields. Porque es un área de investigación vigente. “Por el honor del espíritu humano”.
-
Publish NOW, or perish
Academic life has given me a lesson for the second time, and it was harsh this time. The first lesson had a happy ending, and it can be described by the following words: Beware of the paper bin! This happened on 2008. I was experimenting with a really wonderful software, the bundle Prover9-Mace4, by the…
-
How about a little absurdity?
Assume you want to prove a Theorem X. If you’re a fan of reductio ad absurdum (RAA), you start by saying “Assume that Theorem X is false. Hence…” and after some reasoning, you reach a contradiction. You write as a closing sentence, “This contradiction shows that Theorem X must be true.” I want to argue about…
-
Pressing the word…
This is my very first post. Plans for the next few months: expository posts on 6 or 7 results (hope interesting enough), and maintain some discussion on basic set theory, aiming to develop this area in the neighboring region of my university (this will probably be in Spanish, and if times permits, also in English).