decidability http://popups.lib.uliege.be/1373-5411/index.php?id=1143 Index terms fr 0 Ideas on Hyperincursive Proof Theory http://popups.lib.uliege.be/1373-5411/index.php?id=1452 This paper describes the possibility of incursive proof in classical formal theory. Fri, 12 Jul 2024 14:22:57 +0200 Thu, 10 Oct 2024 10:33:12 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=1452 An Introduction to the Computation Model of Blum, Shub and Smale http://popups.lib.uliege.be/1373-5411/index.php?id=1140 In this paper, we present an introduction to the theory of computability and complexity over a ring proposed by L. Blum, M. Shub and S. Smale in [Blum-Shub-Smale-1989]. Fri, 05 Jul 2024 14:28:17 +0200 Fri, 05 Jul 2024 14:28:28 +0200 http://popups.lib.uliege.be/1373-5411/index.php?id=1140