15399 Constructive Logic
Lecture 13: Arithmetic
In the previous lecture we introduced firstorder logic, where
quantifiers range over elements of an unknown domain. If we instead
talk about natural numbers we obtain arithmetic. In classical logic,
the usual axiom system is called Peano arithmetic; in intuitionistic
logic we have Heyting arithmetic. The principal difference between
the two is the underlying logic, not the formulation of the natural
numbers or properties such as induction.
[ Home
 Schedule
 Assignments
 Handouts
 Software
 Overview
]
fp@cs
Frank Pfenning
