Viewing profile — evan_piermont

Yes, I think this path quickly leads to Boolean valued models or Boolean Algebras with Operators or Krike Frames or .... In other words, there are many well studied, well understoo…

While this is undeniably cool from a purely technological prospective, and might well be a boon for those with physical disabilities, I react in horror. It seems inevitable that in…

Is there a(n easy) way to integrate this into Latex, to use it for math fonts?

There is a famous anecdote [0] about Barry Mazur coming up with the worst notation possible at a seminar talk in order to annoy Serge Lang. Mazur defined Ξ to be a complex number a…

Only if you reject the axiom of choice: https://www.jyotirmoy.net/posts/2013-10-28-arrow-ultrafilter...