Turing's topological proof that every written alphabet is finite (2010) (divisbyzero.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of divisbyzero.com: Turing's topological proof that every written alphabet is finite (2010)

First screen, captured 2 years ago.

Looks similar

Screenshot of divisbyzero.com: The Unknotting Number Is Not Additive

The Unknotting Number Is Not Additive (divisbyzero.com)

147 points by JohnHammersley 1 year ago | 58 comments

Screenshot of divisbyzero.com: Maypole Dance of Braid Like Groups (2009)

Maypole Dance of Braid Like Groups (2009)(divisbyzero.com)

32 points by srean 1 year ago | 3 comments

Screenshot of stephendiehl.com: Book review: There Is No Antimemetics Division

Book review: There Is No Antimemetics Division (stephendiehl.com)

270 points by ibobev 6 months ago | 195 comments

Screenshot of quantamagazine.org: In math, rigor is vital, but are digitized proofs taking it too far?

In math, rigor is vital, but are digitized proofs taking it too far?(quantamagazine.org)

110 points by isaacfrond 7 months ago | 99 comments

Screenshot of marc-b-reynolds.github.io: Moving integer division to floating-point is trivial

Moving integer division to floating-point is trivial (marc-b-reynolds.github.io)

34 points by matt_d 2 months ago | 13 comments

Screenshot of lcamtuf.substack.com: Sierpiński Triangle? In My Bitwise and?

Sierpiński Triangle? In My Bitwise and?(lcamtuf.substack.com)

204 points by guiambros 1 year ago | 49 comments