Nhà toán học kiêm nhà thiên văn học nào có một cái mũi làm bằng đồng thau?