Diagonal arguments
It is a trivial fact that if we have a square table filled with numbers, we can always form a column which is not yet contained in the table. Despite its apparent triviality, this fact can lead us the most of the path-breaking results of logic in the second half of the nineteenth and the first half...
Main Author: | |
---|---|
Format: | Article |
Language: | ces |
Published: |
Karolinum Press
2017-11-01
|
Series: | Acta Universitatis Carolinae: Philosophica et Historica |
Subjects: | |
Online Access: | http://www.karolinum.cz/doi/10.14712/24647055.2017.14 |