@cerisara You're welcome!

I guess not, since this is additionnal feature from mathstodon.xyz.

I use @fedilab (which is great) on my phone and it does not work.

But you also have other features that allow you to type math in unicode, and in that case it works with a phone.

Like \mathbb{Z} becomes ℤ on mathstodon.xyz; same goes for ℚ, ℝ... You also have upperscript and subscript with ^3 = ³ and _9 = ₉ and greek letters \alpha = α. Try it! 🙂

It's well known that \( |\mathbb{N}| = |\mathbb{N}^2| \) and it's not hard to make an explicit 1-1 mapping. Ditto \( |\mathbb{Q}| = |\mathbb{Q}^2| \).

We also know that \( |\mathbb{R}| = |\mathbb{R}^2| \).

Your challenge, should you decide to accept it, it to give an explicit one-to-one mapping.

Go ...

oops, just noticed I forgot to tag @11011110 in the above toot, for making that diagram. Follow him!

So any lap visiting each vertex once has to end on a different colour to the start.

Here's an image showing the colouring property, by David Eppstein. If you start on blue, you have to finish on red, and vice versa.

it's available on thingiverse at https://www.thingiverse.com/thing:3866307

Eventually, I want to put the original handwriting samples on the school website, along with links to the authors' homepages and short explanations of what they're about.

I learnt a lot about what my colleagues do just by asking them to write a line or two of #math!

My idea was to have something that gives you an idea of notation used by mathematicians, but better than the 'cumulonumbers' nonsense you normally get.

There's just enough coherence to identify subdisciplines, but I didn't worry about keeping whole formulas intact.

A big list of unlikely or surprising Turing-complete systems: https://www.gwern.net/Turing-complete, via https://www.metafilter.com/183095/On-having-sufficient-complexity-to-allow-for-arbitrary-computation

My favorite: SVG is Turing-complete because it can be used to (slowly) simulate Rule 110 (and one hopes the weird boundary conditions needed to make Rule 110 Turing complete): https://github.com/tom-p-reichel/svg-is-turing-complete

https://www.thingiverse.com/thing:3856293

- Homepage
- http://somethingorotherwhatever.com

- Location
- Newcastle upon Tyne, UK

- Pronouns
- he/him

- Favourite number
- 3435

Admin

Mathematician, koala fan, mathstodon.xyz admin,

⅓ of https://aperiodical.com

Joined Apr 2017