intuïtionistische logica oor Engels

intuïtionistische logica

Vertalings in die woordeboek Nederlands - Engels

intuitionistic logic

naamwoord

a type of logic which rejects the axiom "law of excluded middle"

voorbeelde

In zijn tweepaginalange "Zum intuitionistischen Aussagenkalkül" (1932) weerlegde Gödel eindige-waardigheid van de intuïtionistische logica.
In his two-page paper Zum intuitionistischen Aussagenkalkül (1932) Gödel refuted the finite-valuedness of intuitionistic logic.

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.

Deze ideeën werken in de klassieke en intuïtionistische logica, maar niet in Braziliaanse logica, waarin tegenstellingen niet per definitie onwaar zijn.
While these ideas work in both classical and intuitionistic logic, they do not work in paraconsistent logic, where contradictions are not necessarily false.

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.

Zij komen ook voor in de modeltheorie van de intuïtionistische logica: elke volledige heyting-algebra is de algebra van open verzamelingen van enige topologische ruimten, maar deze ruimte hoeft niet preregulier te zijn, laat staan hausdorff.
They also arise in the model theory of intuitionistic logic: every complete Heyting algebra is the algebra of open sets of some topological space, but this space need not be preregular, much less Hausdorff, and in fact usually is neither.

Ze worden gebruikt om modellen voor het multiplicatieve fragment van de intuïtionistische lineaire logica te definiëren.
They are used to define models for the multiplicative fragment of intuitionistic linear logic.

Voor het logicagedeelte worden enkele meerwaardigde logica's en de intuïtionistische logica behandeld.
In the logic part a number of many-valued systems and intuitionistic logic are dealt with.

In de klassieke logica, alsook in andere logica's zoals intuïtionistische logica, geldt, dat men uit een tegenspraak elke gewenste uitspraak kan afleiden.
Contents DefinitionEdit In classical logic (as well as intuitionistic logic and most other logics), contradictions entail everything.

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.

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

Zij komen ook voor in de modeltheorie van de intuïtionistische logica: elke volledige Heyting-algebra is de algebra van open verzamelingen van enige topologische ruimten, maar deze ruimte hoeft niet preregulier te zijn, laat staan Hausdorff.
They also arise in the model theory of intuitionistic logic: every complete Heyting algebra is the algebra of open sets of some topological space, but this space need not be preregular, much less Hausdorff, and in fact usually is neither.

De categorische logica is nu een goed-gedefinieerd gebied dat gebaseerd is op typentheorie voor intuïtionistische logica's, met toepassingen in het functioneel programmeren en de domeintheorie, waar een cartesisch gesloten categorie wordt beschouwd als een niet-syntactische beschrijving van een lambdacalculus.
Categorical logic is now a well-defined field based on type theory for intuitionistic logics, with applications in functional programming and domain theory, where a cartesian closed category is taken as a non-syntactic description of a lambda calculus.