Pātuhitia tēnei: Mathematical logic and computability/