A FORMAL PROOF OF EULER'S POLYHEDRON FORMULA

• Authors: Alama Jesse
• Languages of publication: EN

Abstracts

EN

Euler's polyhedron formula asserts for a polyhedron p that V - E + F = 2, where V , E, and F are, respectively, the numbers of vertices, edges, and faces of p. This paper concerns a formal proof in the mizar system of Euler's polyhedron formula carried out [1] by the author. We discuss the informal proof (Poincaré's) on which the formal proof is based, the formalism in which the proof was carried out, notable features of the formalization, and related projects.

Keywords

EN

EULER'S POLYHEDRON FORMULA; FORMAL PROOF

Discipline

• LIBRARY_&_INFORMATION_SCIENCE: LIBRARY & INFORMATION SCIENCE

• Publisher: Sciendo
• Journal: Studies in Logic, Grammar and Rhetoric
• Year: 2009
• Issue: 18(31)
• Pages: 9-23
• Document type: ARTICLE

Contributors

author

Alama Jesse

• Jesse Alama, Department of Philosophy, Stanford University, USA

Identifiers

CEJSH db identifier

11PLAAAA10161