Natuurlijke deductie oor Engels

Natuurlijke deductie

Vertalings in die woordeboek Nederlands - Engels

natural deduction

naamwoord

voorbeelde

In 1934 presenteert Gerhard Gentzen zijn systeem van de natuurlijke deductie en zijn sequentiecalculus.
In proof theory, Gerhard Gentzen developed natural deduction and the sequent calculus.

- Opzet van fundamenteel onderzoek naar natuurlijke deductie , temporele logica , " fuzzy " logica , primitieve redeneerfuncties en KB-redeneringsbesturing op meta-niveau .
- UNDERTAKE BASIC RESEARCH ON NATURAL DEDUCTION , TEMPORAL LOGIC , FUZZY LOGIC , INFERENCE PRIMITIVES , AND KNOWLEDGE BASED META-LEVEL CONTROL OF INFERENCE .

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.

Aan de andere kant bestaan er verschillende syntactische afleidingssystemen voor de eerste-orde logica, zoals bijvoorbeeld natuurlijke deductie.
There are numerous deductive systems for first-order logic, including systems of natural deduction and Hilbert-style systems.

Het systeem van natuurlijke deductie kennen en verstaan, voor zowel de propositielogica als de predicaatlogica.
Knowing and understanding the system of natural deduction for proposition logic as well as for predicate 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.

Maar als de deductief in begrippen gereproduceerde objectieve werkelijkheid zelf wordt opgevat als iets, dat zich niet ontwikkelt, als een eeuwig en natuurlijk systeem van verschijnselen die in een wisselwerking tot elkaar staan, dan kan het niet anders of de deductie wordt slechts beschouwd als een kunstmatig proces van de gedachtenontwikkeling.
Now, if objective reality reproduced in concepts deductively is in itself understood as non-developing reality, as an eternal and natural system of interacting phenomena, deduction, naturally and inevitably, appears only as an artificial procedure in the development of thought.