Search for tag: "peano axioms"

ECS20 - W22 - Lecture 12 (6R): Induction and Recursion 1

Lecture 2022-02-10. The language of number theory, and the Peano axioms for it. The last axiom: the principle of mathematical induction. Different forms of it. Using induction for establishing…

From  Phil Rogaway 0 likes 136 plays 0