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.
더 보기
