Où est la frontière entre philosophie et mathématiques ?
Dans la conception moderne des mathématiques (depuis 1940 en gros), la théorie mathématique dans laquelle on travaille est un modèle de la théorie des ensembles, décrit par une autre théorie mathématique (dite métathéorie), et celle-ci modélise les règles de logique utilisées dans la théorie pour raisonner.
On peut dire que depuyis 1890 les seuls philosphes ayant étudié la logique sont les mathématiciens, et que leurs découvertes (notamment Gödel 1931, Cohen 1952 et Tarski) ont fait avancer la philosophie d'une manière générale, la lingustique, la logique formelle, et tout ce qui sert de fondement à la théorie des langages utilisés en informatique.
En parlant de bonne logique, tu pourras tomber d'accord avec moi que si tout informaticien doit être mathématicien, cela ne veut pas dire (ce que tu dis) qur tout mathématicien doit être informaticien.
D'autre part, si on distingue informatique et bidouille avec un ordinateur dans les mains, l'informatique est essentiellemnt les mathématiques finies, néologisme employé pour parler en fait d'arithmétique bornée (avec des entiers non arbitrairement grands).
D'autre part la mathématique est la science qui fonde l'informatique, tout informaticien (pas forcément les bidouilleurs) doit connaître des mathématiques.
bidouilleur : écrire un client ou un serveur SMTP relève de la bidouille plus que de l'informatique à proprement parler, en revanche savoir si il existe une réponse à la qestion "les blancs gagnent-ils toujours aux échecs", c'est de l'info et de maths.
N'oublions pas de rappeler que ces attracteurs etranges existent, il y a quelques mois encore leur existence etait encore hypothetique.
Pour information complementaire, l'existence de ces attracteurs avait ete conjecturee par le meterologue Lorenz (pas le Lorentz de la relativite d'Einstein) qui etudiait des schemas numeriques destines a modeliser les mouvements de l'atmosphere.
Pour les plus motives d'entre vous, reportez vous au TeXbook (le mode d'emploi de TeX par Knuth) a l'appendice C intitule Tricky qque chose, vous y trouverez des scripts incomprehensibles, qui servent a quelque chose, pas de la cryptographie.
[^] # Re: Plus proche des maths que de l'informatique
Posté par Michaël (site web personnel) . En réponse à la dépêche Art of Computer Programming Vol.4. Évalué à 1.
Dans la conception moderne des mathématiques (depuis 1940 en gros), la théorie mathématique dans laquelle on travaille est un modèle de la théorie des ensembles, décrit par une autre théorie mathématique (dite métathéorie), et celle-ci modélise les règles de logique utilisées dans la théorie pour raisonner.
On peut dire que depuyis 1890 les seuls philosphes ayant étudié la logique sont les mathématiciens, et que leurs découvertes (notamment Gödel 1931, Cohen 1952 et Tarski) ont fait avancer la philosophie d'une manière générale, la lingustique, la logique formelle, et tout ce qui sert de fondement à la théorie des langages utilisés en informatique.
[^] # Re: Plus proche des maths que de l'informatique
Posté par Michaël (site web personnel) . En réponse à la dépêche Art of Computer Programming Vol.4. Évalué à 1.
D'autre part, si on distingue informatique et bidouille avec un ordinateur dans les mains, l'informatique est essentiellemnt les mathématiques finies, néologisme employé pour parler en fait d'arithmétique bornée (avec des entiers non arbitrairement grands).
D'autre part la mathématique est la science qui fonde l'informatique, tout informaticien (pas forcément les bidouilleurs) doit connaître des mathématiques.
bidouilleur : écrire un client ou un serveur SMTP relève de la bidouille plus que de l'informatique à proprement parler, en revanche savoir si il existe une réponse à la qestion "les blancs gagnent-ils toujours aux échecs", c'est de l'info et de maths.
# et ces attracteurs existent!
Posté par Michaël (site web personnel) . En réponse à la dépêche Article de recherche sur la prédiction de séquence TCP/IP. Évalué à 1.
Pour information complementaire, l'existence de ces attracteurs avait ete conjecturee par le meterologue Lorenz (pas le Lorentz de la relativite d'Einstein) qui etudiait des schemas numeriques destines a modeliser les mouvements de l'atmosphere.
# the TeXbook
Posté par Michaël (site web personnel) . En réponse à la dépêche Code TeX incompréhensible... et pourtant ça marche !. Évalué à 1.