Informatique > Mathématiques.

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.

Le tracteur est aussi supérieur aux mathématiques. Il permet de labourer, ce que ne fait permettent pas les maths, car il n'y a nulle fonction ou fixer les socs.

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

il y a 3 minutes, Dattier a dit :

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

Le tracteur rend compte des maths.

Tout dépend ce que j'entends par "rendre compte" et "tracteur". Pour vous aider dans votre hypothèse initiale, je vous suggère de définir "rendre compte" et "informatique". Vous verrez ou ça bloque.

Dommage que tu n'utilises pas ton logiciel cock, ça nous ferait des vacances.

@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.

Ce qui est certain, c'est que la charrue remplit le ventre, et pas les maths.

il y a 9 minutes, Dattier a dit :

@Spontzy : je t'invite à regarder la correspondance de Curry-Howard.

Merci.

Curry Howard fait le lien entre programmation fonctionnelle et calcul propositionnel (en logique intuitionniste uniquement, mais passons ce "détail").

Comment intégrez vous dans la programmation fonctionnelle les éléments tels que les données d'entrée sortie (disponibles en informatique (sauf erreur de ma part) ou, ce qui nous intéresse ici, les "variables globales" ? Ben c'est impossible car l'informatique ne se limite pas à la programmation fonctionnelle.

De même, les maths ne se limitent pas au calcul propositionnel. Ils sont également constitué d’axiomes, de règles logiques non intuitionnistes.

il y a 1 minute, Spontzy a dit :

Merci.

Curry Howard fait le lien entre programmation fonctionnelle et calcul propositionnel (en logique intuitionniste uniquement, mais passons ce "détail").

Comment intégrez vous dans la programmation fonctionnelle les éléments tels que les données d'entrée sortie (disponibles en informatique (sauf erreur de ma part) ou, ce qui nous intéresse ici, les "variables globales" ? Ben c'est impossible car l'informatique ne se limite pas à la programmation fonctionnelle.

De même, les maths ne se limitent pas au calcul propositionnel. Ils sont également constitué d’axiomes, de règles logiques non intuitionnistes.

 

 

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

OK mais comment

il y a 1 minute, Dattier a dit :

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

Qu'appelez vous rendre compte ?

Existe-t-il un équivalent Curry Howard pour al logique classique ? (vous connaissez la réponse autant que moi).

Mais surtout, pouvez-vous réponde à cela (passez le texte en rouge si cela fait dévier le débat) :

Comment intégrez vous dans la programmation fonctionnelle les éléments tels que les données d'entrée sortie (disponibles en informatique (sauf erreur de ma part) ou, ce qui nous intéresse ici, les "variables globales" ? Ben c'est impossible car l'informatique ne se limite pas à la programmation fonctionnelle.

De même, les maths ne se limitent pas au calcul propositionnel. Ils sont également constitué d’axiomes, de règles logiques non intuitionnistes.

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

Merci de cesser de citer. Nous échangeons (jusqu'à ce que vous fuyiez, comme d'habitude, s'entend).

Existe-t-il un équivalent Curry Howard pour al logique classique ? (vous connaissez la réponse autant que moi).

Mais surtout, pouvez-vous réponde à cela (passez le texte en rouge si cela fait dévier le débat) :

Comment intégrez vous dans la programmation fonctionnelle les éléments tels que les données d'entrée sortie (disponibles en informatique (sauf erreur de ma part) ou, ce qui nous intéresse ici, les "variables globales" ? Ben c'est impossible car l'informatique ne se limite pas à la programmation fonctionnelle.

De même, les maths ne se limitent pas au calcul propositionnel. Ils sont également constitué d’axiomes, de règles logiques non intuitionnistes.

Houla !

On a ici ce que donne des maths pas très bien digérés associés à de l'informatique, pas très bien digérée non plus. Si les maths sont une science, la programmation est un art, les deux s'exerçant dans des plans différents. Ce n'est pas la même chose et ça ne se compare pas, un peu de la même façon que l'on ne peut demander à la science de statuer sur l'existence de Dieu, vu que ça n'est pas ses oignons. Si lors d'un incrément, i=i+1 est une écriture qui puisse choquer le petit matheux découvreur de la programmation, il y en a même certains qui ça rend fous. 

Après, on peut toujours dire, s'il est absolument nécessaire de sodomiser les diptères, que la problématique est assez mal posée car est évoqué g alors que ce dont il s'agit sont les gi (la collection successive des valeurs de G lors d'une exécution). On a donc une variable g qui prend des valeurs différentes, ce qui est très bien pris en compte par les mathématiques, il s'agit des gi, gj, gn...

Disons que ce qu'essaye de nous faire partager notre programmeur débutant (ce qui se voit lorsqu'il en appelle au terme de variable globale - la question étant valable pour toute forme de variable), c'est que si on s'interdisait toute notation i, j, k pour des variables dans N par exemple et qu'on s'obligeait à toujours les noter n, les équations ne seraient pas bien jolies. Pareil pour la physique où l'on devrait noter toute variable par un x, assorti d'une texte en expliquant que le deuxième x en partant de la gauche parle de la pression. Ça serait un joli foutoir, un modèle de ce qui se passe dans la tête de notre confrère débatteur.

Ouf !

Dès le matin, il me faut un 2ème café. 

il y a 5 minutes, Condorcet a dit :

Ce n'est pas la même chose et ça ne se compare pas

Attention, dattier parle ici de logique.

L'informatique et la logique sont très proches. Il existe des liens très forts.

il y a 22 minutes, Spontzy a dit :

Merci de cesser de citer. Nous échangeons (jusqu'à ce que vous fuyiez, comme d'habitude, s'entend).

 

Existe-t-il un équivalent Curry Howard pour al logique classique ? (vous connaissez la réponse autant que moi)

 

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

il y a 2 minutes, Dattier a dit :

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

Que veut dire rendre compte ? Tout à l'heure vous m'avez répondu Curry-Howard pour expliquer "rendre compte" et maintenant vous dites que c'est un autre "rendre compte".

Sinon, pour le reste (et ce reste est super important par rapport à votre titre de sujet) :

Mais surtout, pouvez-vous réponde à cela (passez le texte en rouge si cela fait dévier le débat) :

Comment intégrez vous dans la programmation fonctionnelle les éléments tels que les données d'entrée sortie (disponibles en informatique (sauf erreur de ma part) ou, ce qui nous intéresse ici, les "variables globales" ? Ben c'est impossible car l'informatique ne se limite pas à la programmation fonctionnelle.

De même, les maths ne se limitent pas au calcul propositionnel. Ils sont également constitué d’axiomes, de règles logiques non intuitionnistes.

il y a 24 minutes, Spontzy a dit :

Attention, dattier parle ici de logique.

Rien que cette phrase me fait peur...

mais je constate qu'effectivement, Dattier n'a toujours pas répondu à votre question, au bout de 3 fois. Ignorerai-t-il ce qui pourrait le coincer ? (comportement presque trollesque) ?

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

En programmation fonctionnelle, les variables globales existent. 

à l’instant, Dattier a dit :

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

En programmation fonctionnelle, les variables globales existent. 

Mais on peut très bien s'en passer. Du coup... ?

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