Prompt

"Create an image of a formal, black and white, chalkboard-style illustration representing Rice's theorem, a fundamental concept in computability theory and theoretical computer science. The image should feature a chalkboard filled with complex mathematical equations and diagrams, specifically highlighting the undecidability of program properties, with a subtle background image of a Turing machine. Incorporate the name 'Rice's theorem' prominently in the center, with 'Henry Gordon Rice' and the year '1953' written below it. The style should resemble a classic mathematical proof illustration, conveying a sense of timelessness and intellectual rigor."

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