متامث
![]() | |
توسعهدهنده(ها) | نرمن مگیل |
---|---|
مخزن | |
سیستمعامل | لینوکس، ویندوز، مکینتاش |
در دسترس به | آنسی سی |
مجوز | پروانه عمومی همگانی گنو (کریتیو کامنز اختصاصی برای پایگاه داده) |
متامث (به انگلیسی: Metamath) زبانی برای توسعه تعاریف و برهانهای ریاضیات صوری[۱] همراه با بررسی برهان و پایگاه داده در حال رشدِ هزاران قضایای اثبات شده با پوشش نتایجی مرسوم در منطق، نظریه مجموعهها، نظریه اعداد، نظریه گروهها، جبر، آنالیز و توپولوژی است همچنین موضوعاتی در فضاهای هیلبرت و منطق کوانتومی.[۲]
منابع
[ویرایش]- ↑ متامث چیست؟ نرمن مگیل، صفحه خانگی متامث.
- ↑ بیشترین برهانهای اخیر بایگانیشده در ۳ فوریه ۲۰۲۰ توسط Wayback Machine، مگیل، نرمن.
پیوند به بیرون
[ویرایش]- متامث: وبگاه رسمی.
- ریاضیدانان دربارهٔ متامث چه نظری دارند: نظراتی بر متامث.
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.