Independence results in computer science
During the last few years research in theoretical computer science has identified several problems whose solution seems to be important for the further development of the field and on which a considerable amout of research effort has been expended. In spite of all this effort these problems remain u...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Ithaca, New York
1976
|
| Schriftenreihe: | Cornell University <Ithaca, NY> / Department of Computer Science: Technical report
296 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | During the last few years research in theoretical computer science has identified several problems whose solution seems to be important for the further development of the field and on which a considerable amout of research effort has been expended. In spite of all this effort these problems remain unsolved and, no real progress seems to have been made toward their solution. Nevertheless, there remains real optimism that they will be solved and a deeply ingrained conviction that they can be solved. This note points out that many of these problems may not have a solution in formalized mathematical systems; more specifically, proof is shown that the solutions of many instances of these problems are independent of the axioms of set theory. |
|---|---|
| Beschreibung: | 12 Sp. |