ernest simon and michael polanyi