Why sets? (2008)
| Venue: | PILLARS OF COMPUTER SCIENCE: ESSAYS DEDICATED TO BORIS (BOAZ) TRAKHTENBROT ON THE OCCASION OF HIS 85TH BIRTHDAY, VOLUME 4800 OF LECTURE NOTES IN COMPUTER SCIENCE |
| Citations: | 2 - 0 self |
BibTeX
@INPROCEEDINGS{Blass08whysets?,
author = {Andreas Blass and Yuri Gurevich},
title = {Why sets?},
booktitle = {PILLARS OF COMPUTER SCIENCE: ESSAYS DEDICATED TO BORIS (BOAZ) TRAKHTENBROT ON THE OCCASION OF HIS 85TH BIRTHDAY, VOLUME 4800 OF LECTURE NOTES IN COMPUTER SCIENCE},
year = {2008},
publisher = {Springer. In press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
