Flavio Gioia the inventor of the compass