I forget why I’m mentioning this, but...
[Q] Because it’s part of the cowardice principle.
Yes, right. So here was a case where somebody else diagnosed that I might have the skill set for doing that and Davis had been trying to prove this thing for years and I believe I solved it in about three or four weeks. But, it was quite interesting and then having solved that I... I got some techniques which led to a couple of new discoveries and one was... one is called Minsky Machines occasionally and what I discovered is that you could make... there’s such a thing as a universal computer and Turing... Alan Turing was... and Gödel and Church – another professor at Princeton – had made some discoveries about these universal machines and so one question was... in a universal machine is a computer that can simulate any other computer if you write a big enough program for that. So the question is: What’s the smallest universal computer? And what I discovered after solving Post’s problem was that you could make a universal computer that just had one... one register or tape and all this machine could do is add one, it had... it could store two numbers, so it has two registers, they’re unlimited size, and the operations that... the instructions the machine can do is just add one to one register, add one to the other register or subtract one from either register and when it subtracts it can test to see whether the register is zero or empty and that’s all. So basically it’s... you can make a universal computer with just these two registers and four instructions.
So knowing that, lots of people have been able to show that there exist many other kinds of universal computers, but this was sort of the simplest one that started a sort of new field and the guy who’s exploited that field a lot is Steve Wolfram, he wrote a whole book about what you can do with universal computers of various sorts and... anyway, that came out of this just chance interaction where Martin Davis calls me up and says: 'I think you could solve Post’s problem', and I said: 'What’s Post’s problem?' And... and his guess was right.
So I think I’ve done the same thing sometimes for some students, but I can’t remember it and every now and then... like just yesterday at that dinner, some ex-student came over and said oh... I asked him what he was doing and he said: 'I’m... I'm the leader in this new field here and it’s something that you got me to be interested in.' So... so that’s a weird kind of social network where math... mathematicians find the... there are a fair number of cases where you find two mathematicians solving a problem that one couldn’t.