@b5cdaf1a even better - he’s now on the £50 note, along with his equations to define a Turing machine (as others have described in the comments)

https://files.mastodon.social/media_attachments/files/111/081/420/645/165/876/original/487f8b25890e5ff2.png