• [^] # Re: bof

    Posté par . En réponse au journal [HS] La comédie Grok versus Musk/MAGA. Évalué à 2. Dernière modification le 24 juin 2025 à 23:29.

    Mais est-ce que c'est un bon exemple du rationalisme dont parle kantien (« c'est codé en dur dans notre faculté de savoir. ») ?

    Effectivement, ce n'est pas ce que j'avais en tête, et seule l'expérience peut trancher cette question.

    Ce que j'ai en tête, c'est par exemeple la correspodance de Curry-Howard enseignée par Xavier Leroy au Collège de France, enseignement qui n'est rien d'autre qu'une version simplifiée de ce Kant a développé dans la Crititique de la raison pure.

    Alors, après je pourrais toujours montrer en quoi Einstein a suivi ces principes. La question est dois-je le faire ? (Comme la réponse est longue, il ne faudra pas s'étonner si elle prend du temps).

    Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.