Whose solution to the discrepancies of the tables would have been agreeable to astronomers