Home // COMPUTATION TOOLS 2026, The Seventeenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking // View article

On the Relation between Grossone Methodology and Diagonalization of Programs

Authors:
Emanuele Covino
Antonella Falini

Keywords: grossone methodology; constructive diagonalization.

Abstract:
We argue that there could be a connection between the Grossone methodology, introduced by Sergeyev, and the Diagonalization operator defined in one of our previous works. The two concepts are based on similar theoretical principles, and they both deal with the problem of defining infinite objects (numbers or hierarchies of functions, respectively) with a finite number of operators.

Pages: 5 to 7

Copyright: Copyright (c) IARIA, 2026

Publication date: April 19, 2026

Published in: conference

ISSN: 2308-4170

ISBN: 978-1-68558-379-8

Location: Lisbon, Portugal

Dates: from April 19, 2026 to April 23, 2026