Metamath logo

Autor/Urheber:

Norman Megill

Shortlink:

https://dewiki.de/b/1ea513

Quelle:

Wikimedia Commons

Größe:

320 x 320 Pixel (34299 Bytes)

Beschreibung:

Logo of Metamath (aleph-null)

Kommentar zur Lizenz:

Public domain, as indicated at [2]

Lizenz:

Public domain

Credit:

http://us2.metamath.org:8888/mmbig.gif, linked from [1]

Bild teilen:

         

Weitere Informationen zur Lizenz des Bildes finden Sie hier. Letzte Aktualisierung: Thu, 17 Oct 2024 18:47:30 GMT

Relevante Artikel

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. .. weiterlesen