Dattier

Ne pas oublier que les belles histoires que nous raconte les évolutionnistes ne sont valable que si on est uniformitariste, ce que je ne suis pas, comme la plus part des creationnistes. Donc vous pouvez remballer vos histoires qui sont aussi convaincante pour nous que pour vous le récit de la genèse.

Je pense que dans l esprit, c est une troncature décimale de pi.

je suis intellectuellement limité et préfère discuter avec quelqu'un qui ne m insulte pas à chaque post, que de discuter avec quelqu'un qui se croit supérieur et qui manque singulièrement de savoir vivre.

En passant, le réseau de neurones est le prototype d un programme avec des vars globales, en effet le poids des synapses est changé après chaque échecs, et renforcer en cas de réussite, donc changer à chaque appelle.

Ce n est pas grave tant qu on ne s insulte pas. Ps entre nous je préfère une critique fondée qu un compliment.

Bonjour, Juste pour dire que les HS ne me dérange pas tant que le ton des échanges reste cordiale. Si vous ne savez pas ce qu est un échange cordiale, prennez exemple sur Zenalpha et Spontzy. Je suis en désaccord avec eux sur beaucoup de sujets, mais je n ai pas de souvenir où l un des deux est tombé dans l insulte. On peut ne pas être d accord sans avoir à s insulter. Bonne journée.

Effectivement, laisse moi le temps d y réfléchir.

@Spontzy

@Spontzy J y ai répondu, lien à l appuis, je t ai montré qu en langage fonctionnelle on peut définir des Var global.

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.