Indecidability and Incompleteness In Formal Axiomatics as Questioned by Anticipatory Processes
p. 259-274
Résumé
Hilbert's conjecture that the whole of mathematics could be provided by a finite set of axioms (Hilbert, publ. 1980) was challenged in branches of mathematics, devoted to arithmetics and algorithmic computation, by Gödel (1931), Church (1936), Turing (1937), and Chaitin (1998). This questioned what can be expected from scientific knowledge, in particular through the mesh of mathematical certainty, in the assessment of what could be considered true about our universe, that is also on ourselves via self-evaluation possibility.
This study will thus revisit some current problems about the conditions required for allowing a measure of "something" likeky unknown, situated "somewhere", in terms of distances and dimensions. The debate will then focus on the scope of mathematical knowledge, with special regards to indecidability, incompleteness, and the fate of such mathematical realites claimed to escape the field of mathematics, like for Chaitin's 'omega number'. The formal involvement of anticipatory processes in finding solutons through biological self-evaluaton will be analyzed in several steps.
Texte
Citer cet article
Référence papier
M. Bounias, « Indecidability and Incompleteness In Formal Axiomatics as Questioned by Anticipatory Processes », CASYS, 8 | 2001, 259-274.
Référence électronique
M. Bounias, « Indecidability and Incompleteness In Formal Axiomatics as Questioned by Anticipatory Processes », CASYS [En ligne], 8 | 2001, mis en ligne le 12 July 2024, consulté le 20 September 2024. URL : http://popups.lib.uliege.be/1373-5411/index.php?id=1433
Auteur
M. Bounias
University of Avignon (Faculty of Sciences, Biology Dpt.) and INRA-DSPE BioMathematics Unit, Chemin du Petit Bosquet, 84390 Saint-Christol d’Albion, France