University of Bamberg
open search form
You are here

Information Systems and Applied Computer Sciences

Chair for AI Systems Engineering (AISE)

  1.  University of bamberg
  2. Faculties
  3. Information Systems and Applied Computer Sciences
  4. Subject groups
  5. Applied Computer Science
  6. Chair for AI Systems Engineering (AISE)
  7. News
  8. Paper Accepted for Publication in Archive for Mathematical Logic

Paper Accepted for Publication in Archive for Mathematical Logic

We are pleased to announce that Andrea Vestrucci’s manuscript, “Diagonalization as Computation: G?del Sentence Construction and a Type-Disciplined Blueprint,” has been accepted for publication in the Archive for Mathematical Logic (Springer Nature). The article investigates the computational structure underlying diagonalization and G?del sentence construction, offering a type-disciplined framework for understanding one of the central methods in mathematical logic. By presenting diagonalization as a form of computation, the work contributes to ongoing discussions at the intersection of logic, computability, formal systems, and the foundations of mathematics.