Found 1 bookmarks
Custom sorting
Barry Mazur’s “When is one thing equal to some other thing?” memo
Barry Mazur’s “When is one thing equal to some other thing?” memo
Both modes of definition need a way of insisting on a certain “minimality” for the structure of natural numbers that they are developing. The Peano axioms formulate this “minimality” by dependence upon the domino effect of truth in a mathematically inductive context. The Peano category approach formulates “minimality” by considering the position of the natural numbers as a discrete dynamical system, among all discrete dynamical systems.
·math.harvard.edu·
Barry Mazur’s “When is one thing equal to some other thing?” memo