I'm settling down to a serious read of Eckart Menzler-Trott's biography of Gentzen. Supposedly the English version. But what language is this?
- The examination of the mathematics using means and methods of other sciences or humanities is still disgusting for many.
- One could still learn mathematics today in substance in the writings of Euclid ...
- A bright and conceivable history of modern logic isn’t understandable without one’s biography using conceptual and contextual ideas.
- ... without clariﬁcation of historical facts, the diﬀerent forms of evolving mathematical treatments, methodical and resulting knowledge, and epistemic conﬁgurations or its reﬂection are not once meaningfully describable.