Ich lese gerade GEB von Hofstadter und bin mir nicht sicher wie der Quantor ~∀: übersetzt werden soll. Vielleicht als nicht fuer alle ? zB ~∀c:∃b: (SS0*b)=c Fuer nicht alle gilt, es existiert keine Zahl die multipliziert mit zwei ergibt?
Ok die Frage mag trivial sein, aber ich naja kommt oft bei mir vor ;-)
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."