Recent writing- François G. Dorais: Subposets of small dimension (February 18)
Behind the scenes at Boole’s Rings, there was some talk on asking more open questions related to our research. I have three related problems tha - Samuel Coskey: Math hangout: brainswap mayhem (February 17)
Recently on a social network, Dana Ernst pointed out something called the “futurama theorem”: the characters all swap their brains and nee - saf: A large cardinal in the constructible universe (February 16)
In this post, we shall provide a proof of Silver’s theorem that the Erdos caridnal $\kappa(\omega)$ relativizes to Godel’s constructible u - Carl Mummert: Computable roots of computable functions (February 14)
Here are several interesting results from computable analysis: Theorem 1. If $f$ is a computable continuous function from $\mathbb{R}$ to $\mathbb{R}$ - Micheal Pawliuk: The Delta-System Lemma (February 12)
Now that you know the basics of countable elementary submodels (CESM), you might think that you are in the clear. “Mike”, you say arrogant - saf: An inconsistent form of club guessing (February 10)
In this post, we shall present an answer (due to P. Larson) to a question by A. Primavesi concerning a certain strong form of club guessing. We commen - Samuel Coskey: How not to teach logic (February 10)
Some faculty at York think it’s ok to omit parentheses. There’s not much to say other than “wow”. Take a look at the first an - saf: c.c.c. forcing without combinatorics (February 8)
In this post, we shall discuss a short paper by Alan Mekler from 1984, concerning a non-combinatorial verification of the c.c.c. property for forcing - Peter Krautzberger: If you build it, will they come? (February 7)
Last week, Tim Gowers published another post on the publishing debate entitled “Abstract thoughts about online review systems”. There are, - Samuel Coskey: An AIM workshop on set theory and C*-algebras (February 1)
Last week I attended a workshop on set theory and C*-algebras at the AIM. Here is how it went… When you approach the American Institute of Math
- François G. Dorais: Subposets of small dimension (February 18)
- Recent comments
- Comment on Subposets of small dimension by Peter Krautzberger (February 21)
Great post! - Comment on How not to teach logic by François G. Dorais (February 18)
I think it should read $((A \land B) \leftrightarrow A) \equiv (B \leftrightarrow (A \lor B))$. (Reading it as $\inf(a,b) = a \Leftrightarrow b = \sup - Comment on How not to teach logic by Samuel Coskey (February 17)
On closer inspection, I believe this one actually turns out to be false. It is close to a true rule though, which is that the equivalence of $A\wedge - Comment on If you build it, will they come? by Both Students And Professors Need Certification, and the Elsevier Boycott | QED Insight (February 17)
[...] Aaronson, Nassif Ghoussoub, Cathy O’Neil (here and here), and Peter Krautzberger (here and here). The issue has even hit the mainstream, at Th - Comment on A comment on Tim Gowers’s blog by Both Students And Professors Need Certification, and the Elsevier Boycott | QED Insight (February 16)
[...] Scott Aaronson, Nassif Ghoussoub, Cathy O’Neil (here and here), and Peter Krautzenberger (here and here). The issue has even hit the mainstrea - Comment on Music Video: “Wide Open” by Jenny Mayhem by saf (February 14)
Thanks and welcome! - Comment on Music Video: “Wide Open” by Jenny Mayhem by Andres Caicedo (February 14)
Hi Assaf. I just discovered your blog. Very nice! - Comment on How not to teach logic by Carl Mummert (February 14)
I mean in the second displayed excerpt. I don't even recognize the rule. - Comment on How not to teach logic by Samuel Coskey (February 14)
Treat others as they would wish to be treated? - Comment on How not to teach logic by Carl Mummert (February 14)
What is the "golden rule" supposed to be saying?
- Comment on Subposets of small dimension by Peter Krautzberger (February 21)