متامث (به انگلیسی: Metamath) زبانی برای توسعه تعاریف و برهان‌های ریاضیات صوری[۱] همراه با بررسی برهان و پایگاه داده در حال رشدِ هزاران قضایای اثبات شده با پوشش نتایجی مرسوم در منطق، نظریه مجموعه‌ها، نظریه اعداد، نظریه گروه‌ها، جبر، آنالیز و توپولوژی است همچنین موضوعاتی در فضاهای هیلبرت و منطق کوانتومی.[۲]

متامث
Metamath
Metamath logo.png
توسعه‌دهنده(ها)نرمن مگیل
سیستم‌عامللینوکس، ویندوز، مکینتاش
موجود بهآنسی سی
گونهبررسی برهان رایانه-کمک
پروانهپروانه عمومی همگانی گنو (کریتیو کامنز اختصاصی برای پایگاه داده)

منابعویرایش

  1. متامث چیست؟ نرمن مگیل، صفحه خانگی متامث.
  2. بیشترین برهان‌های اخیر، مگیل، نرمن.

پیوند به بیرونویرایش