Megill M Metamath A Computer Language for Mathematical Proofs 2019
Category: eBooks
- views: 77
- date: 13 June 2023
- posted by: BeMyLove
Megill M Metamath A Computer Language for Mathematical Proofs 2019 | 5.36 MB
English | 247 Pages
Title: Metamath: A Computer Language for Mathematical Proofs
Author: Norman Megill
Year: 2019
Description:
Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple and robust, with an almost total absence of hard-wired syntax, and we believe that it provides about the simplest possible framework that allows essentially all of mathematics to be expressed with absolute rigor. While simple, it is also powerful; the Metamath Proof Explorer (MPE) database has over 23,000 proven theorems and is one of the top systems in the "Formalizing 100 Theorems" challenge. This book explains the Metamath language and program, with specific emphasis on the fundamentals of the MPE database.
DOWNLOAD:
https://rapidgator.net/file/dd80b0af6a3a4f732d205491f4b25527/Megill_M._Metamath._A_Computer_Language_for_Mathematical_Proofs_2019.rar
https://k2s.cc/file/b0b6420294e9f/Megill_M._Metamath._A_Computer_Language_for_Mathematical_Proofs_2019.rar
Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple and robust, with an almost total absence of hard-wired syntax, and we believe that it provides about the simplest possible framework that allows essentially all of mathematics to be expressed with absolute rigor. While simple, it is also powerful; the Metamath Proof Explorer (MPE) database has over 23,000 proven theorems and is one of the top systems in the "Formalizing 100 Theorems" challenge. This book explains the Metamath language and program, with specific emphasis on the fundamentals of the MPE database.
DOWNLOAD:
https://rapidgator.net/file/dd80b0af6a3a4f732d205491f4b25527/Megill_M._Metamath._A_Computer_Language_for_Mathematical_Proofs_2019.rar
https://k2s.cc/file/b0b6420294e9f/Megill_M._Metamath._A_Computer_Language_for_Mathematical_Proofs_2019.rar
We need your support!
Make a donation to help us stay online
Bitcoin (BTC)
bc1q08g9d22cxkawsjlf8etuek2pc9n2a3hs4cdrld
Bitcoin Cash (BCH)
qqvwexzhvgauxq2apgc4j0ewvcak6hh6lsnzmvtkem
Ethereum (ETH)
0xb55513D2c91A6e3c497621644ec99e206CDaf239
Litecoin (LTC)
ltc1qt6g2trfv9tjs4qj68sqc4uf0ukvc9jpnsyt59u
USDT (ERC20)
0xb55513D2c91A6e3c497621644ec99e206CDaf239
USDT (TRC20)
TYdPNrz7v1P9riWBWZ317oBgJueheGjATm
Information |
|||
 |
Users of GUESTS are not allowed to comment this publication. | ||