پرش به محتوا

متامث

از ویکی‌پدیا، دانشنامهٔ آزاد
(تغییرمسیر از فراریاضیات)
متامث
Metamath
توسعه‌دهنده(ها)نرمن مگیل
مخزن
سیستم‌عامللینوکس، ویندوز، مکینتاش
در دسترس بهآنسی سی
مجوزپروانه عمومی همگانی گنو (کریتیو کامنز اختصاصی برای پایگاه داده)

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

منابع

[ویرایش]
  1. متامث چیست؟ نرمن مگیل، صفحه خانگی متامث.
  2. بیشترین برهان‌های اخیر بایگانی‌شده در ۳ فوریه ۲۰۲۰ توسط Wayback Machine، مگیل، نرمن.

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

[ویرایش]