Salut tout le monde, j´ai une explication très simple:
L'interprétation constructiviste est de connaître une fonction particulière. L'interprétation non constructiviste est de savoir que la fonction existe. Puis-je vous poser une question. S'il existe une fonction à partir d'une fonction, est-il possible de ne pas les connaître toutes les deux? Même alors, rien ne change pour nous, mais simplement la fonction déductive de la logique apparaît. Dans le langage des théories, cela ressemble à ceci: une autre théorie sert de modèle à une théorie, et une autre théorie est également un langage comme cette théorie. Nous modélisons une théorie dans une autre théorie. Tout comme l'arithmétique est utilisée dans la théorie des ensembles. Ce que fait brillamment Andrei Grishaev lorsqu'il établit le concept de «pulsateur quantique» dans son article:
Ce monde physique «numérique». A. Grishaev. Ce que nous dit la forme du géoïde.
#####
Ce sera plus clair pour vous si vous regardez ceci (les sous-titres français sont disponibles, il suffit de les activer):
#####
Toute critique sera bien accueillie si elle présente un point de vue original et développé.
-----