intuïtionisme oor Engels

intuïtionisme

Vertalings in die woordeboek Nederlands - Engels

intuitionism

naamwoord

intuitionistic logic

naamwoord

logic

voorbeelde

Ook het intuïtionisme verwierp het idee dat werkelijke oneindigheid een uiting is van enige vorm van realiteit, maar aanhangers van deze stroming komen tot deze beslissing via een andere route dan aanhangers van het constructivisme.
Intuitionism also rejects the idea that actual infinity is an expression of any sort of reality, but arrive at the decision via a different route than constructivism.

Het intuïtionisme van Descartes leerde dat een mens alleen theoretische kennis kan verwerven door zijn intuïtie die verbindingen legt tussen ontwijfelbare waarheden, en dat als iemand een heldere en oplettende geest heeft, hij zou aanvoelen dat zijn voorstelling verward was als hij iets onwaars in beschouwing nam.
Descartes’ Intuitionism taught that one can only acquire theoretical knowledge by means of intuition connecting self-evident truths and that, if a person had an unclouded and attentive mind, he would get a feeling of confused conception if what he was considering was untrue.

De propositielogica, sterkere vormen van klassieke logica zoals de tweede orde logica of de niet-klassieke logica zoals het intuïtionisme worden eveneens onderzocht.
Stronger classical logics such as second-order logic or infinitary logic are also studied, along with nonclassical logics such as intuitionistic logic.

Wiskundigen uit de drie grote scholen van denken (constructivisme en zijn twee spruiten, het intuïtionisme en het finitisme) verzetten zich in deze kwestie tegen Cantors theorieën.
Mathematicians from three major schools of thought (constructivism and its two offshoots, intuitionism and finitism) opposed Cantor's theories in this matter.

Achteraf bekeken kunnen we zien dat de ideeën van Couturat in grote mate overeenstemden met het logicisme van Russell en Whitehead, terwijl Poincaré meer neigde naar het intuïtionisme van Brouwer.
With the benefit of hindsight, we can see that Couturat was in broad agreement with the logicism of Russell, while Poincaré anticipated Brouwer's intuitionism.

'We hebben onze kans op intuïtionisme verspeeld.'
"""We lost our chance at intuitionism."""

Achteraf bekeken kunnen we zien dat de ideeën van Couturat in grote mate overeenstemden met het logicisme van Russell en Whitehead, terwijl Poincaré meer neigde naar het intuïtionisme van Brouwer.
With the benefit of hindsight, we can see that Couturat was in broad agreement with the logicism of Russell and Whitehead, while Poincaré anticipated Brouwer's intuitionism.

De Arend Heyting Stichting heeft tot doel het bevorderen van de kennis van de grondslagen van de wiskunde, in het bijzonder het intuïtionisme.
The foundation has as goal to further the knowledge of mathematical logic, and Intuitionism in particular.

De stichting heeft tot doel het bevorderen van de kennis van de grondslagen van de wiskunde, in het bijzonder het intuïtionisme.
The foundation has as goal to further the knowledge of mathematical logic, and Intuitionism in particular.

De Arend Heyting Stichting heeft tot doel het bevorderen van de kennis van de grondslagen van de wiskunde, in het bijzonder het intuïtionisme.
The aim of the Arend Heyting Foundation is to build on the knowledge of mathematical logic, and in particular intuitionism.

Er is een stroming in de wiskunde, het zogenaamde intuïtionisme, die alleen uit wil gaan van wat intuïtief duidelijk is.
There is a current in maths, the so-called intuitionism, that wants to start from no other things than those that are intuitively clear.

Met behulp van de Brouwer-Heyting-Kolmogorov interpretatie (BHK) en de Kripkemodellen werd het intuïtionisme weer met de klassieke wiskunde in overeenstemming gebracht.
With the advent of the BHK interpretation and Kripke models, intuitionism became easier to reconcile with classical mathematics. [edit] See also