Da Sie Spiele als Beispiel für „physische Intuition“ betrachten, während ich in Spielen nichts mit Physik zu tun habe, gehe ich davon aus, dass Sie nicht auf „physische“, sondern auf „Intuition“ setzen.
Ich behaupte, dass ein Teil des Zwecks des Studiums (Ausbildung oder Forschung) in der theoretischen Informatik darin besteht , die Intuition für die abstrakten Begriffe zu entwickeln, die sich auf das Rechnen beziehen. Intuition wird erlangt, indem man das Konzept studiert und sich mit ihm vertraut macht. Ich erwarte nicht, dass es eine nette Abkürzung gibt.
Zum Beispiel werden Studenten im Grundstudium von der Unentscheidbarkeit des Stopp-Problems überrascht sein (wahrscheinlich, weil das bloße Vorhandensein einer unentscheidbaren Sprache bereits überraschend ist). Das Erlernen der Tatsache, ihres Beweises, einiger verwandter Ergebnisse und der breiten Anwendbarkeit der Beweistechnik macht dieses überraschende Ergebnis jedoch weniger überraschend und in der Tat sehr natürlich. Ich glaube, dass das Gleiche für kompliziertere Ergebnisse gilt.
Was das konkrete Ergebnis betrifft, stimme ich nicht zu, dass es für MA⊆AM keine einfache Intuition gibt. (Warnung: Ich studiere gerade dieses und ähnliche Ergebnisse selbst und sage möglicherweise etwas Falsches.) In einem MA-System muss Merlin eine einzige Antwort geben, die den meisten von Arthur verwendeten Zufallssequenzen entspricht. Wir ändern das System so, dass Arthur mehrere (polynomisch viele) Zufallssequenzen an Merlin sendet und Merlin eine einzige Antwort geben muss, die zu allen passt, was mir ein natürlicher Versuch erscheint. Der Nachweis der Solidität dieses AM-Systems ist eine einfache Anwendung des Chernoff-Verfahrens. Ich denke nicht, dass irgendetwas in diesem Ergebnis konzeptionell schwer zu verstehen ist.
Im Hintergrund: Ihre Frage erinnerte mich an einen schönen Blog-Beitrag „ Abstraktion, Intuition und der Irrtum des Monadentutorials “ von Brent Yorgey, in dem er die Schwierigkeit, die Intuition zu kommunizieren, durch eine fiktive Nichterklärung „Monaden sind Burritos“ erklärte. Wenn die obige Erklärung, wie der Beweis von MA⊆AM funktioniert, keinen Sinn ergibt, könnte ich den gleichen Irrtum demonstrieren. :(