Wikisage is op 1 na de grootste internet-encyclopedie in het Nederlands. Iedereen kan de hier verzamelde kennis gratis gebruiken, zonder storende advertenties. De Koninklijke Bibliotheek van Nederland heeft Wikisage in 2018 aangemerkt als digitaal erfgoed.
- Wilt u meehelpen om Wikisage te laten groeien? Maak dan een account aan. U bent van harte welkom. Zie: Portaal:Gebruikers.
- Bent u blij met Wikisage, of wilt u juist meer? Dan stellen we een bescheiden donatie om de kosten te bestrijden zeer op prijs. Zie: Portaal:Donaties.
Dialectica interpretatie
De Dialectica interpretatie is een interpretatie van de Heyting rekenkunde in een systeem van functionalen van eindige typen, genaamd Systeem T.
Deze interpretatie werd door Kurt Gödel gepubliceerd in het artikel Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes[1] in een speciale editie van het tijdschrift Dialectica, dat ter ere van de 70e verjaardag van Paul Bernays verscheen. Aan dit tijdschrift ontleent deze interpretatie haar naam. Gödel wilde met deze interpretatie een relatief consistentie bewijs leveren voor de rekenkunde.
Bronvermelding
Bronnen, noten en/of referenties:
- º Kurt Gödel, Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Dialectica, 1958, p. 280–287
Intertaalkoppelingen via Wikidata (via reasonator)