과학문화진흥원 이사장, 천문학, 천문학사