Logic revisited through informatics
The climateric date in recent logic is 1931 : incompleteness puts an end to XIXth century, scientist logic. However, XXth century logic, which starts with Gentzen, Herbrand and Kolmogorov was still relying on XIXth century schemes: Hilbert's formalism and Russell's logicism, until computer science, through its multiple connections with logic, provided a fresh grid.
Indeed, the logical universe can be enlightened by three basic oppositions :
1. What is an answer (implicit/explicit) ?
2. What is a question (formatted/informal) ?
3. What conveys certainty (epidictic/apodictic) ?
| Subject : | : | oral |
| Topics | : | Philosophy of Computing |
| PDF version | : |  PDF version |
