Metamath
Programmiersprache und Online-Archiv / aus Wikipedia, der freien encyclopedia
Liebe Wikiwand-AI, fassen wir uns kurz, indem wir einfach diese Schlüsselfragen beantworten:
Können Sie die wichtigsten Fakten und Statistiken dazu auflisten Metamath?
Fass diesen Artikel für einen 10-Jährigen zusammen
ZEIGE ALLE FRAGEN
Metamath ist zum einen eine Programmiersprache, die formale Systeme und in solchen Systemen geführte Beweise beschreiben kann, zum anderen ein Online-Archiv von formalen Beweisen, die mit der Metamath-Programmiersprache geführt worden sind. Anders als die üblich in der Mathematik verwendeten informellen Beweise, kann mit Metamath jeder einzelne logische Schritt eines Beweises auf elementare Manipulation von Zeichenketten reduziert werden.[2][3]
Schnelle Fakten Basisdaten ...
Metamath | |
---|---|
Basisdaten | |
Entwickler | Norman Megill |
Aktuelle Version | 0.198[1] (7. August 2021) |
Betriebssystem | Microsoft Windows, Mac OS X, Linux |
Kategorie | computergestützter Beweisverifizierer |
Lizenz | GNU General Public License |
www.metamath.org |
Schließen