Dattier

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.

Es-tu sûr qu'en l’absence de gravité, on aurait des fossiles ?

Non, on parle bien d'"entraîner" un réseau de neurone.

Va le dire à tes amis, qui ne savent pas discuter sans insulter leurs interlocuteurs.

https://fr.wikipedia.org/wiki/Apprentissage_automatique

Le recours à l'insulte est une marque de faiblesse argumentative, s'il aurait eut de meilleurs arguments que d'insulter ils les auraient présentés.

Je suis d'accord et tu devrais commencer par faire la morale à tes amis :

je résume ce que j'ai dit : La théorie de l'évolution suppose l'existence d'êtres omniprésents et éternelles : les lois physiques. La théorie créationniste suppose l'existence de Dieu. Pour répondre à Quasimodo, la seule chose que l'on a c'est une soit disant non contradiction entre l'observation et les lois physiques. Je dis soit disant en effet l'existence même de notre galaxie impliquerait l'existence d'un agent explicatif impossible à observer la matière noire, ou plus prosaïquement une contradiction entre l'observation et les lois physiques. Je rappelle que les phénomènes inexpliqués sont des phénomènes que les théories physique actuelles n'expliquent pas et il y en a plein.

Si, si, la théorie de l'évolution demande de montrer que les lois de la physique soient éternelles et omniprésentes.

Je n'empêche pas les gens de croire en les lois physiques (uniformitarisme), au lieu de Dieu, je dis juste que les deux relève de la croyance.