The statement that although the past can be recorded, the future cannot, is translatable into the statistical statement: Isolated states of order are always postinteraction states, never preinteraction states.
Hans Reichenbach...the mathematician uses an indirect definition of congruence, making use of the fact that the axiom of parallels together with an additional condition can replace the definition of congruence.
Hans ReichenbachThe concept of congruence in Euclidean geometry is not exactly the same as that in non-Euclidean geometry. ..."Congruent" means in Euclidean geometry the same as "determining parallelism," a meaning which it does not have in non-Euclidean geometry.
Hans ReichenbachWe can... treat only the geometrical aspects of mathematics and shall be satisfied in having shown that there is no problem of the truth of geometrical axioms and that no special geometrical visualization exists in mathematics.
Hans Reichenbach