Grondslagen van de wiskunde oor Engels

Grondslagen van de wiskunde

Vertalings in die woordeboek Nederlands - Engels

foundations of mathematics

study of the basic mathematical concepts

voorbeelde

Een derde bracht haar de grondslagen van de wiskunde, astronomie en astrologie bij.
A third educated her in the intricacies of Mathematics, Astronomy, and Astrology.

De Grundlagen, de grondslagen van de wiskunde.’
The Grundlagen, the Foundations of Mathematics.’

De naïeve verzamelingenleer is een van een aantal theorieën over verzamelingen, die worden gebruikt in de discussie over de grondslagen van de wiskunde.
Naïve set theory is any of several theories of sets used in the discussion of the foundations of mathematics.

Daarna was hij nog actief bij het Instituut voor de Geschiedenis en Grondslagen van de Wiskunde en Natuurwetenschappen (IGG) van de Universiteit Utrecht.
He remained active at the Institute for the History and Foundations of Mathematics and Natural Sciences (IGG) of the University of Utrecht for several more years.

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.

Hij heeft bijgedragen aan het programma van David Hilbert over de grondslagen van de wiskunde door een constructief consistentiebewijs voor een zwak systeem van de rekenkundige op te stellen.
He contributed to Hilbert's program in the foundations of mathematics by providing a constructive consistency proof for a weak system of arithmetic.

In de verzamelingenleer, een deelgebied van de wiskunde, en de grondslagen van de wiskunde, is een universum een klasse, die als elementen alle entiteiten bevat, die men in een bepaalde situatie maar wenst te overwegen.
In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation.

De econoom Paul Samuelson beschreef deze drie artikelen n 1970 als "drie grote erfenissen, die voor het grootste deel slechts bijproducten waren van zijn grote interesse in de grondslagen van de wiskunde en de kennis."
The economist Paul Samuelson described them in 1970 as "three great legacies – legacies that were for the most part mere by-products of his major interest in the foundations of mathematics and knowledge."

In 1922 en 1925 publiceerde hij twee artikelen die tot doel hadden om het axiomatische systeem van Zermelo te verbeteren; het resultaat zijn de Zermelo-Fraenkel-axioma's Fraenkel werkte aan de verzamelingenleer en de grondslagen van de wiskunde.
In 1922 and 1925, he published two papers that sought to improve Zermelo's axiomatic system; the result is the Zermelo–Fraenkel axioms.

In de wiskunde was het programma van Hilbert, opgesteld door de Duitse wiskundige David Hilbert in de jaren 1920, een voorgestelde oplossing voor de grondslagencrisis in de wiskunde, toen eerdere pogingen om de grondslagen van de wiskunde te verhelderen bleken te lijden onder paradoxen en tegenstrijdigheden.
In mathematics, Hilbert's program, formulated by German mathematician David Hilbert in the early part of the 20th century, was a proposed solution to the foundational crisis of mathematics, when early attempts to clarify the foundations of mathematics were found to suffer from paradoxes and inconsistencies.

Newton maakte de eerste twee delen, en legde de wiskundige grondslag voor de fysica van beweging.
Newton completed the first two volumes, laying the mathematical framework for the physics of motion.

In de documentatie wordt een gedetailleerd beeld geschetst van de theorie, de aannames en de wiskundige en empirische grondslagen van het interne model.
The documentation shall provide a detailed outline of the theory, assumptions, and mathematical and empirical bases underlying the internal model.

In de documentatie wordt een gedetailleerd beeld geschetst van de theorie, de aannames en de wiskundige en empirische grondslagen van het interne model
The documentation shall provide a detailed outline of the theory, assumptions, and mathematical and empirical bases underlying the internal model

De verzamelingenleer is gaandeweg de rol van de grondslag van de moderne wiskunde gaan spelen, in die zin dat het proposities over wiskundige objecten (bijvoorbeeld getallen en functies) uit alle traditionele gebieden van de wiskunde (zoals algebra, analyse en topologie) in één enkele theorie interpreteert en daarnaast een standaard verzameling aanbiedt om axioma's te bewijzen of te weerleggen.
Set theory has come to play the role of a foundational theory in modern mathematics, in the sense that it interprets propositions about mathematical objects (for example, numbers and functions) from all the traditional areas of mathematics (such as algebra, analysis and topology) in a single theory, and provides a standard set of axioms to prove or disprove them.

Er wordt een gedetailleerd beeld geschetst van de theorie, de aannames en de wiskundige en empirische grondslagen van het interne model.
The documentation shall provide a detailed outline of the theory, assumptions, and mathematical and empirical basis underlying the internal model.

Dat is het deelgebied van de wiskunde dat ten grondslag ligt aan de algemene relativiteitstheorie en ons uiteindelijk gaat vertellen wat de vorm van het universum is.
And this is actually the field of mathematics that underlies general relativity and is actually ultimately going to show us about the shape of the universe.

wordt een gedetailleerd overzicht gegeven van de theorie, aannamen en wiskundige en empirische grondslagen voor de toewijzing van ramingen aan klassen, individuele debiteuren, blootstellingen of pools, alsook van de voor de opstelling van het model gebruikte gegevensbron(nen);
provide a detailed outline of the theory, assumptions and mathematical and empirical basis of the assignment of estimates to grades, individual obligors, exposures, or pools, and the data source(s) used to estimate the model;

a) wordt een gedetailleerd overzicht gegeven van de theorie, aannamen en wiskundige en empirische grondslagen voor de toewijzing van ramingen aan klassen, individuele debiteuren, blootstellingen of pools, alsook van de voor de opstelling van het model gebruikte gegevensbron(nen);
(a) provide a detailed outline of the theory, assumptions and mathematical and empirical basis of the assignment of estimates to grades, individual obligors, exposures, or pools, and the data source(s) used to estimate the model;