Big-Oh Notations, Elections, and Hyperreal Numbers: A Socratic Dialogue

Proceedings of the ACMS 23 (2023)
  Copy   BIBTEX


We provide an intuitive motivation for the hyperreal numbers via electoral axioms. We do so in the form of a Socratic dialogue, in which Protagoras suggests replacing big-oh complexity classes by real numbers, and Socrates asks some troubling questions about what would happen if one tried to do that. The dialogue is followed by an appendix containing additional commentary and a more formal proof.

Author's Profile

Samuel Allen Alexander
Ohio State University (PhD)


Added to PP

224 (#59,236)

6 months
99 (#33,984)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?