About us.
The logic appears already developed, even in symbolic form, in the philosophy of Aristotle. However, it actually corresponds to the second half of the nineteenth century the recognition that ordinary logical operations can be expressed through algebraic operations. Then we also began to suspect that natural numbers, as well as other mathematical objects, could be defined in purely logical terms.
|