De Morgan, Augustus, 1806-1871