
ProvableP vs ProvableNP 

On the practically true but theoretically false 

3 facts about the 4color theorem 

Is NP to P as RE is to R? 

2017 Utah Math Olympiad Announcement 

2017 

Uncomputable binary relations 

A cute ultrafilter problem (copied from WordPress) 