Jan Koroński (Politechnika Krakowska), Rachunek krakowianowy i jego twórca – Tadeusz Banachiewicz, wybitny astronom i matematyk