@jessfraz welcome to mathstodon! In addition to MathJax, we have automatic TeX-to-unicode if you type macros outside delimiters, e.g. π ≈ ²²/₇

A big list of unlikely or surprising Turing-complete systems: gwern.net/Turing-complete, via metafilter.com/183095/On-havin

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): github.com/tom-p-reichel/svg-i

@bmreiniger it's three because on a Fano plane each point lies on three lines. In the projective plane, there'd be as many colours as pictures on a single card (is it 7?)

@bmreiniger sorry, misread your post!

Doing some artistic thinking because I've got to fill a lot of picture frames in the department in a hurry.
Ignoring the colours, which ones do you like the most?
No image descriptions because these are all pretty abstract!
(1/2)

@bmreiniger
You'll like this puzzle that I made recently: thingiverse.com/thing:3856293
That axiomatization is an encapsulation of why the game Dobble (Spot-It in the USA) works.

Just published a new thing to thingiverse: the Seven Triples puzzle
thingiverse.com/thing:3856293

This is how grownups move things around, right?

Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
None by Gradwohl, Ronen and Naor, M. and Pinkas, Benny and Rothblum, G.
In collections: Easily explained, Protocols and strategies, About proof
URL: springerlink.com/index/N156688
Entry: read.somethingorotherwhatever.

xslt

@halcy I'm more surprised that cigarette vending machines are still legal!

There's some significant Weather hanging above Newcastle at the moment!

@kat you're right, non-negative k would do

Let $a(1) = 1$.
Define $a(n) = a(n-1) + n^k$, where $k$ is the lowest positive integer such that $a(n-1)+n^k$ has more decimal digits than $a(n-1)$.

Is it always true that $a(n)$ has $n$ digits?

@jennytrustad yep, and I agree wholeheartedly

Hello dragons, thanks for inviting me today. I'm here to pitch my new range of sportswear for mathematicians, "Left As An Exercise".
I'm looking for £100k for a non-measurable subset of the business, which I believe we can double within a year.

There are two types of mathematician in the world: those who like to include the current year in their exercises/examples/puzzles and those who don't.

Show more

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.

Use $ and $ for inline LaTeX, and $ and $ for display mode.