The Definitions and Theorems of the Spherics of Theodosios

In Amy Ackerberg-Hastings, Marion W. Alexander, Zoe Ashton, Christopher Baltus, Phil Bériault, Daniel J. Curtin, Eamon Darnell, Craig Fraser, Roger Godard, William W. Hackborn, Duncan J. Melville, Valérie Lynn Therrien, Aaron Thomas-Bolduc & R. S. D. Thomas (eds.), Research in History and Philosophy of Mathematics: The Cshpm 2017 Annual Meeting in Toronto, Ontario. Springer Verlag. pp. 1-21 (2018)
  Copy   BIBTEX

Abstract

My journal article abbreviation of Euclid’s Phenomena with Len Berggren shows what the book says to those that don’t need or want the whole treatise. Its most important part is a list of the enunciations of the theorems as the obvious way to express the contents. This is a summary of the Spherics of Theodosios for “those that don’t need or want the whole treatise”. That summary is the second long section of this paper. The first section explains why, with examples, the summary cannot be just “a list of the enunciations of the theorems”.

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Charting the labyrinth of Bell-type theorems.Tomasz Placek - 1997 - Logic and Logical Philosophy 5:93-120.
Automated Theorem Proving and Its Prospects. [REVIEW]Desmond Fearnley-Sander - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2.
Indirect-deduction theorems.S. J. Surma - 1967 - Studia Logica 20 (1):164-166.
Le contenu astronomique des Sphériques de Ménélaos.Pierre Pinel, Abdelkaddous Taha & Robert Nadal - 2004 - Archive for History of Exact Sciences 58 (5):381-436.
Gödel’s Incompleteness Theorems and Physics.Newton C. A. da Costa - 2011 - Principia: An International Journal of Epistemology 15 (3):453-459.
How Gruesome are the No-free-lunch Theorems for Machine Learning?Davor Lauc - 2018 - Croatian Journal of Philosophy 18 (3):479-485.
Completeness theorems, representation theorems: what's the difference?David C. Makinson - unknown - Hommage À Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz, Ed. Rønnow-Rasmussen Et Al. 2007.
Some applications of infinitely long formulas.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (3):339-349.

Analytics

Added to PP
2020-06-17

Downloads
4 (#1,627,781)

6 months
3 (#983,674)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references