WikiDer > Metaanzahl
EIN Metasatz ist in der metalogisch, das mathematische Logik und verwandte Disziplinen wie die Meta-Mathematik ein Aussage über Thesen die wiederum Teil eines anderen wissenschaftlichen Eens sind Theorie oder in Bezug auf a axiomatische Methode. Ein Metasatz unterscheidet sich somit von einem gewöhnlichen Satz dadurch, dass er nicht im Rahmen einer gewöhnlichen wissenschaftlichen Theorie ausgedrückt wird. Wenn Manipulationen die diskutierte Theorie ändern (zum Beispiel das Hinzufügen neuer Axiom's), ist der Metasatz oft nicht mehr gültig.
Beispiel
Im kryptografische Protokolle wird eingesetzt formale Methoden und besonders Kodierungen diskrete Informationen zu schützen. Die Metazählungen beziehen sich in diesem Fall direkt auf die Sicherheitsvorrichtungen des Systems und geben an, dass daraus keine versteckten Daten abgeleitet werden können. Das Spezifikation eines solchen Protokolls ist eine gewöhnliche Theorie, die weiter verfeinert werden kann mittels Theorieerweiterung, zum Beispiel mit algebraisch Manipulation und/oder Hinzufügen neuer Axiome. Dies kann in gutem Glauben erfolgen, um das System noch sicherer zu machen, oder in böswilliger Absicht, verschlüsselte Daten zu stehlen, wie z Sitzungsschlüssel aus dem System (im Volksmund als "Cracking" bezeichnet). In beiden Fällen verlieren die Sicherheitseigenschaften und damit die Metacounts, nach denen keine versteckten Daten aus dem zugrunde liegenden System abgeleitet werden können, durch diese Änderung ihre Gültigkeit.