Commentaire de Forest Ent sur Les maths, hantise des Français

Commentaire de Forest Ent

sur Les maths, hantise des Français

Voir l'intégralité des commentaires de cet article

Forest Ent 14 mai 2008 09:08

@ Lucrezia

nos équipements informatiques utilisent de manière native et concrète la théorie des ensembles, les objets, les classes, etc ..

A titre de curiosité intellectuelle, j’aimerais bien connaitre le lien entre d’un côté ensembles et de l’autre objets et classes. Les essais que j’ai lus pour relier procédés de typage et théorie des ensembles étaient plutôt décourageants. Il est vrai toutefois qu’ils datent un peu. Mais j’en ai retenu que la plupart des procédés de typage sont "non-noethériens", c’est à dire ne permettent pas de normalisation et sont donc au fond peu compatibles avec la théorie des ensembles si l’on veut les généraliser.

A mon avis il n’y a pas besoin de connaitre la théorie des ensembles pour calculer, et il n’y a pas besoin de connaitre la théorie de la calculabilité pour programmer. Je pense même que ça n’aide pas. La théorie des ensembles est une réflexion passionnante sur les fondemants du calcul, mais ses résultats sur des ensembles finis sont triviaux et n’ont aucun intérêt pratique.

Répondre Signaler un abus

Voir ce commentaire dans son contexte

Derniers commentaires

16/05 19:03 - Forest Ent

C’est ben vrai mon bon msieur. Les jeunes c’est pu comme avant, que des feignants. (...)
16/05 08:00 - Lucrezia

Vous confondez Bosse des affaires et "tête" bien pleine...Et puis maintenant, les (...)
16/05 07:56 - Lucrezia

Si je pousse votre raisonnement .....A-t-on besoin des Mathématiques pour Vivre ! ? Non (...)
16/05 07:51 - Lucrezia

N’importe quoi ...Heureusement que l’on a pas besoin d’être Ingénieur pour (...)
15/05 14:32 - Forest Ent

@ Lucrezia Je vois que tu n’as pas du entendre parler des Languages Orienté Objets ou (...)
15/05 13:50 - SciFi

@Titi Sous l’angle sous lequel vous le présentez, c’est effectivement une idée (...)

7 derniers jours

Articles les plus lus

Participez à Agoravox

Inscrivez-vous