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
顯示更多
