Michael Polanyi (1891-1976)/tree