David Nagel's scientific contributions