Elliot Glazer
@ElliotGlazer
Unrestricted comprehension @PrincipiaLabs
가입 November 2024
1.1K 팔로잉 중 8.7K 팬
This is why God gave us Astra folks. I’m sure one of you already has agents working around the clock to formalize Con(ZFC) in PowerPoint.
@ElliotGlazer @ereliuer_eteer yo. i took K230 and compiled it into an explicit Wang tile set. 975 tiles _ one seed, and the seeded half-plane tiles iff K230 never halts, i.e. iff ZFC is consistent. So it’s an explicit finite tile set whose tileability is independent of ZFC
더 보기
