Conor
@jconorgrogan
We must separate technical competency and GPU ownership from deciding who can do what
683 Following 52.5K Followers
@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
Show more
@mathandcobb fifth Catalan–Mersenne number (open since 1876)
2, 3, 7, 127, 2¹²⁷−1....
The conjecture is that each in this sequence ( 2 to the last, minus 1) are all prime. The next term has ~5×10³⁷ digits so it's impossible for any physical machine to store in memory
Show more
