2 Matching Annotations
  1. Apr 2023
  2. www.cube20.org www.cube20.org
    God's Number is 20
    1
    1. chrisaldrich 24 Apr 2023

      http://www.cube20.org/

      God's number is 20. Proven by Tomas Rokicki, Herbert Kociemba, Morley Davidson, and John Dethridge

      Rubic's cube Rubic's cube algorithms God's number mathematical proofs Thomas Rokicki Herbert Kociemba Morley Davidson John Dethridge
    Visit annotations in context

    Tags

    Annotators

    URL

    cube20.org/
  3. Jan 2023
  4. inference-review.com inference-review.com
    Woit’s Way
    1
    1. chrisaldrich 27 Jan 2023
      Woit does not, for the most part, follow the death march of proposition, lemma, proof. He writes in the style of a theoretical physicist.

      "death march of proposition, lemma, proof"

      This is a bit harsh n'cest pas?

      mathematical proofs writing style Peter Woit
    Visit annotations in context

    Tags

    Annotators

    URL

    inference-review.com/article/woits-way