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

@bmreiniger sorry, misread your post!

You'll like this puzzle that I made recently: https://www.thingiverse.com/thing:3856293

That axiomatization is an encapsulation of why the game Dobble (Spot-It in the USA) works.

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

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: http://www.springerlink.com/index/N15668887411R778.pdf

Entry: http://read.somethingorotherwhatever.com/entry/Gradwohl2007

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

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

@jennytrustad yep, and I agree wholeheartedly

- 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