Autor:	Avigad, Jeremy, Dean, Edward, Mumma, John
Předmět:	EUCLID'S elements PROOF theory INFERENCE (Logic) PHILOSOPHICAL analysis AXIOMATIC set theory AXIOMATIC recursion theory SEMANTICS MATHEMATICAL models PLANE geometry
Zdroj:	Review of Symbolic Logic; Dec2009, Vol. 2 Issue 4, p700-768, 69p, 20 Diagrams
Abstrakt:	We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning. [ABSTRACT FROM AUTHOR]
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu