Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
non-constructive proofs
Examples with "non-constructive proofs" and their translation in Frans
Kreisel worked in various areas of logic, and especially in proof theory, where he is known for his so-called "unwinding" program, whose aim was to extract constructive content from superficially non-constructive proofs.
Kreisel a travaillé dans plusieurs domaines de la logique et en particulier dans la théorie de la démonstration où il est connu pour avoir tenté d'extraire du contenu constructiviste de preuves en apparence non constructives.
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.
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.
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.
Andere resultaten
This can be a non-constructive proof (possibly involving a strategy-stealing argument) that need not actually determine any moves of the perfect play.
Cela peut être une preuve non-constructive (avec éventuellement une démonstration par vol de stratégie) qui n'a pas besoin de réellement déterminer les mouvements du jeu parfait.
Other non-metallic mineral products, except for glass products for household needs and interiors, as well as non-constructive, non-fire-proof ceramic products.
Autres produits minéraux non métalliques, à l'exception des produits en verre pour les besoins des ménages et les intérieurs, ainsi que des produits céramiques non destinés à la construction et non incombustibles.
The original proofs of Malgrange and Ehrenpreis were non-constructive as they used the Hahn-Banach theorem.
Les démonstrations originales de Malgrange et Ehrenpreis sont non-constructives car utilisant le théorème de Hahn-Banach.
Inference rules. Proof methods: direct, by contradiction, by cases, constructive and non-constructive.
Introduction aux structures d'une démonstration mathématique: directe, par l'absurde, cas par cas, par récurrence.
Inference rules. Proof methods: direct, by contradiction, by cases, constructive and non-constructive.
Méthodes de preuve: directe, par l'absurde, par énumération des cas, preuve constructive et non constructive.
Proof techniques (direct, by contradiction, by cases, constructive and non constructive, induction).
Techniques de preuves (directe, par contradiction, cas par cas, constructives et non-constructive, récurrence).
His proof of the well-ordering theorem, based on the powerset axiom and the axiom of choice, was not accepted by all mathematicians, mostly because the axiom of choice was a paradigm of non-constructive mathematics.
Toutefois, ses démonstrations utilisent l'axiome du choix, ce qui ennuie certains mathématiciens, entre autres à cause de l'état de formalisation de la théorie des ensembles à l'époque.
Synoniemen voor non-constructive proofs in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 10. Exact: 3. Verstreken tijd: 79 ms.
