Théorie de la démonstration oor Engels

Théorie de la démonstration

Vertalings in die woordeboek Frans - Engels

proof theory

branch of mathematical logic

voorbeelde

HEYTING, Les fondements mathématiques, Intuitionnisme, Théorie de la démonstration (trad.
Heyting, Les fondements mathematiques, Intuitionnisme, Theorie de la demonstration, transl.

Ainsi, la théorie de la démonstration de la logique du premier ordre devient plus compliquée lorsque les structures vides sont autorisées.
Thus the proof theory of first-order logic becomes more complicated when empty structures are permitted.

L'étude de l'interprétation des systèmes formels est la branche de la logique mathématique appelée théorie des modèles, et l'étude des systèmes déductifs est appelée la théorie de la démonstration.
The study of interpretation of formal systems is the branch of mathematical logic that is known as model theory, and the study of deductive systems is the branch that is known as proof theory.

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.
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.

Kurt Schütte modifier - modifier le code - modifier Wikidata Kurt Georg Schütte (14 octobre 1909, Salzwedel - 18 août 1998, Munich) est un mathématicien allemand qui a travaillé dans les domaines de la théorie de la démonstration et de l'analyse ordinale.
Kurt Schütte (14 October 1909, Salzwedel – 18 August 1998, Munich) was a German mathematician who worked on proof theory and ordinal analysis.

L’utilisation de la théorie de l’apparence permet de confirmer la démonstration
Use of the theory of appearance enables what has been demonstrated to be confirmed

L’utilisation de la théorie de l’apparence (101) permet de confirmer la démonstration.
Use of the theory of appearance (101) enables what has been demonstrated to be confirmed.

Bien que l'idée fondamentale sous-jacente à la méthode des tableaux est dérivée du théorème d'élimination des coupures de la théorie de la démonstration, les origines du calcul des tableaux se trouvent dans la sémantique des connecteurs logiques, le lien avec la théorie de la preuve ne s'étant effectué que dans les dernières décennies.
Although the fundamental idea behind the analytic tableau method is derived from the cut-elimination theorem of structural proof theory, the origins of tableau calculi lie in the meaning (or semantics) of the logical connectives, as the connection with proof theory was made only in recent decades.

La Commission a ainsi indiqué, au considérant 227 de la décision attaquée, que « [l]’utilisation de la théorie de l’apparence permet[tait] de confirmer la démonstration ».
The Commission thus stated, in recital 227 of the contested decision, that ‘[u]se of the theory of appearance enables what has been demonstrated to be confirmed’.

Inspirée de diverses discussions théoriques, la démonstration de l’auteur se base quant à elle essentiellement sur une approche des institutions comme normes („institutions-as-norms approach“).
The author develops his arguments in reference to various theoretical debates and broadly follows an “institutions-as-norms approach.”

J’avais peut-être fait la démonstration de la théorie d’oncle Ed.
Maybe I proved Uncle Ed’s point.

Dallas se mit à rire, ravi de cette démonstration tangible de la théorie qu’il avait seulement lue
Dallas laughed, delighted at this very tangible demonstration of a theory he had only read about.

La théorie du langage qui sert de base à la démonstration de l'auteur de l'Art est plus subtile.
T h e theory o f language that serves as the basis for the demonstration given by the author o f The Art is more subtle.

Elle est désormais progressive : il y a de la théorie, des démonstrations et des essais complets en utilisant de faux explosifs et des essais réels.
Training is now progressive, comprising of theory, full demonstrations and practices using dummy explosives, and only then followed by live training.

La démonstration découle naturellement de la théorie des moules d’Écalle, à laquelle nous donnons une brève introduction.
The proof follows quite naturally from Ecalle’s theory of moulds, to which we give a brief introduction.

La phrénologie avait marié beaucoup de ses démonstrations à la théorie du savant hollandais.
The advocates of phrenological science eagerly espoused the theory of the Dutch savant.

Lors de la sublimation des substances organiques sous le microscope, on a observé des figures de croissance qui sont susceptibles de servir à la démonstration de la théorie élaborée parFranck en 1949 sur la croissance en spirale des cristaux.
When organic substances are sublimed under the microscope, growth figures are observed, which are suitable to demonstrate the theory of spiral growth of crystals announced in 1949 byFrank.

Si Venturi apportait de l’eau à son moulin, elle pourrait faire la démonstration de sa grande théorie.
So long as Venturi came through she had a chance at proving her Big Theory.

Le développement de la théorie d'Arakelov et son exploitation par Gerd Faltings dans sa démonstration de la conjecture de Mordell est un exemple spectaculaire.
The development of Arakelov theory and its exploitation by Gerd Faltings in his proof of the Mordell conjecture is a dramatic example.

Nous sommes tous responsables, vu que la sanction des trafiquants et de leurs complices est et reste un acte théorique, et non la démonstration de force concrète dans laquelle nous devrions tous nous engager.
We are all jointly responsible, given that the punishment of traffickers and their accomplices is and remains a theoretical act, not the demonstration of strength in practice that we should all engage in.

Requête : capacité à livrer la démonstration postulée de la validité de la théorie ?
Query: ability to deliver postulated proof of validity of theory?""

Requête : capacité à livrer la démonstration postulée de la validité de la théorie ?
Query: ability to deliver postulated proof of validity of theory?”

Cette théorie présente l'avantage de faciliter la démonstration de l'existence d'un attribut juridique ou d'un effet de droit lorsqu'aucun texte ne l'affirme expressément et explicitement.
This theory has the advantage of making it easier to demonstrate the existence of a legal attribute or legal effect not expressly and explicitly affirmed by any legislation.

Le livre présente la démonstration et les conséquences de la théorie de la stagnation de Sweezy, aussi appelée stagnation séculaire.
The book elaborated evidence for and implications of Sweezy's stagnation theory, also called secular stagnation.

La démonstration la plus probante de sa théorie avait eu lieu un mois après qu’il s’était installé dans son appartement.
The proof of her theory was what had happened a month after he had moved into her apartment.