Filteren
van 1391
1965 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 45
DE CONTINUUM-HYPOTHESE25p/q) blijkt met de verzameling der natuurlijke getallen geUjkmachtig.') Dit laatste resultaat is zeer wel geschikt om ons vertrouwen in Cantor's gelijkmachtigheidsbegrip te ondermijnen. Is dit begrip wel zinvol? Of zou het soms blijken, achteraf, dat alle one ...
1965 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 46
26P. C. BAAYENgrondslagenonderzoek hebben echter een uitermate verrassend licht geworpen op dit continuum-vraagstuk: weliswaar is Cantor's hypothese nog immer onbewezen en onweerlegd, maar desondanks is de zaak rond, het dossier kan worden gesloten, het onderzoek gestaakt. Te verkla ...
1965 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 47
DE CONTINUUM-HYPOTHESE27lijke onderwerp vandaan; en men kan het verhaal elders vinden'). Laten wij er mee volstaan op te merken dat sommigen wilden concluderen dat de fout gezocht moet worden in het werken met het oneindige, althans met het actuele oneindige; zij verwierpen grotende ...
1965 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 48
28P. C. BAAYENgestroomlijnd door A. Fraenkel en T. Skolem, en het axiomatische systeem dat werd opgebouwd door J. von Neumann, P. Bemays en K. Gödel. Hoewel verschillend van opzet en methode zijn deze beide axiomatische theorieën toch tot op zekere hoogte gelijkwaardig ^); bij de te ...
1965 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 49
DE CONTINUUM-HYPOTHESE29Inmiddels wordt het tijd dat we ons weer wenden tot ons oorspronkelijke onderwerp. Inmiddels ook is het ons mogelijk geworden de recente resultaten betreffende deze hypothese, waarop reeds enige malen werd gezinspeeld, te vermelden en toe te lichten. Eerst ec ...
1965 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 50
30P. C. BAAYENwaartoe men op grond van de tot dusverre bereikte resultaten gekomen is, namelijk het vermoeden, dat de gangbare axiomenstelsels, waarmede men de theorie der puntverzamelingen beschrijft, niet toereikend zijn om het continuumprobleem te beslissen. Men zou dan in dezelf ...
1965 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 51
DE CONTINUUM-HYPOTHESE31slechts één van beide, of de hypothese zelf óf zijn ontkenning, m e t d e „werkelijkheid" overeenstemt? Of mogen wij meegaan met de formalisten, die stellen dat d e onafhankelijkheid van Cantor's vermoeden onze mogelijkheden verrijkt door ons in het bezit te ...
1965 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 52
32P. C. BAAYEN^1) Een sterk afwijkend stelsel is ontworpen door W. V. O. Quine, Mathematical Logic (Cambridge, Mass., 1958); zie ook van dezelfde auteur: Set theory and its logic (Cambridge, Mass., 1963). 1^) K. Gödel, Ueber formal unentscheidbare Satze der Principia Mathematica und ...
1965 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 53
sAuteursbiografica De schrijver van het voorafgaande artikel, prof. dr. P. C. Baayen, werd in 1934 geboren te Klaten (Java). In 1951 behaalde hij aan het Christehjk Lyceum te Goes het diploma gymnasium-B. Hij studeerde aan de Vrije Universiteit te Amsterdam, legde in 1957 zijn doctoraalexamen af, ...
1965 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 54
^aaruerslag1964van de secretaris van de Christelijke Vereniging van Natuur- en Geneeskundigen in Nederland In het achtenzestigste verenigingsjaar heeft de Vereniging haar activiteiten gecontinueerd, allereerst in het werk van de Redactie van ,,Geloof en Wetenschap" en van hen die da ...
van 1391
