> The Axiom of Choice is obviously true, the well-ordering principle obviously false, and who can tell about Zorn’s Lemma? > > Jerry Bona I sometimes speak to people who reject the axiom of choice, or who say they would rather only accept weaker versions of the axiom of choice,...
For more than 2000 years, geometers and mathematicians tried in vain to prove the parallel postulate from the other axioms of Euclidean geometry. These other axioms said[1]: 1. From any point to any point, one can draw a straight line 2. One can extend a finite straight line continuously in...
Introduction In China, during the Spring and Autumn period (c. 770-481 BCE) and the Warring States period (c. 480-221 BCE) different schools of thought flourished: Confucianism, Legalism, Mohism, and many more. So many schools of thought were there, that it is now referred to as the period of the “Hundred...
As I mentioned in an earlier post (which I don't plan to post to LessWrong), I’m currently working in technical AI safety. Today, the main object of study of technical AI safety is the Transformer model, first discovered in 2017 by — say it with me — Vaswani et al....
> Sorry if this is too political for LessWrong. I've tried to keep it from being too mind-killer-ish, but perhaps my opinions can be read into it. Please read the mind-killer post (if you haven't already) before commenting, if you decide to comment. If you decide you can't help but...
As Bea approached the Tate Modern on London-3, the first thing she noticed were the cooling CRACs and CDUs still freckling the grey cuboidal building. She supposed the datacenter aesthetic was appropriately grungy for a modern art building — it harkened back to a simpler time. Jay — her date...