Dattier

Quand vous aurez des arguments nouveaux n hésitez pas à me biper, sans cela, inutile de tourner en rond comme des amsters en cage.

Faux, essaie de faire un programme qui compte le nombre de fois où il est appelé, quelque soit le programme qui l appelle, tu as besoin d une Var global.

Cela dépend où tu enregistres G, si tu stocks G dans un fichier indépendant alors non.

Ton compteur d indice est lui même une variable global, donc on en sort pas.

Non. Prend le programme qui a une variable global G qui au départ vaut 0 et à chaque appelle s incrémenté de 1, et bien impossible de construire G avec des variables locales.

On peut s en passer bien sûr, mais la question est ce que l on peut rendre compte de ce cela en maths (la logique classique) et la réponse est non, car cela conduirait à dire que G (variable globale) n est pas forcément égale à G, ce qui est incompatible avec le principe d identité. Une variable locale, serait une machine de Turing dont la bande d écriture lecture, pourrait être différente à chaque appelle, et de cela on ne peut rendre compte en maths, en effet pour cela il faudrait savoir comment a été utiliser la machine de Turing avant que je ne l utilise.

https://fr.m.wikibooks.org/wiki/Programmation_Scheme/Variables_globales_et_variables_locales

https://fr.m.wikipedia.org/wiki/Logique_intuitionniste#Plongement_de_la_logique_classique_dans_la_logique_intuitionniste En programmation fonctionnelle, les variables globales existent.

Pas besoin, vu que la logique intuitionniste peut rendre compte de la logique classique ( cf le lien wiki pour plus de détails)

https://fr.m.wikipedia.org/wiki/Logique_intuitionniste#Plongement_de_la_logique_classique_dans_la_logique_intuitionniste

On peut rendre compte de la logique classique à partir de la logique intuitionniste

@Virtuose_du-carnage : savais-tu que rien ne t'oblige à me lire ou à participer au fil que j'ouvre ? Si tu ne le savais pas, maintenant tu le sais. Tchuss. @Spontzy : je t'invite à regarder la correspondance de Curry-Howard.

Mais le tracteur ne peut pas rendre compte des maths, alors que l'info si.

Salut,On sait avec Coq et par les logiciels de calculs formels que l'informatique permet de rendre compte des mathématiques.Mais l'inverse n'est pas vrai, en effet il n'existe pas de concept mathématiques qui rende compte des variables globales.En effet si g était une variable globale, alors on n'aurait g qui n'est pas forcément égale à g (en effet entre les appelles de g, la valeur de G aurait put être changé), ce qui est impossible en maths, à cause du principe d'identité.Donc l'informatique est un domaine strictement plus vaste que les mathématiques.Bonne jounée.

@Loopy : ce que tu dis consiste en une longue litanie d affirmations peremptoires, et de te rappeler que ce qui s affirme sans preuve se nie sans preuve.

Comment l’OMS a truqué les essais sur l’hydroxychloroquine en imposant des doses toxiques à des patients sous respirateurs. https://cogiito.com/a-la-une/comment-loms-a-truque-les-essais-sur-lhydroxychloroquine-en-imposant-des-doses-toxiques-a-des-patients-sous-respirateurs/?fbclid=IwAR3j4d5JrPqEk0NMX5yHfcLqu3_RlZItrP_nPghtqggLzVb8mZzoLYIkBBs

Faux. Le fils a absorbé une partie des cellules et de l'ADN de ce jumeau fantôme. Ce cas rare porte un nom en génétique : le chimérisme. Ainsi, l'ADN de ce frère fantôme s'exprime dans environ 10 % des spermatozoïdes du mari.

Dans le premier exemple que j'ai donné, c'est bien le test qui ait mis en défaut.

Un test de paternité n'est pas si objectif que cela, contrairement à ce qu'affirme @uno ADN : quand les "experts" se trompent

Le père découvre après un test de paternité qu'il est l'oncle de l'enfant.

La crypto asymétrique est celle qui est utilisée pour coder les transactions bancaires avec la carte bleue.

Les groupes sont des objets très utiles en cryptographie asymétrique. (protocole Diffie-Helmann, El Gamal) PS : IHES est financé, entre autre, par le ministère de la défense.