Metamath: A Computer Language for Mathematical Proofs - Tapa dura

Wheeler, David A.; Megill, Norman

 
9780359702237: Metamath: A Computer Language for Mathematical Proofs
Tapa dura
ISBN 10: 0359702236 ISBN 13: 9780359702237
Editorial: Lulu.com, 2019

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Lulu.com
Año de publicación
2019
Idioma
Inglés
ISBN 10 
0359702236
ISBN 13 
9780359702237
Encuadernación
Tapa dura
Número de páginas
248
Contacto del fabricante
no disponible
Persona responsable
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Alemania