since 07 November 2024 :

View(s) :

2 (0 ULiège)

Download(s) :

0 (0 ULiège)

References
Facsimile [PDF, 4.2M]

Ideas on Hyperincursive Proof Theory

Arturo Graziano Grappone

p. 293-302

    Abstract

    This paper describes the possibility of incursive proof in classical formal theory.

    Index

    Keywords

    decidability, proof theory, Gödel, hyperincursivity, incursivity

    Text

    Download Facsimile [PDF, 4.2M]

    References

    Bibliographical reference

    Arturo Graziano Grappone, « Ideas on Hyperincursive Proof Theory », CASYS, 8 | 2001, 293-302.

    Electronic reference

    Arturo Graziano Grappone, « Ideas on Hyperincursive Proof Theory », CASYS [Online], 8 | 2001, Online since 10 October 2024, connection on 27 December 2024. URL : http://popups.uliege.be/3041-539x/index.php?id=1452

    Author

    Arturo Graziano Grappone

    Correspondent of Italian Red Cross, International Review « Metalogicon », Piazza Albania, 6, 00153 Roma, Italy

    By this author

    Copyright

    CC BY-SA 4.0 Deed