Existentiebewijzen in de wiskunde - pagina 28
26 theorie en het probleem, die contradictieloosheid te bewijzen! Dat dit probleem veel moeilijker is, dan het analoge bij de meetkunde, dat wij zooeven bespraken, is duidelijk: men kan zich nu immers niet meer op de rekenkunde beroepen, daar deze zelf object van onderzoek is. Het probleem van de ...
Discreet of continu - pagina 28
J. F. KOKSMA26 8)I.e. 8).9) Oswald Spengler, Untergang des Abendlandes I, 5° Auflage (Miinchen 1920), S. 86. ^") J. Popken, De Jeugdperikelen van het getal; Inaugurele rede Utrecht; (Groningen 1947). Ook afgedrukt in Euclides 23 (1948), blz. 80. 11) Zie bijv. A. Czwalina, Arc ...
Existentiebewijzen in de wiskunde - pagina 27
25 en is met het oog op de immanente eigenschappen van het systeem zelf, van weinig belang. Waarin ligt dan de waarde van het systeem, als men afziet van bedoelde toepassingsmogelijkheid? Wel, wat overblijft om zich op te beroemen, is de logische onaantastbaarheid van het systeem: de zekerheid da ...
Discreet of continu - pagina 27
DISCREET OF CONTINU25vaardigt, slechts voor de luxe in actie blijft, zou ook een leger van geschoolde mathematici buiten de stroom van de toegepaste wiskunde komen te staan. Anderzijds weliswaar zal de nieuwe ontwikkeling wiskundigen oproepen om het apparaat te verfijnen en te bespe ...
Existentiebewijzen in de wiskunde - pagina 26
è4 formeel logische strengheid eener theorie hare rechtvaardiging ziet, ongeacht of haar ccnige reëele beteekenis toekomt of niet 124) _ Van groote beteekenis voor de verbreiding der formalistische opvatting van de wiskunde is ongetwijfeld de ontwikkelingsgang der meetkunde in de negentiende eeuw ...
Discreet of continu - pagina 26
24J. F. KOKSMAdeze benamingen niet meer, dan er redelijkerwijs achter kan zitten: een kan heeft een oor, een schoen een neus, een oven een mond. Voorbeelden bij tientallen: met de voortschrijdende cultuur breidt de metafoor haar gebied uit van dat van de vorm naar dat der functie. H ...
Existentiebewijzen in de wiskunde - pagina 25
i3 bijvoorbeeld op grond van de stelling van Euclides, dat men bij iedere n priemgetallen een (n + l)-ste kan aanwijzen n ^ ) . Het begrip bestaan krijgt zoo een wel omschreven zin: een wiskundig object bestaat slechts, yoor zoover het daadwerkelijk uit de wiskundige oerintuïtie is geconstrueerd. ...
Discreet of continu - pagina 25
DISCREET OF CONTINU23machine een globaal overzicht der gezochte oplossing. De numerieke data echter moet men door opmeting uit de figuur afleiden. De discrete of digitale machines werken in wezen door evenementen te tellen: ze leveren getallen, cijferreeksen. Voorbeelden zijn: de te ...
Existentiebewijzen in de wiskunde - pagina 24
i2 Deze tendenties vinden wij terug in het intuïtionisme, zooals dat voor het eerst omlijnd is uitgesproken en tot een werkprogram met positieven inhoud is verheven door L. E. J. Brouwer i"^). De intuïtionist (in den zin van Brouwer en zijn school) wijst niet alleen op de onmogelijkheid, de natuu ...
Discreet of continu - pagina 24
22J. F. KOKSMABij de beschrijving van de rekenkunde noemde ik de mechanische wijze, waarop wij vermenigvuldigen. Ook het feit, dat grote delen der wiskunde zich laten formaliseren, wijst op de mogelijkheid, dat deze gebieden misschien beter door een machine dan door de mens zelf kun ...