1970 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 191
W. KUYK151opzet van de wiskunde vanuit één enig niveau van eksaktheid, n.l. de eksaktheid van een symbolies-logiese klassetheorie. Het is interessant om te zien hoe geheel analoog aan Russells behandeling van het getalbegrip. Whitehead het geometriese puntbegrip afleidt'''). Ook hie ...
1970 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 192
152WISKUNDE EN MAATSCHAPPELIJKE TENDENSENde begrippen 1, 2, 3, etc . . . te vormen, en daarmee de verzameling van alle natuurlijke getallen? We zouden met behoud van de logicistiese wens getal en klasse, punt en konvergerend nest van volumen, met elkaar in verband te blijven brengen ...
1970 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 193
W. KUYK153betrekking hebben. In de praktijk ligen deze theorieën natuurlijk dooreen, en wordt bijv. in de struktuurtheorie ook al gebruik gemaakt van verzamelingsleer. We staan, u zult het misschien al opgemerkt hebben, als we de zaken zo stellen, dicht bij het intuïtionisme en bij ...
1970 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 194
154WISKUNDE EN MAATSCHAPPELIJKE TENDENSENklassen (die men zich denkt of daadwerkelijk vormt) tot de eigenschap van die klassen die we hun „getal" noemen, en vervolgens verricht men de generaliserende denkdaad om tot de verzameling van alle natuurlijke getallen te komen. Iets dergeli ...
1970 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 195
W. KUYK155properties, differences, sequences and contiguities must be given, together with the objects themselves, as something which cannot be reduced to something else and which requires no reduction". Nu is het een feit dat als men tellen gaat hoeveel zichtbare „en in alle opzich ...
1970 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 196
156WISKUNDE EN MAATSCHAPPELIJKE TENDENSENom voor éen van die manieren te kiezen Wel kunnen we zeggen dat, als men m het aksiomasysteem ZF het zgn aksioma van de machtsverzamelmg vervangt door het bovenstaande, en het zgn keuzeaksioma door het „aftelbare" keuzeaksioma (als de machtig ...
1970 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 197
W. KUYK157worden is dat wiskunde als een wetenschap wordt beschouwd die ver boven het gemiddelde bevattingsvermogen van de mens gaat, die een élite eksaktheid en zekerheid bezit waaraan niet te tornen valt, met een waarheid vergeleken waarmee alle andere waarheid maar een schimmetje ...
1970 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 198
158WISKUNDE EN MAATSCHAPPELIJKE TENDENSENkijk die men op de wiskunde als geheel heeft, de grondslagenbeschouwing die men er op na houdt dus, niet geheel waardevrij is, want het blijkt dat die kijk verweven is met de plaats van de wiskunde in de maatschappij, en met vragen over de fu ...
1970 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 199
W. KUYK159schappen, nl. de wiskunde geldt, dat zijn essentie is: historiese vrijheid om eigen inhouden te bepalen. Ik behoef u niet te zeggen dat als men dit konsekwente transformisme zou trachten door te voeren, dit een ramp zou betekenen voor de zuivere wiskunde, want de zuivere, ...
1970 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 200
160WISKUNDE EN MAATSCHAPPELIJKE TENDENSENin de eerste plaats om te doen is. Op die manier gezien zijn wiskundige grondslagentheorieën en logika's interessante theorieën die de wiskundebeoefening hoogstens begeleiden en beïnvloeden, maar die niet prerekwisiet zijn voor de wiskunde ze ...