Author: Arend Heyting
Born: 1898