Author: A. Heyting
Born: 1898