He didn't get into the news because he didn't solve a problem for which a famous mathematician (Ronald Graham) had offered a prize. Also, it's somewhat more exciting to use a huge calculation to answer a yes-or-no…
It turns out this only pushes back the problem. You can write down second-order axioms for arithmetic which have a unique model, but in a model of a second-order theory predicates are interpreted as sets. So, you need…
He didn't get into the news because he didn't solve a problem for which a famous mathematician (Ronald Graham) had offered a prize. Also, it's somewhat more exciting to use a huge calculation to answer a yes-or-no…
It turns out this only pushes back the problem. You can write down second-order axioms for arithmetic which have a unique model, but in a model of a second-order theory predicates are interpreted as sets. So, you need…