Recommandations anonymes et non-constructives ne sont d'aucune aide, elles ne seront pas pris en compte.
Anonymous and non-constructive recommendations are not of any help, so they won't be taken into account.
Beaucoup de types de preuves ont été développées à travers l'histoire, comme les preuves apodictiques, dialectiques, formelles, constructives et non-constructives, les preuves par la visualisation, les preuves basées sur des hypothèses, les preuves générées par ordinateur, etc.
Many types of proofs have been developed throughout history such as apodictic, dialectical, formal, constructive and non-constructive proofs, proofs by visualisation, assumption-based proofs, computer-generated proofs, etc.
Les démonstrations originales de Malgrange et Ehrenpreis sont non-constructives car utilisant le théorème de Hahn-Banach.
The original proofs of Malgrange and Ehrenpreis were non-constructive as they used the Hahn-Banach theorem.
Une inquiétude fréquemment formulée par les gouvernements locaux est que certains utilisateurs pourraient saisir cette opportunité pour partager des idées non-constructives ou du contenu injurieux.
A concern frequently expressed by local governments is that some users could take the chance to voice unconstructive ideas or injurious content.
Beaucoup de types de preuves ont été développées à travers l'histoire, comme les preuves apodictiques, dialectiques, formelles, constructives et non-constructives, les preuves par la visualisation, les preuves basées sur des hypothèses, les preuves générées par ordinateur, etc.
Many types of proofs have been developed throughout history such as apodictic, dialectical, formal, constructive and non-constructive proofs, proofs by visualisation, assumption-based proofs, computer-generated proofs, etc.
« Nous devons les rendre accessible », a-t-il dit, ou elles pourraient être utilisées à des fins non-constructives.
En revanche, elle comprend le plus souvent des méthodes non-constructives (théorème de Hahn-Banach, théorème de Baire et ses conséquences) qui, si elles permettent d'affirmer l'existence d'un objet mathématique ne peuvent toutefois en donner de construction effective.
However, it often makes use of nonconstructive methods (the Hahn-Banach theorem, Baire's theorem and its consequences), which, when used to prove the existence of a mathematical object, cannot always provide an effective method for its construction.
