Elliot Glazer
@ElliotGlazer
Unrestricted comprehension @PrincipiaLabs
参加 November 2024
1.1K フォロー中 8.7K ファン
I now have a literal Peano Arithmetic proof that K215 halts iff ZFC is inconsistent, formally verified in Metamath Zero.
K215 is a 215-state Turing machine discovered by @ereliuer_eteer, which encodes my single-schema set theory K.
もっと見る
