ÉVALUATION   0103

  • Question 1 - Dans les années 1930, on se demandait :
    •
    - comment caractériser les fonctions calculables en un temps fini;

    - comment rendre fini ce qui est infini;

    - s'il y avait une théorie du calcul mécanique;

    - les réponses 1 et 3;

    - quelles étaient les capacités de l'intuition ?.
     

  • Question 2 - Une théorie est consistante si :
    •
    - tout énoncé est démontrable ou non;

    - on dispose d'un moyen pour démontrer ou réfuter tout énoncé;

    - elle ne peut pas contenir d'énoncé contradictoire;

    - réponses 1 et 2;

    - réponses 2 et 3. 

  • Question 3 - Dans une théorie complète :
    •
    - tout énoncé est démontrable vrai ou faux;

    - tout énoncé est vrai ou faux;

    - tout énoncé est vrai;

    - un énoncé peut être vrai et faux à la fois;

    - il existe un énoncé ni vrai ni faux. 

  • Question 4 - C.E. Shannon a : 
    •
    - établi la théorie de la communication en 1938;

    - montré en 1947 que les transistors sont utilisables dans les ordinateurs;

    - démontré que les relais et interrupteurs peuvent réaliser une algèbre de Boole;

    - démontré cela en 1938;

    - réponses 3 et 4. 

  • Question 5 - La thèse de Church et la thèse de Turing : 
    •
    - sont démontrées toutes les deux;

    - ne sont pas démontrées;

    - ne peuvent pas être démontrées;

    - vont être démontrées prochainement comme le grand théorème de Fermat vient de l'être;

    - réponses 2 et 4. 

  • Question 6 - Un théorie complète :
    •
    - peut être décidable;

    - n'est pas décidable;

    - est toujours consistante;

    - réponses 1 et 3;

    - téponses 2 et 3.