In whose mind is Mathematics an "a priori cognition"?
  According to the philosopher Kant, Mathematics is an "a priori cognition". Kant's assumption, together with the unsolvability of Hilbert's 10th problem, implies an astonishing result. 
Massimiliano Berti, Antoine Suarez, and Rocco Tarchini