4 ms·
The 8000th Busy Beaver number eludes ZF set theory
- ccvannorman 10y agoWow. Great read for aspiring math geeks like myself.
- tromp 10y ago"a 4,888-state Turing machine that halts iff there’s a counterexample to Goldbach’s Conjecture" I constructed a 267 bit binary lambda term defined in https://github.com/tromp/AIT/blob/master/goldbach.lam https://github.com/tromp/AIT/blob/master/goldbach.lam and pictured in https://github.com/tromp/AIT/blob/master/goldbach.gif https://github.com/tromp/AIT/blob/master/goldbach.gif that normalizes iff there’s a counterexample to Goldbach’s Conjecture