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.
[^] # 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.