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 ...
1970 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 201
W. KUYK161willen houden van de logika en de grondslagen theorie! Het wekt een weinig verbazing dat Beth in zijn boek de naam „Bourbaki" niet eens noemt. Men kan licht vermoeden dat de reden hiertoe is dat bij Beth zuivere en toegepaste wiskunde principieel verschillen, terwijl ze bi ...
1970 Geloof en Wetenschap : Orgaan van de Christelijke vereeniging van natuur- en geneeskundigen in Nederland - pagina 202
162WISKUNDE EN MAATSCHAPPELIJKE TENDENSENsengebieden verder te eksploiteren, ja, zelfs nieuwe gebieden te ontdekken. En ik kan niet inzien hoe dat mogelijk zou zijn met universiteiten waarvan de basisstruktuur nog stamt uit de tijd waarin een klein groepje élite mensen de wetenschap ...