Equivalences are truly a special kind of relation(ship)s.
Schlagwort: Mathematik
World geometry is difficult.
Diplomatic recognition is not even a euclidean relation.
And it's gone II.
After loosing my religion, the next step was to loose my intuitions.
Wise Words.
A day without mistakes is a day without mathematics.
a friend of a friend
[latex/secretary].[coq/gradstudent].
Sooner or later computer proof assistants will become the norm, but the longer this process takes the more misery associated with mistakes and with unnecessary self-verification the practitioners of the field will have to endure.