Comment on gatekeeping

hansl@lemmy.world ⁨1⁩ ⁨year⁩ ago

• zzx@lemmy.world ⁨1⁩ ⁨year⁩ ago

  Russell is that you? Please stop breaking my formal systems

  source

  • NegativeInf@lemmy.world ⁨1⁩ ⁨year⁩ ago

    Here’s a thousand page proof defining all the logical underpinning required to prove that 1 does indeed equal 1.

    source