Principiellt lösbar, visst, men det måste göras praktiskt också. Skriva ett program som slumpar fram strategier i form av exekverbar kod är inte så himla enkelt. Åtminstone är det så jag tolkar den föreslagna idén, men jag tycker det känns lite ansträngt luddigt och icke-konkret.
Att gå från en kontinuerlig talrymd till en diskret är en approximation och är en förutsättning för att kunna lösa de flesta problem med hjälp av en dator, det var inte det jag hängde upp mej på. Det jag tycker är lite löjligt är att algoritmen som presenteras framställs som om den vore den enklaste sak i världen att implementera.