• [^] # Re: Microsoft conclut un accord à l'amiable avec Be

    Posté par . En réponse à la dépêche Microsoft conclut un accord à l'amiable avec Be. Évalué à 1.

    hum !

    la logique est une méthode ??
    les mathématiques aussi ??

    alors là ça mérite un débat, un peu HS d'ailleurs :)

    qualifier la topologie, la théorie des corps de gallois, l'arithmétique de méthodes... t'as pas peur toi :)
    idem pour la logique :-/

    ce ne sont pas des méthodes mais des cadres théoriques permettant justement de mettre en place des méthodes de manière rigoureuse et bien délimitée, pour que la méthode veuille dire quelque chose