Programming with sets; an introduction to SETL
Programming with sets; an introduction to SETL
Introduction to higher order categorical logic
Introduction to higher order categorical logic
Vicious circles: on the mathematics of non-wellfounded phenomena
Vicious circles: on the mathematics of non-wellfounded phenomena
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Abstract state machines and computationally complete query languages
Information and Computation
Choiceless polynomial time
From Hilbert's program to a logic tool box
Annals of Mathematics and Artificial Intelligence
Yuri, logic, and computer science
Fields of logic and computation
| Hi-index | 0.00 |
Sets play a key role in foundations of mathematics. Why? To what extent is it an accident of history? Imagine that you have a chance to talk to mathematicians from a far-away planet. Would their mathematics be set-based? What are the alternatives to the set-theoretic foundation of mathematics? Besides, set theory seems to play a significant role in computer science; is there a good justification for that? We discuss these and some related issues.