Stuart_Armstrong comments on Two types of mathematician