"A copy of the Tentamen reached K. F. Gauss, the elder Bolyai's former roommate at Göottingen, and this Nestor of German mathematicians was surprised to discover in it worked out what he himself had begun long before, only to leave it after him in his papers. As early as 1792 he had started on researches of that character. His letters show that in 1799 he was trying to prove a priori the reality of Euclid's system; but some time within the next thirty years he arrived at the conclusion reached by Lobachevski and Bolyai. In 1829 he wrote to F. W. Bessel, stating that his "conviction that we cannot found geometry completely a priori has become, if possible, still firmer," and that "if number is merely a product of our mind, space has also a reality beyond our mind of which we cannot fully foreordain the laws a priori." The term non-Euclidean geometry is due to Gauss."
January 1, 1970
https://en.wikiquote.org/wiki/Non-Euclidean_geometry