An Archimedean Proof of Heron's Formula for the Area of a Triangle; Reconstructed

Centaurus 24 (1):110-116 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1111/j.1600-0498.1980.tb00368.x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

To Let: Unsuccessful Stipulation, Bad Proof, and Paradox.Laurence Goldstein - 2013 - American Philosophical Quarterly 50 (1):93.
Uniqueness of normal proofs of minimal formulas.Makoto Tatsuta - 1993 - Journal of Symbolic Logic 58 (3):789-799.
On the set-theoretic strength of the existence of disjoint cofinal sets in posets without maximal elements.Paul Howard, Denis I. Saveliev & Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):155-176.
Describing proofs by short tautologies.Stefan Hetzl - 2009 - Annals of Pure and Applied Logic 159 (1-2):129-145.
Measurement without archimedean axioms.Louis Narens - 1974 - Philosophy of Science 41 (4):374-393.
$triangle^1_3$-Stability.Dror Ben-Arie & Haim Judah - 1993 - Journal of Symbolic Logic 58 (3):941-954.
On the complexity of proof deskolemization.Matthias Baaz, Stefan Hetzl & Daniel Weller - 2012 - Journal of Symbolic Logic 77 (2):669-686.
J. S. Mill's Proof of the Principle of Utility: D. D. Raphael.D. D. Raphael - 1994 - Utilitas 6 (1):55-63.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
Girl with heron: gender and the erotic in classical Greek iconography (sixth to fourth centuries). [REVIEW]Nicolas Siron - 2015 - Clio 42:217-242.
On Martin's Axiom and Forms of Choice.Eleftherios Tachtsis - 2016 - Mathematical Logic Quarterly 62 (3):190-203.
The eternal triangle: the formula for a full life.Allison L. Bayles - 1988 - Madras: International Society for the Investigation of Ancient Civilizations.
A Contractualist Reading of Kant's Proof of the Formula of Humanity.Adam Cureton - 2013 - Kantian Review 18 (3):363-386.
Non-Archimedean Probability.Vieri Benci, Leon Horsten & Sylvia Wenmackers - 2013 - Milan Journal of Mathematics 81 (1):121-151.
A Syntactic Approach to Maksimova's Principle of Variable Separation for Some Substructural Logics.H. Naruse, Bayu Surarso & H. Ono - 1998 - Notre Dame Journal of Formal Logic 39 (1):94-113.

Analytics

Added to PP
2019-01-13

Downloads
9 (#1,279,102)

6 months
5 (#710,646)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references