ist es _bewiesen_, dass man eine solche Funktion nicht analytisch/algebraisch lösen kann oder hat man das richtige "Mittel" vielleicht nur noch nicht gefunden?
Könnte ja sein dass es wirklich so ist. Irgendwann hat man jede Gleichung erst mal gefunden, vorher hat man es gar nicht gelöst oder auch nur näherungsweise.