C'est Moi il y a quelques mois .. ou années enfin je ne sais plus le temps vous savez passe si vite ou si lentement
Ce blogg n'a d'autre ambition que de me faire plaisir en partageant quelques bribes de savoir et susciter en retour des commentaires éclairés (je l'espère) sur ces sujets. J'essaierai d'aborder pour partie (mathématique musique et physique ) les thèmes de réflexion sous l'angle du formalisme.
Au début du XXeme siècle, David Hilbert pensait que le formalisme des mathématiques apportait une preuve irréfutable de la véracité des descriptions quantifiées. Mais en 1931, Gödel bouscula cette convention. Il démontra qu'un système formel qui pouvait faire l'objet d'une description finie était incomplet et ne pouvait démontrer sa consistance (à la fois sa véracité et sa négation). Mais existe-t-il une information minimale capable d'élaborer une théorie précise, le monde est-il compressible algorithmiquement parlant ? Quelle réalité soutend la physique Quantique ?