MATHEMATICAL LOGIC in Dutch translation

• wiskundige logica
• mathematische logica
• rekenkundige logica

Examples of using Mathematical logic in English and their translations into Dutch

a branch of mathematical logic, an elementary class(or axiomatizable class) is a class consisting of all structures satisfying a fixed first-order theory.
een deelgebied van de wiskundige logica, is een elementaire klasse een klasse die bestaat uit alle structuren die voldoen aan een vaste eerste-ordetheorie.

Curry also wrote and taught mathematical logic more generally;
Curry schreef en gaf ook les over wiskundige logica in het algemeen; dit resulteerde in 1963 in Foundations

In mathematical logic, the Cantor-Dedekind axiom is the thesis that the real numbers are order-isomorphic to the linear continuum of geometry.
In de wiskundige logica wordt de frase axioma van Cantor-Dedekind gebruikt om de these te beschrijven dat de reële getallen orde-isomorf zijn aan het lineaire continuüm van de meetkunde.

Quine first proposed NF in a 1937 article titled"New Foundations for Mathematical Logic"; hence the name.
Quine stelde zijn New Foundations in 1937 voor het eerst voor in een artikel getiteld"New Foundations for Mathematical Logic", vandaar de naam.

set theory and mathematical logic.
vooral de verzamelingenleer en de wiskundige logica.

He is known for his expertise on epistemology, decision theory, mathematical logic and philosophy of mathematics.
Hij is bekend voor zijn werk op het gebied van de categorietheorie, topostheorie en de filosofie van de wiskunde.

The Fields Medal that Cohen won continues to be the only Fields Medal to be awarded for a work in mathematical logic.
De Fields-medal die Cohen won blijft de enige Fields-medaille die werd toegekend voor werk dat werd verricht in de wiskundige logica.

There are also substantial connections with complexity theory, mathematical logic, the study of Lie Groups
Ook zijn er belangrijke verbindingen met de complexiteitstheorie, de wiskundige logica, de studie van Lie-groepen

In mathematical logic, descriptive set theory(DST) is the study of certain classes of"well-behaved" subsets of the real line
In de wiskundige logica en de verzamelingenleer is de beschrijvende verzamelingenleer de studie van bepaalde klassen van zich"goed-gedragende" verzamelingen van de reële lijn

Such a mathematical logic of the lowest common denominator would lead to the establishment of a regime for Community liability in which the victims of damage attributable to the institutions would have only a very slim chance of obtaining compensation.
Een dergelijke mathematische logica van de kleinste gemene deler zou leiden tot een stelsel van aansprakelijkheid van de Gemeenschap waarin de kansen van de slachtoffers van aan de instellingen toerekenbare schade om vergoeding te verkrijgen, zeer gering zouden zijn.

which is part of geometry, with mathematical logic and became one of the pioneers in the field of Topological Logic..
een onderdeel van de meetkunde, met mathematische logica, en groeide uit tot één van de grondleggers van de topologische logica..

Director of the Laboratory of Mathematical Logic in the St. Petersburg branch of the Steklov Mathematical Institute within RAS,
Directeur van het labo van wiskundige logica in de Sint-Petersburg afdeling van het Steklov wiskundig instituut binnen RAS,

Matter-energy is recognized by the mathematical logic of the senses; mind-reason intuitively knows its moralˆ duty;
Materie-energie wordt herkend door de mathematische logica van de zintuigen; de bewustzijnsrede kent intuïtief haar morele plicht;

was a German mathematician, known for his work in mathematical logic.
die bekend is voor zijn werk op het gebied van de wiskundige logica.

Matter-energy is recognized by the mathematical logic of the senses; mind-reason intuitively knows its moral duty;
Materie-energie wordt herkend door de mathematische logica van de zintuigen; de bewustzijnsrede kent intuïtief haar morele plicht;

In mathematical logic, an abstract logic is a formal system consisting of a class of sentences
In de wiskundige logica is een abstracte logica een formeel systeem, dat bestaat uit een klasse van zinnen

In mathematical logic, the Peano axioms, also known as the Dedekind-Peano axioms
In de wiskundige logica zijn de axioma's van Peano(ook bekend als de axioma's van Dedekind-Peano

Francien Dechesne holds a PhD in mathematical logic(Tilburg University
Francien Dechesne is gepromoveerd in de mathematische logica(Universiteit van Tilburg

that requires us not to stick to pure mathematical logic, because the stricter that logic is the smaller will be the number of Member States allowed to join.
een ongunstig economisch klimaat. Daarom mogen wij ons niet tot de louter rekenkundige logica beperken die, naarmate ze strenger wordt toegepast, steeds minder landen tot de monetaire unie toelaat.

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