. . "Intuitionismus (Logik und Mathematik)"@de . . . . . . "fr"@fr . . "Amsterdam"@fr . "Arend"@fr . . . . . . . . . . "J. Vrin"@fr . "Intuitionisme et th\u00E9orie de la d\u00E9monstration"@fr . . . . . . . "Intuicjonizm (matematyka)"@pl . . . . . . . . . "Paris"@fr . . . . . . . . . . . . . "1971"^^ . . . "Largeault"@fr . . . . "L'intuitionnisme est une philosophie des math\u00E9matiques que L. E. J. Brouwer a \u00E9labor\u00E9e au d\u00E9but du XXe si\u00E8cle. Pour Brouwer, les math\u00E9matiques sont une libre cr\u00E9ation de l'esprit humain et tous les objets qu'elles manipulent doivent \u00EAtre accessibles \u00E0 l'intuition. L'intuitionnisme a pour cons\u00E9quence une profonde remise en cause des math\u00E9matiques, notamment en refusant l'infini actuel : un nombre r\u00E9el ne peut \u00EAtre repr\u00E9sent\u00E9 comme une suite infinie de d\u00E9cimales qu'\u00E0 la condition de disposer d'un moyen effectif de calculer chacune de ces d\u00E9cimales ; on parle alors de r\u00E9el constructif. Sur le plan logique l'intuitionnisme n'accepte pas le raisonnement par l'absurde ou le tiers exclu pour la raison que ces principes permettent de d\u00E9montrer des propri\u00E9t\u00E9s de fa\u00E7on non constructive : par exemple si on veut d\u00E9montrer l'existence d'un nombre r\u00E9el satisfaisant une certaine propri\u00E9t\u00E9, on peut raisonner par l'absurde, supposer qu'un tel r\u00E9el n'existe pas, en d\u00E9duire une contradiction et conclure que donc un tel r\u00E9el existe, mais cette d\u00E9monstration ne donne aucune indication sur la fa\u00E7on dont on pourrait calculer ce r\u00E9el. Pour un intuitionniste on a juste d\u00E9montr\u00E9 que l'existence d'un tel r\u00E9el n'est pas contradictoire, mais pas que ce r\u00E9el existe. La logique intuitionniste a \u00E9t\u00E9 d\u00E9velopp\u00E9e par Valery Glivenko, Arend Heyting, Kurt G\u00F6del et Andre\u00EF Kolmogorov et formalise les principes logiques sur lesquels s'appuie l'intuitionnisme. L'intuitionnisme est souvent consid\u00E9r\u00E9 comme une forme de constructivisme, avec lequel il a beaucoup en commun, mais il s'en \u00E9carte quand, comme c'est le cas pour l'intuitionnisme originel de Brouwer, il conduit \u00E0 des \u00E9nonc\u00E9s math\u00E9matiques valides qui ne le sont pas classiquement. La logique intuitionniste, elle, ne permet de d\u00E9montrer que des \u00E9nonc\u00E9s valides en logique classique."@fr . . . . . . "An Introduction"@fr . "Jean Largeault"@fr . "1956"^^ . . . . . . . . . . . "North-Holland Pub. Co"@fr . . . . . "en"@fr . "187453481"^^ . . . "L'intuitionnisme est une philosophie des math\u00E9matiques que L. E. J. Brouwer a \u00E9labor\u00E9e au d\u00E9but du XXe si\u00E8cle. Pour Brouwer, les math\u00E9matiques sont une libre cr\u00E9ation de l'esprit humain et tous les objets qu'elles manipulent doivent \u00EAtre accessibles \u00E0 l'intuition. L'intuitionnisme a pour cons\u00E9quence une profonde remise en cause des math\u00E9matiques, notamment en refusant l'infini actuel : un nombre r\u00E9el ne peut \u00EAtre repr\u00E9sent\u00E9 comme une suite infinie de d\u00E9cimales qu'\u00E0 la condition de disposer d'un moyen effectif de calculer chacune de ces d\u00E9cimales ; on parle alors de r\u00E9el constructif."@fr . "5754678"^^ . "1992"^^ . . . "Arend Heyting"@fr . . . . . . . . . . . . "3"^^ . . . . "15609"^^ . . "Intuitionism"@sv . . . . "\u0418\u043D\u0442\u0443\u0438\u0446\u0438\u043E\u043D\u0438\u0437\u043C"@ru . "Intuitionism"@fr . . "Intuitionnisme"@fr . "145"^^ . "0"^^ . . . . "2"^^ . . . . . . . "Heyting"@fr . . . "Intuizionismo"@it . . "566"^^ . . . . "\u76F4\u89B3\u4E3B\u7FA9 (\u6570\u5B66\u306E\u54F2\u5B66)"@ja . . . . . "Jean"@fr . . .