Although this paper contains ideas which have proved of fundamental importance to mathematics and to computer science ever since it appeared, publishing it in the Proceedings of the London Mathematical Society did not prove easy.
Kahit na papel na ito ay naglalaman ng mga ideya na may proved ng pangunahing kahalagahan sa matematika at sa computer science mula pa nang ito ay lumitaw, publish ito sa mga pamamaraan ng London matematiko Kapisanan ay hindi madaling patunayan.