In the first part we will survey several results regarding the provability/unprovability thresholds for natural assertions which are independent of the Peano axioms.
In the second part we will present some recent findings regarding the phase transition for Friedman's version of the Bolzano Weierstrass theorem. These findings answer a question by Harvey M. Friedman.