Merci infiniment professeur. Il me parait que la philosophie en générale en tant que discipline qui se veut par excellence comprendre le monde dans sa globalité et transcender l'etat du deficit qui accable l'humain doit etre étudié dans les facultés des sciences et non pas dans les facultés des lettres .
J'ai adoré ! Un moment de grand plaisir. C'est cela un vrai maitre, une autorité douce et l'on boit les paroles d'un homme qui a du vouer sa vie aux mathématiques. Sur l'intuitionnisme, j'ai immédiatement pensé à la définition des mathématiques qu'en donne Kant : La connaissance mathématique est une connaissance rationnelle par construction de concepts. Mais construire un concept, c'est se représenter a priori l'intuition qui lui correspond...
Le formalisme ne s'oppose pas au réalisme, mais seulement au playonisme puisqu'il reconnaît la réalité des faits syntaxiques... Et reconnaître que la seule objectivité de la Mathématique provient de sa formalisation n'implique aps non plus nécessairement de, comme Russell, dénier à l'intuition, à la pensée conceptuelle tout son intérêt, son importance et sa puissance quant à la découverte de ce que démontre tel ou tel système formel; dans une forme de connaissance intime de son fonctionnement (même inconsciente pour la grande majorité des mathématiciens qui ne s'intéressent qu'aux concepts: ils se sont familiarisés avec la formalisation qu'ils en apprirent ou conçurent même s'ils n'en questionnent la contingence ou ne l'utilisent directement)...
Merci infiniment professeur. Il me parait que la philosophie en générale en tant que discipline qui se veut par excellence comprendre le monde dans sa globalité et transcender l'etat du deficit qui accable l'humain doit etre étudié dans les facultés des sciences et non pas dans les facultés des lettres .
J'ai adoré ! Un moment de grand plaisir. C'est cela un vrai maitre, une autorité douce et l'on boit les paroles d'un homme qui a du vouer sa vie aux mathématiques. Sur l'intuitionnisme, j'ai immédiatement pensé à la définition des mathématiques qu'en donne Kant : La connaissance mathématique est une connaissance rationnelle par construction de concepts. Mais construire un concept, c'est se représenter a priori l'intuition qui lui correspond...
Pensamento profundo e justo. Gosto imenso.
Le formalisme ne s'oppose pas au réalisme, mais seulement au playonisme puisqu'il reconnaît la réalité des faits syntaxiques... Et reconnaître que la seule objectivité de la Mathématique provient de sa formalisation n'implique aps non plus nécessairement de, comme Russell, dénier à l'intuition, à la pensée conceptuelle tout son intérêt, son importance et sa puissance quant à la découverte de ce que démontre tel ou tel système formel; dans une forme de connaissance intime de son fonctionnement (même inconsciente pour la grande majorité des mathématiciens qui ne s'intéressent qu'aux concepts: ils se sont familiarisés avec la formalisation qu'ils en apprirent ou conçurent même s'ils n'en questionnent la contingence ou ne l'utilisent directement)...
c'est bien comme ces documentaires .
je veux juste rectifier une erreur dans la date du décès du génie, mathématicien indien :
ce n'est pas 1947..