무한한 우주 속에 중심은 없다는 독특한 사고를 했던 조선 선비, 홍대용에 대한 기록