Hostname: page-component-848d4c4894-x24gv Total loading time: 0 Render date: 2024-05-05T21:34:27.600Z Has data issue: false hasContentIssue false
  • English
  • Français

Preface to Special Issue devoted to the memory of Sauro Tulipani

Published online by Cambridge University Press:  01 February 2008

FLAVIO CORRADINI  and
CARLO TOFFALORI
FLAVIO CORRADINI
Affiliation:
Department of Mathematics and Computer Science, University of Camerino, Via Madonna delle Carceri 9, 62032 Camerino, Italy Email: flavio.corradini@unicam.it, carlo.toffalori@unicam.it
CARLO TOFFALORI
Affiliation:
Department of Mathematics and Computer Science, University of Camerino, Via Madonna delle Carceri 9, 62032 Camerino, Italy Email: flavio.corradini@unicam.it, carlo.toffalori@unicam.it
Get access Rights & Permissions [Opens in a new window]

Extract

2006 was a special year for both mathematical logic and computer science, as it celebrated Gödel's centenary. Although Gödel's work was mainly concerned with mathematics and metamathematics, the crucial role it had in the foundation of modern theoretical computer science is undeniable: for instance, one only has to remember Gödel's contributions to the birth of recursion theory as well as his part in the debate in the nineteen thirties on the subject of the Church Thesis.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 18 , Special Issue 1: in memory of Sauro Tulipani , February 2008 , pp. 1 - 4
Copyright
Copyright © Cambridge University Press2008

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)