This is a cross-post from mathstack:


I would like to learn a bit about the connections between Gentzen's discoveries in the 30's related to proof theory and, in particular, his sequent calculus, and the later development of computer languages. Could anyone elaborate a bit on that? I am particularly interested in knowning whether one can find in Gentzen some predecessor of a pointer to a memory address. If so, in which specific form?

Thanks in advance.



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.