LOGIC, PRIMES AND COMPUTATION: A TALE OF UNREST
The early connections between Mathematical Logic and Computer Science date back to the thirties and to the birth itself of modern Theoretical Computer Science, and concern computability. This survey wishes to emphasize how alive and fruitful this relationship has been since then, and still is.
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Gdańsk University of Technology
2005-07-01
|
| Series: | TASK Quarterly |
| Subjects: | |
| Online Access: | https://journal.mostwiedzy.pl/TASKQuarterly/article/view/2131 |