Jan Śniadecki — Polish mathematician, philosopher and astronomer (1756-1830)