A journey through computability, topology and analysis