pith. sign in

arxiv: 1410.7526 · v2 · pith:JDZ4VS2Anew · submitted 2014-10-28 · 🧮 math.HO

Direct and indirect methods of proof. The Lehmus-Steiner theorem

classification 🧮 math.HO
keywords directindirectproofgivenlehmus-steinermethodsproofstheorem
0
0 comments X
read the original abstract

In the paper different kinds of proof of a given statement are discussed. Detailed descriptions of direct and indirect methods of proof are given. Logical models illustrate the essence of specific types of indirect proofs. Direct proofs of Lehmus-Steiner's Theorem are proposed.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.