pull down to refresh

There are some problems that are undecidable, like the Halting Problem