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 ...
Existentiebewijzen in de wiskunde - pagina 16
14 gelijkmatig verdeeld oper het vak (O, 1). Het ligt nu voor de hand te vragen, of deze stelling ook geldt, als men de rij a, 10a, 100a, 1000a vervangt door een willekeurige rij van de gedaante, n a, n' a, n" a, waarin n, n', n" , een rij van opklimmende geheele getallen voorstelt. Weyl 6-) bewe ...
Existentiebewijzen in de wiskunde - pagina 35
33 zie D.A.,Kap. IV. Hermitezegt in een brief aanStieltjes:„La recherche des fractions ^ '^ qui approchent Ie plus de deux p-p3'J) 40)41)42) 43)44) 45)4*')4'i')^^'^nombres donnés n' a cessé depuis plus de 5 ...
Existentiebewijzen in de wiskunde - pagina 17
-) 15 niet zou weten, hoe men ze zou moeten aanvatten, laten zich metrisch soms zeer eenvoudig behandelen. Zoo kent de wiskunde bijvoorbeeld nog geen middel om iets niet-triviaals vast te stellen over de verdeeling der breukdeelen van de getallen der rij e, e^, e^, ... over het vak (O, 1), terwij ...
Existentiebewijzen in de wiskunde - pagina 19
17 in een eindig aantal stappen een priemgetal aanwijzen, dat grooter is dan p „ . Laat men in de wiskunde het principe van het uitgesloten derde toe, dan heeft men een mogelijke bron van niet-constructieve existentiebewijzen; voert de aanname van het niet-bestaan van zeker object tot een tegensp ...
Existentiebewijzen in de wiskunde - pagina 36
34 4*^) Voor de definitie eener hoogeremachtsvergelijking zie >**'). Ieder rationaal getal .(a geheel, b geheel ^ o) is dus alge-braisch, want het voldoet aan de eerstegraadsvergelijking bx — a = 0. 34!*) 50)51)52)Zoo zijn ook V 2 V 2 ^"^ ' algebraïsch ...
Existentiebewijzen in de wiskunde - pagina 37
3553)54)55)56)5'^) 5S)mede correspondeerende vergelijkingen, heeft men een nummcringsprincipe verkregen voor de exacte beginstukken der oneindig voortloopende decimale ontwikkelingen aller reëele algebraïsche getallen en wel heeft de n-de decimale breuk B ...
Existentiebewijzen in de wiskunde - pagina 38
36 59) t. onder " ) a.p. 60) Deze inkleeding heb ik aan ƒ. Popken, Over het rekenkundig karakter van getallen (Openbare Les Groningen 1937), ontleend, waar zij op analoge manier, doch veronderstellenderwijze op 7C wordt toegepast. Popken verwijst naar E. Borel, Sur quelques applications des proba ...
Existentiebewijzen in de wiskunde - pagina 39
37''^)•^^)7^) '''•') 80)81) 82) 83) 84)men het onder 49) a.w. van Praenkel; voor de op het „Auswahlprinzip" gebouwde existentiebewijzen o.a. ook de onder ^7)^ resp. 54) a ^ van Borel en Lebesgue, waar verdere literatuur wordt genoemd. Voor de existentie van niet ...
Existentiebewijzen in de wiskunde - pagina 40
38^^') 86) 8^) 88) 89)•"I) 91)In een historisch aanhangsel vindt men bijzonderheden ook over de bovengenoemde mathematici en hun werk. De belangstellende lezer zij verder verwezen naar het instructieve werk van Felix Klein, Elementarmathematik vom höheren Standpunkte aus (Ber ...