|
|
|
|
|
|
by cgmg
3188 days ago
|
|
|
> 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? |
|
|