Aller au contenu

Informatique > Mathématiques.

Messages recommandés

Dattier Membre 216 messages
Forumeur activiste‚ 45ans
Posté(e)

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.

Partager ce message


Lien à poster
Partager sur d’autres sites
Annonces
Maintenant
Spontzy Membre 2803 messages
délicatesse incarnée‚ 43ans
Posté(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.

  • Like 1
  • Merci 1
  • Haha 4

Partager ce message


Lien à poster
Partager sur d’autres sites
Dattier Membre 216 messages
Forumeur activiste‚ 45ans
Posté(e)

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

Partager ce message


Lien à poster
Partager sur d’autres sites
Spontzy Membre 2803 messages
délicatesse incarnée‚ 43ans
Posté(e)
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.

Partager ce message


Lien à poster
Partager sur d’autres sites
Virtuose_en_carnage Membre 2066 messages
Forumeur alchimiste‚ 30ans
Posté(e)

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

Partager ce message


Lien à poster
Partager sur d’autres sites
Dattier Membre 216 messages
Forumeur activiste‚ 45ans
Posté(e)

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

Partager ce message


Lien à poster
Partager sur d’autres sites
K-sos Membre 95 messages
Forumeur en herbe‚ 59ans
Posté(e)

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

  • Like 1

Partager ce message


Lien à poster
Partager sur d’autres sites
Spontzy Membre 2803 messages
délicatesse incarnée‚ 43ans
Posté(e)
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.

 

 

Partager ce message


Lien à poster
Partager sur d’autres sites
Dattier Membre 216 messages
Forumeur activiste‚ 45ans
Posté(e)
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

Partager ce message


Lien à poster
Partager sur d’autres sites
Spontzy Membre 2803 messages
délicatesse incarnée‚ 43ans
Posté(e)

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.

Partager ce message


Lien à poster
Partager sur d’autres sites
Spontzy Membre 2803 messages
délicatesse incarnée‚ 43ans
Posté(e)

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.

Partager ce message


Lien à poster
Partager sur d’autres sites
Condorcet Membre 10043 messages
Forumeur alchimiste‚ 62ans
Posté(e)

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é. ;)

Modifié par Condorcet
  • Like 1
  • Merci 1

Partager ce message


Lien à poster
Partager sur d’autres sites
Spontzy Membre 2803 messages
délicatesse incarnée‚ 43ans
Posté(e)
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.

Partager ce message


Lien à poster
Partager sur d’autres sites
Dattier Membre 216 messages
Forumeur activiste‚ 45ans
Posté(e)
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) 

Partager ce message


Lien à poster
Partager sur d’autres sites
Spontzy Membre 2803 messages
délicatesse incarnée‚ 43ans
Posté(e)
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.

 

 

Partager ce message


Lien à poster
Partager sur d’autres sites
Hobb Membre 110 messages
Forumeur inspiré‚ 35ans
Posté(e)
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) ?

Modifié par Hobb
  • Haha 1

Partager ce message


Lien à poster
Partager sur d’autres sites
Annonces
Maintenant

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.

Invité
Répondre à ce sujet…

×   Collé en tant que texte enrichi.   Coller en tant que texte brut à la place

  Seulement 75 émoticônes maximum sont autorisées.

×   Votre lien a été automatiquement intégré.   Afficher plutôt comme un lien

×   Votre contenu précédent a été rétabli.   Vider l’éditeur

×   Vous ne pouvez pas directement coller des images. Envoyez-les depuis votre ordinateur ou insérez-les depuis une URL.

Chargement

×