• [^] # Re: prouveur automatique/assistant de preuve

    Posté par (site web personnel) . En réponse au journal La preuve de programme : où en est-on ?. Évalué à 2.

    Je ne décrit juste que la méthode expérimental [[Méthode_scientifique]]

    wikipedia:

    La méthode expérimentale est souvent constituée des 8 étapes suivantes :

    1. Préciser la question
    2. Recueillir des informations et des ressources (observer)
    3. Forme des hypothèses
    4. Effectuer l'expérience et de recueillir des données
    5. Analyser les données
    6. Interpréter les données et tirer des conclusions qui serviront pour valider ou infirmer les hypothèses et peut-être aussi comme de point de départ pour de nouvelles hypothèses
    7. Publier les résultats
    8. Reproduire les expériences (souvent fait par d'autres scientifiques)


    Il s'agit évidement de théorie sur le monde réel, pas les mathématiques.

    "La première sécurité est la liberté"