Bewijstheorie oor Engels

Bewijstheorie

Vertalings in die woordeboek Nederlands - Engels

proof theory

branch of mathematical logic

voorbeelde

In de logica, met name in het gebied van de bewijstheorie, beschouwt men stellingen als beweringen (de zogenaamde formules of welgevormde formules) van een formele taal.
Logic, especially in the field of proof theory, considers theorems as statements (called formulas or well formed formulas) of a formal language.

De informele bewijzen uit de wiskundige dagelijkse praktijk komen niet overeen met de formele bewijzen uit de bewijstheorie.
The informal proofs of everyday mathematical practice are unlike the formal proofs of proof theory.

Gentzens belangrijkste werk was op het gebied van de grondslagen van de wiskunde, in de bewijstheorie, in het bijzonder de natuurlijke deductie en de sequentiële calculus.
Gentzen's main work was on the foundations of mathematics, in proof theory, specifically natural deduction and the sequent calculus.

Als zodanig is de bewijstheorie syntactisch van aard, dit in tegenstelling tot de modeltheorie, die van nature semantisch is.
As such, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.

Het Curry-Howard isomorfisme heeft te maken met bewijstheorie en in het bijzonder met de intuïtionistische logica.
The Curry–Howard isomorphism between proofs and programs relates to proof theory, especially intuitionistic logic.

De definitie van stellingen als elementen binnen een formele taal staat resultaten in de bewijstheorie toe, die de structuur van formele bewijzen en de structuur van de bewijsbare formules bestuderen.
The definition of theorems as elements of a formal language allows for results in proof theory that study the structure of formal proofs and the structure of provable formulas.

Zijn voornaamste studie op het gebied van bewijstheorie en algemene recursieve functies "On the consistency of arithmetic" (Over de consistentie binnen het rekenen) bood Herbrand vroeg in het jaar 1931 ter review aan.
He submitted his principal study of proof theory and general recursive functions "On the consistency of arithmetic" early in 1931.

Bewijstheorie De bewijstheorie is de studie van formele bewijzen en verschillende logische deductiesystemen.
Proof theory is the study of formal proofs in various logical deduction systems.

Kurt Gödel leverde verder belangrijke bijdragen aan de bewijstheorie door de verbanden te verduidelijken tussen de klassieke logica, de intuïtionistische logica, en de modale logica.
He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.

Moderne logica omvat de recursietheorie, de modeltheorie en de bewijstheorie, en is sterk verbonden met informatica.
Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science, as well as to category theory.

De wiskundige logica wordt onderverdeeld in de vier deelgebieden verzamelingenleer, bewijstheorie, modeltheorie en berekenbaarheid.
Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory.

Kurt Gödel leverde verder belangrijke bijdragen aan de bewijstheorie door de verbanden te verduidelijken tussen de klassieke logica, de intuïtionistische logica, en de modale logica.
He made important contributions to proof theory. He did this by clarifying the connections between classical logic, intuitionistic logic, and modal logic.

Gentzens belangrijkste werk was op het gebied van de grondslagen van de wiskunde, in de bewijstheorie, in het bijzonder de natuurlijke deductie en de sequentiële calculus.
Work[edit] Gentzen's main work was on the foundations of mathematics, in proof theory, specifically natural deduction and the sequent calculus.

Bijvoorbeeld zijn de onvolledigheidsstellingen van Gödel niet alleen in de berekenbaarheids- en de bewijstheorie van groot belang, maar leidden ze ook tot de stelling van Löb, genoemd naar Löb, die van belang is in de modale logica.
Gödel's incompleteness theorem marks not only a milestone in recursion theory and proof theory, but has also led to Löb's theorem in modal logic. The method of forcing is employed in set theory, model theory, and recursion theory, as well as in the study of intuitionistic mathematics.

De wiskundige logica wordt vaak onderverdeeld in de deelgebieden groepentheorie, modeltheorie, bewijstheorie, verzamelingenleer, constructivisme, recursietheorie en berekenbaarheid.
Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory.

Het deelgebied binnen de wiskunde dat bekendstaat als bewijstheorie bestudeert formele axiomasystemen en de bewijzen die binnen deze systemen kunnen worden uitgevoerd.
The field of mathematics known as proof theory studies formal languages, axioms and the structure of proofs.

Bewijstheorie is een tak van de wiskundige logica die bewijzen als formele wiskundige objecten opvat. Hierdoor kunnen bewijzen door middel van wiskundige technieken worden geanalyseerd.
Proof theory is a major branch[1] of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques.

Kurt Gödel leverde verder belangrijke bijdragen aan de bewijstheorie door de verbanden te verduidelijken tussen de klassieke logica, de intuïtionistische logica, en de modale logica.
He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic. Contents

Het deelgebied binnen de wiskunde dat bekendstaat als bewijstheorie bestudeert formele axiomasystemen en de bewijzen die binnen deze systemen kunnen worden uitgevoerd.
The field of mathematics known as proof theory studies formal axiom systems and the proofs that can be performed within them.