0
TIL Ernst Schröder would've have to wait nearly 80 years* —with the intervening invention of the computer — for his late XIX logical notation:
(here intended as part of a universal formal "pasigraphy", as communicated to an international mathematical conference in Zürich) to find yet another application: as a simpler, if unfortunately far too earlier, alternative to predicate transformer semantics.
- „Über Pasigraphie, ihren gegenwärtigen Stand und die pasigraphische Bewegung in Italien‟, 1897