AGI-complete in general? Obviously. But still, a lot can be done. See e.g.:
- The Busy Beaver Challenge deciders
- web.archive.org/web/20170907092044/http://www2.physics.ox.ac.uk/students/course-materials/c3-condensed-matter-major-option it wasn't paywalled in the past up to 2017, but later became. Bastards.
- www2.physics.ox.ac.uk/sites/default/files/page/2011/10/04/c3-intro-vacprobs17-41753.pdf gives the 2016 structure:
- Crystal Structure & Dynamics 10 lectures Dr Roger Johnston
- Band Theory 10 lectures Prof Michael Johnston
- Magnetism 7 lectures Prof Radu Coldea
- Optical Properties 6 lectures Prof Laura Herz
- Superconductivity 7 lectures Dr Peter Leek and Dr Amalia Coldea. web.archive.org/web/20170912021658/http://www2.physics.ox.ac.uk/sites/default/files/page/2011/10/04/cmpsc-handout-2017-41006.pdf
- qubit.guide/ HTML version od the book.
- github.com/thosgood/qubit.guide. Source code. Written in Bookdown.
- www.arturekert.org/iqis links to the lectures: www.youtube.com/@ArturEkert/playlists Well done in splitting those videos up!
- zhenyucai.com/post/intro_to_qi/
Interesting presentation cycle at Merton BTW: www.arturekert.org/teaching/merton
Artur looks like a cool teacher.
Since Snakes and Ladders is nothing but a Absorbing Markov chain, the results are exactly the same as for that general problem.
www.jstor.org/stable/3619261: How Long Is a Game of Snakes and Ladders? by Althoen, King and Schilling (1993), paywalled.
Basically a precise statement of "quantum entanglement is spooky".
Some of the most remarkable ones seem to be:
- Alain Aspect 1982
- Hensen et al., Giustina et al., Shalm et al. (2015): "loophole-free" Bell tests
OMG, Ciro Santilli only learned about this in 2021 after: twitter.com/ryancdotorg/status/1375484757916672000
There are unlisted articles, also show them or only show them.