https://arolstar52-zhtest.hf.space/index.php?action=history&feed=atom&title=Metamath 2026-07-16T23:09:09Z 在这个wiki上该页的修订历史 MediaWiki 1.43.9 https://arolstar52-zhtest.hf.space/index.php?title=Metamath&diff=2555657&oldid=prev 2021-02-07T23:23:48Z

<p>补救3个来源，并将0个来源标记为失效。) #IABot (v2.0.8</p> <p><b>新页面</b></p><div>{{Infobox Software<br /> |name = Metamath<br /> |logo=[[Image:Metamath logo.png|100px]]<br /> |developer = Norman Megill<br /> |programming language = [[ANSI C]]<br /> |operating_system = [[Linux]], [[Microsoft Windows|Windows]], [[Mac OS]]<br /> |genre = 電腦補助證明驗證<br /> |license = [[GNU通用公共授權條款]] (資料庫使用[[創用CC]])<br /> |website = http://metamath.org<br /> }}<br /> <br /> &#039;&#039;&#039;Metamath&#039;&#039;&#039;是用來發展嚴格形式化數學定義及證明的一款語言&lt;ref name=&quot;whatismm&quot;&gt;{{cite web | author=Megill, Norman | title=What is Metamath? | work=Metamath Home Page | url=http://us.metamath.org/#faq | accessdate=2015-04-19 | archive-date=2020-11-24 | archive-url=https://web.archive.org/web/20201124173846/http://us.metamath.org/#faq | dead-url=no }}&lt;/ref&gt;，亦指用來驗證該語言的[[自動化證明驗證|證明驗證器]]，以及存有[[邏輯]]、[[集合論]]、[[數論]]、[[群論]]、[[代數]]、[[數學分析]]、[[拓撲學]]、[[希爾伯特空間]]及[[量子邏輯]]&lt;ref name=&quot;recent&quot;&gt;{{cite web | title=Most recent proofs | author=Megill, Norman | work=Metamath Proof Explorer | url=http://us2.metamath.org:8888/mpegif/mmrecent.html | accessdate=2015-04-19 | archive-date=2020-02-03 | archive-url=https://web.archive.org/web/20200203053747/http://us2.metamath.org:8888/mpegif/mmrecent.html | dead-url=no }}&lt;/ref&gt;等領域中數萬條已證明定理且仍不斷在增加中的資料庫。<br /> <br /> == 參考資料 ==<br /> {{Reflist}}<br /> <br /> == 外部連結 ==<br /> * [http://us.metamath.org Metamath] {{Wayback|url=http://us.metamath.org/ |date=20201124173846 }}: 官方網站<br /> <br /> [[分類:數學軟體]]<br /> [[分類:數理邏輯]]</div>

imported>InternetArchiveBot