• No results found

Examen Wiskundige Logica 1Ma, juni 2009

N/A
N/A
Protected

Academic year: 2021

Share "Examen Wiskundige Logica 1Ma, juni 2009 "

Copied!
1
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

Examen Wiskundige Logica 1Ma, juni 2009

Vraag 1. Bewijs dat PA0 essentieel onbeslisbaar is.

Vraag 2. Aangaande de volledigheidsstelling: in het bewijs van Stelling 1 op pagina 5 van Deel II, bewijs dat H voldoet aan voorwaarde 5 in Hintikka’s Lemma.

Vraag 3. Aangaande het bewijs van de Stelling van Tennenbaum: leg in detail uit waarom de tweede gedisplayde formule op pagina 26 in Deel III (over onvolledigheid) geldig is.

Vraag 4. Zij de registermachine met codegetal n. Zij de verzameling  |   bij input   stopt na eindig stappen met output  , voor eender welk natuurlijk getal .

a/ Toon aan dat algoritmisch opsombaar is.

b/ Toon aan dat niet berekenbaar is.

c/ Bewijs de volgende bewering door gebruik te maken van a/. Er bestaan twee algoritmisch opsombare deelverzamelingen A en B van zodat   en zodat er geen enkele berekenbare deelverzameling C van bestaat zodat en .

Reservevraag: Construeer de Gödel zin, en bewijs zijn eigenschappen.

Referenties

GERELATEERDE DOCUMENTEN

Dan is f continu differentieerbaar op E desda alle parti¨ ele afgeleides van f bestaan en continu zijn op E.. Opgaven bij het bewijs van Stelling

begrippennetwerk van de werkgroep Wim. Gebruik ongeveer 55 woorden. 3p 21 Schrijf de reactie die de heer Wientjes voor de microfoon gegeven zou kunnen hebben. Verwerk in deze

Aangaande §9 over het bewijs van de volledigheidsstelling voor KE-bewijzen (deel II over volledigheid en modellen): in verband met de daar gebruikte KE-strategie wordt daar

Dit is Petrus Aprianus’ weergave van de Aristotelische kosmos uit 1525. Beschrijf aan de hand van dit diagram het Aristotelische wereldbeeld... Opgave 4. Dit is een afbeelding van

De windingen van de spoel sluiten zeer nauw op elkaar aan (veel nauwer dan in de figuur). De hartlijn van de spoel heeft een straal R. De doorsnede van de ring loodrecht op de

Vertaal naar een logische zin: Iedere uitgevoerde taak moet door een bekwame werknemer (Kan/2) uitgevoerd worden en alle vereiste taken moeten ervoor uitgevoerd zijn.... Stel dat

Bepaal alle priemgetallen waarboven precies 4 priemidealen liggen in de ring van de algebra- ische gehelen in Q(√2,

Voor dit examen kreeg je vier uur