Conor(@jconorgrogan):@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

Conor

@jconorgrogan

We must separate technical competency and GPU ownership from deciding who can do what

加入 February 2012

683 正在關注 52.5K 粉絲

Conor@jconorgrogan

2026.10.24 01:27

@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