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
もっと見る
