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 |
| _version_ | 1811306776963842048 |
|---|---|
| author | STEFANO LEONESI CARLO TOFFALORI |
| author_facet | STEFANO LEONESI CARLO TOFFALORI |
| author_sort | STEFANO LEONESI |
| collection | DOAJ |
| description |
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.
|
| first_indexed | 2024-04-13T08:51:52Z |
| format | Article |
| id | doaj.art-f414da7597ba4f07ad32222687341586 |
| institution | Directory Open Access Journal |
| issn | 1428-6394 |
| language | English |
| last_indexed | 2024-04-13T08:51:52Z |
| publishDate | 2005-07-01 |
| publisher | Gdańsk University of Technology |
| record_format | Article |
| series | TASK Quarterly |
| spelling | doaj.art-f414da7597ba4f07ad322226873415862022-12-22T02:53:27ZengGdańsk University of TechnologyTASK Quarterly1428-63942005-07-0193LOGIC, PRIMES AND COMPUTATION: A TALE OF UNRESTSTEFANO LEONESI0CARLO TOFFALORI1Universit`a di Camerino, Dipartimento di Matematica e InformaticaUniversit`a di Camerino, Dipartimento di Matematica e Informatica 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. https://journal.mostwiedzy.pl/TASKQuarterly/article/view/2131computabilityfeasibilityprimalitysatisfiability |
| spellingShingle | STEFANO LEONESI CARLO TOFFALORI LOGIC, PRIMES AND COMPUTATION: A TALE OF UNREST TASK Quarterly computability feasibility primality satisfiability |
| title | LOGIC, PRIMES AND COMPUTATION: A TALE OF UNREST |
| title_full | LOGIC, PRIMES AND COMPUTATION: A TALE OF UNREST |
| title_fullStr | LOGIC, PRIMES AND COMPUTATION: A TALE OF UNREST |
| title_full_unstemmed | LOGIC, PRIMES AND COMPUTATION: A TALE OF UNREST |
| title_short | LOGIC, PRIMES AND COMPUTATION: A TALE OF UNREST |
| title_sort | logic primes and computation a tale of unrest |
| topic | computability feasibility primality satisfiability |
| url | https://journal.mostwiedzy.pl/TASKQuarterly/article/view/2131 |
| work_keys_str_mv | AT stefanoleonesi logicprimesandcomputationataleofunrest AT carlotoffalori logicprimesandcomputationataleofunrest |