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 ...
Existentiebewijzen in de wiskunde - pagina 22
20 volgt laat beschrijven: om de breuken te verkrijgen heeft men de bovengenoemde geheele getallen paarsgewijze tot nieuwe symbolen samengevoegd en voor zulke getallenparen bepaalde rekenregels ingevoerd, ontleend aan het rekenen met geheele getallen. Het is echter heel wel mogelijk, voor de geta ...
Existentiebewijzen in de wiskunde - pagina 14
12 vermeld slechts de volgende stelling: Splitst men van een meetbare verzameling een meetbaar deel af, dan is ook het overblijvende deel meetbaar; en de maat der verzameling is gelijk aan de som van de maten dier deelen. Ons interesseeren hier hoofdzakelijk verzamelingen van de maat nul, een beg ...
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 ...
Existentiebewijzen in de wiskunde - pagina 8
6 „constructief", althans vatbaar voor een ,.constructieve" formuleering. Ik zal hierop nog terug moeten komen, doch merk op, dat, als dit standpunt juist is in dien zin, dat ieder streng bewijs van Steinerr. existentie-bewering reeds in zou houden, dat de kromme met maximale oppervlakte de cirke ...
Existentiebewijzen in de wiskunde - pagina 13
11 inaar het laat zich gemakkelijk in een constructieven vorm gieten. Het is namelijk mogelijk de reëele algebraische getallen zoodanig te nummeren, dat men bij iedere n ^ 1 in een eindig aantal stappen n cijfers achter de komma kan bepalen in de decim.ale ontwikkeling van het n-de getal dier rij ...