Theorema

Euclides theorema Pythagorae demonstravit: quod triangulum ABD aequum est atque FBC, rectangulum BKDL ergo eandem aream habet atque FGAB. Eodem modo rectangula AHIC et KCEL eandem aream habent. Summa superficierum quadratorum in lateris parvis ergo aequa est superficies quadrati in latere maximo vel hypotenusa.

Theorema (-tis, n.) (Graece Θεώρημα 'contemplatum') est pronuntiatum logice probatum. Propositum nondum probatum est coniectura. Ars mathematica est quasi collectio omnium theorematum ab omnibus mathematicis probatorum.

Mathematici Graeci primi fuerunt qui theoremata ab axiomatis demonstrabant. Logica est pars mathematicae quae, inter alia, de demonstrationum formis tractat.

Nexus interni

• Axioma
• Corollarium
• Formula
• Lemma
• Theorema binomiale
• Theorema bipolare
• Theorema Dieudonnéanum
• Theorema fundamentale arithmeticae
• Theorema Pythagorae
• Theorema Ultimum Fermatianum
• Theoremata Gödel de imperfectione
• Theoria
• Coniectura

Bibliographia

• Aigner, Martin, et Günter M. Ziegler. 2001. Proofs from The Book. New York: Springer.
• Gowers, Timothy, June Barrow-Green, Imre Leader, edd. 2008. The Princeton Companion to Mathematics. Princeton: Princeton University Press. ISBN 9780691118802.
• Hadamard, Jacques. 1945 The Psychology of Invention in the Mathematical Field. Princeton: Princeton University Press, rpt. Dover. ISBN 9780486201078.
• Polya, G. 1957. How to Solve It: A New Aspect of Mathematical Method. Princeton: Princeton University Press. ISBN 9780691119663.