In this post I shall continue some of the themes of the previous one by looking at fairly simple but not completely trivial mathematical statements and trying to imagine how a computer might systematically solve them. The main one comes later on: I shall look at how a computer might arrive at a construction of an injection from to . (If you don’t know what this means, it’s simple to explain: to each pair of positive integers one must assign a positive integer in such a way that no two pairs get assigned the same positive integer.) (more…)

Advertisements