Prompt
"Create a realistic portrait of Gérard Gentzen, a German mathematician and logician, sitting at a desk with papers and a pen, wearing formal attire from the 1930s, with a subtle background hinting at his academic environment, reflecting his contributions to logic, proof theory, and mathematics."
