Prompt

Create an image of a formal mathematical diagram illustrating the Myhill isomorphism theorem, which states that two recursively enumerable sets are recursively isomorphic if and only if they are computably isomorphic. The diagram should feature two large, overlapping circles labeled "Recursively Enumerable Sets" and "Computably Isomorphic Sets", with arrows and equations connecting them to represent the theorem's statement. In the background, a subtle pattern of 1s and 0s or a binary code texture should be visible, symbolizing the connection to computability theory and recursion theory. The style should be a clean, modern, and minimalist mathematical illustration.

Image by stabilityai/stable-diffusion-3.5-large-turbo