Skip to main content

All Questions

Filter by
Sorted by
Tagged with
12 votes
2 answers
868 views

The inconsistency of Graham Arithmetics plus $ \forall n, n < g_{64}$

As you all know, Ronald Graham just passed away. He is famous for many fabulous contributions to finite combinatorics, and much much more, but perhaps none of them is as popular as the infamous ...
Mirco A. Mannucci's user avatar