Que vient faire Jean-Louis Krivine dans votre discussion ? J'ai énormément de respect pour cet homme, il fut mon maître et m'initia aux arcanes du lambda-calcul typé et à la correspondance de Curry-Howard (qui était le sujet central de sa recherche à la fin de sa carrière), mais je ne vois absolument pas ce qu'il vient faire dans votre discussion.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: pas si simple
Posté par kantien . En réponse au lien FUN : L’intelligence artificielle n’existe pas, par Luc Julia. Évalué à 2. Dernière modification le 22 juillet 2023 à 21:48.
Que vient faire Jean-Louis Krivine dans votre discussion ? J'ai énormément de respect pour cet homme, il fut mon maître et m'initia aux arcanes du lambda-calcul typé et à la correspondance de Curry-Howard (qui était le sujet central de sa recherche à la fin de sa carrière), mais je ne vois absolument pas ce qu'il vient faire dans votre discussion.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.