> the examples I could readily find of program synthesis are decidable problems, like deciding the maximum of two numbers or deciding membership in a list. Can

> the examples I could readily find of program synthesis are decidable problems, like deciding the maximum of two numbers or deciding membership in a list. Can you find examples of human program synthesis for undecidable problems?