Mathematiek: Versjèl tösje versies

Verwijderde inhoud Toegevoegde inhoud
Spelling verbeterdt
K Hersjtèld tot de versie nao de lètste wieziging door JurgenNL.
Tekslien 1:
{{dialek|Nuts}}
[[Bestand:Egyptian A'h-mosè or Rhind Papyrus (1065x1330).png|thumb|Het oudst bekende wiskundige geschrift, de [[Rhind-papyrus]], uit de klassieke Egyptische beschaving.]]
'''Mathematik''' of '''wiskónde''' weurt vaak gedefinieerd as 't besjtudiere van [[patroeën]]e van sjtruktuur, [[verangering]] en [[roemte]]; minder formael kinne v'r zègke dat 't de sjtudie is van 'figure en getalle'. Mieë [[formalistisch]] is 't 't óngerzeuk nao [[aksioma]]tisch gedefinieerde [[abstracte structuur|absjtrakte sjtrukture]] mit behölp van [[logika]] en [[mathematische notatie]]; anger menere om mathematik te zeen waee besjreve in de [[filosofie van mathematik]]. Mathematik weurt vaak de "taal van 't universum" genumt.
'''Wiskunde''' (minder gebruikelijk: '''mathematiek''', '''mathematica''' of '''mathesis''') is een [[formele wetenschap]] die onder andere getallen, patronen en structuren bestudeert. De wiskunde komt voort uit het rekenen en de meetkunde, maar omvat veel meer dan dat.
 
Väöl wiskundige ongerwerpe zunt oorsjpronkelik probleme oet exacte weitensjappe zoeë-es [[natuurkónde]] en [[sjtarrekónde]].
Wiskundige structuren worden met strikte [[Logica|logische]] redeneringen opgebouwd. Wiskundige [[Propositie|beweringen]] waarvan de juistheid met die redenering is aangetoond heten [[Stelling (wiskunde)|stellingen]]; zij doen uitspraken over [[definitie|gedefinieerde]] [[object (ding)|objecten]] en formuleren verbanden daartussen. De formele redenering die aantoont dat een stelling waar is, noemt men een [[wiskundig bewijs]]. Bij het opstellen van een bewijs wordt uitgegaan van een (klein) aantal uitgangspunten ([[axioma]]'s) en van [[definitie]]s.
 
== Deilgebede ==
Wiskunde wordt niet alleen zelfstandig bestudeerd, de opgedane kennis wordt toegepast in allerlei dagelijkse situaties en in andere wetenschappen. Men spreekt dan van [[toegepaste wiskunde]] tegenover [[zuivere wiskunde]]. De scheidslijn is echter niet heel duidelijk en wat begon als ''zuivere wiskunde'' blijkt later toch regelmatig een toepassing te vinden.
'n Väöl gemak ongersjeid in de mathematik is dat tösje ''zuvere'', of theoretische, en ''toegepaste'' mathematik. 'n Sjtrikte sjeiing tösje dees gebede is lestig aan te gaeve. De theoretische wiskunde weurt veróngersjtèld deilgebede as [[algebra]], [[getaltheorie]] en [[topologie]] te omvatte, terwiel de toegepasde wiskunde besjteit oet ónger angere [[numerieke wiskunde]], [[cryptografie]] en de sjtudie van [[differentiaalvergelieking]]e.
 
'n Lies mit deilgebede van de mathematik, neet ongerverdeild in categorieë:
In toepassingen wordt [[rekenen|gerekend]] op basis van reeds bewezen stellingen. Dat kan eenvoudig zijn, bijvoorbeeld de [[stelling van Pythagoras]] in de [[meetkunde]] om een afstand te bepalen. Maar soms is het probleem in het dagelijks leven zo uitgebreid, dat er een (super)[[computer]] voor nodig is om binnen een redelijke tijd een oplossing te vinden. Een voorbeeld daarvan is de weersverwachting in de [[meteorologie]]: de atmosfeer wordt toegepast wiskundig gemodelleerd met behulp van [[differentiaalvergelijking]]en. Meetwaarden, afkomstig van meetpunten liefst over de hele aardbol op verschillende hoogten, bepalen na bewerking een begintoestand vanwaaruit de toekomstige [[Druk (grootheid)|druk]], [[wind (meteorologie)|wind]] en [[luchtvochtigheid]] wordt berekend. Het doorrekenen van de differentiaalvergelijkingen die uit deze meetgegevens volgen, kost enorm veel computertijd.
 
== Algemeen ==
In de meeste talen is het woord voor wiskunde afgeleid van het [[Griekenland|Griekse]] woord μάθημα (''máthèma''), dat wetenschap, kennis of leren betekent. Voorbeelden: [[Engels (hoofdbetekenis)|Engels]]: ''mathematics'', [[Duits]]: ''Mathematik'', [[Frans (hoofdbetekenis)|Frans]]: ''mathématiques''. Het [[Nederlands]]e woord ''wiskunde'' is door [[Simon Stevin]] in de [[17e eeuw]] als ''wisconst'' (kunst van het gewisse of zekere) aan deze wetenschap verbonden.
 
Veel onderwerpen van studie in de wiskunde vinden hun oorsprong in andere exacte wetenschappen zoals de [[natuurkunde]] en de [[astronomie]]. Dit wordt de [[toegepaste wiskunde]] genoemd. De wiskunde wordt gebruikt als instrument in deze wetenschappen. Een belangrijk deel van de toegepaste wiskunde betreft de wijze waarop [[computer]]berekeningen kunnen worden gedaan. Het deelgebied [[numerieke wiskunde]] bijvoorbeeld houdt zich volledig bezig met het onderzoeken van berekeningen.
 
Hiernaast doen wiskundigen ook fundamenteel onderzoek naar de opbouw en aard van getallen en andere mathematische structuren, zoals [[Ruimte (wiskunde)|ruimtes]], [[functie (wiskunde)|functies]] en [[groep (wiskunde)|groepen]]. Dit onderzoek kan een puur theoretische invalshoek hebben, of gericht zijn op een algemene oplossing voor vraagstukken op diverse gebieden. De wiskunde die puur gericht is op het onderzoek naar de theorie van mathematische structuren en samenhangen, wordt de [[zuivere wiskunde]] genoemd. Desalniettemin kunnen resultaten uit de zuivere wiskunde ook toepassing vinden buiten de wiskunde. De scheidslijn tussen ''zuivere'' en ''toegepaste'' wiskunde is dan ook niet geheel strikt.
 
== Definities van de wiskunde ==
[[Aristoteles]] definieerde wiskunde als "de wetenschap van de hoeveelheid" en deze definitie werd gebruikt tot de 18e eeuw. Beginnende in de 19e eeuw, toen de studie van de wiskunde in toenemende mate strikter werd en ook begon met meer abstracte onderwerpen aan te pakken, zoals de [[groepentheorie]] en [[projectieve meetkunde]], die geen duidelijke relatie meer hadden met hoeveelheid en metingen, begonnen wiskundigen en filosofen een verscheidenheid van nieuwe definities voor te stellen. Sommige van deze definities benadrukken het deductieve karakter van een groot deel van de wiskunde, andere benadrukken haar abstractheid en weer andere benadrukken bepaalde onderwerpen binnen de wiskunde. Vandaag de dag is er nog steeds geen consensus over de definitie van de wiskunde, zelfs niet bij professionals. Er is zelfs geen consensus over de vraag of de wiskunde een kunst is of een wetenschap. Een groot aantal professionele wiskundigen is niet geïnteresseerd in een definitie van de wiskunde, of beschouwt het als ondefinieerbaar. Sommige zeggen gewoon "Wiskunde is wat wiskundigen doen".<ref name=Mura>{{cite journal | title=Images of Mathematics Held by University Teachers of Mathematical Sciences | author=Mura, Robert | journal=Educational Studies in Mathematics | year=1993 | month=december | volume=25 | issue=4 | pages=[http://www.jstor.org/stable/10.2307/3482762 375–385]}}</ref>
 
== Geschiedenis ==
[[Bestand:Euclid-proof.svg|thumb|right|300px|Bewijs uit de [[Elementen van Euclides]], waarin wordt aangetoond dat er bij elk [[lijnstuk]] een [[gelijkzijdige driehoek]] bestaat waarvan het lijnstuk een [[zijde (meetkunde)|zijde]] is. Het is een [[bewijs door constructie]].]]
{{Zie hoofdartikel|Geschiedenis van de wiskunde}}
De wiskunde, zoals ontstaan uit de [[rekenkunde]], is reeds bekend in de vroegste culturen. Zo is uit [[Oude Egypte|Egypte]] de [[Rhind-papyrus]] bekend. De [[Babylon (Babel)|Babyloniërs]] ontwikkelden een geavanceerd getallensysteem gebaseerd op het getal 60. Ook gebruikten zij [[algebra]]ïsche formules als
''ab = ((a + b)<sup>2</sup> - (a - b)<sup>2</sup>)/4''
en tafels met [[machtsverheffen|machten]] om berekeningen sneller te kunnen uitvoeren. Bovendien kenden zij reeds de [[stelling van Pythagoras]].
De wiskunde als abstracte wetenschap werd het eerst beoefend in het klassieke [[Griekenland]], waar bijvoorbeeld [[Euclides van Alexandrië|Euclides]] zijn 5 [[axioma]]'s formuleerde die meer dan twintig [[eeuw]]en stand hielden. Vanuit deze axioma's bouwden hij en zijn volgelingen de [[meetkunde]] als zelfstandige tak van de wiskunde op.
Met de ondergang van de Griekse cultuur kwam de ontwikkeling van de wiskunde in het Westen tijdelijk tot stilstand.
 
Pas in de [[middeleeuwen]] pakten [[Arabische wiskunde|Arabische wiskundigen]] de draad weer op. Via hen werd bijvoorbeeld het [[cijfer]] [[0 (cijfer)|0]] vanuit [[India]] in [[Europa (werelddeel)|Europa]] geïntroduceerd. Een bloeiperiode begon met het werk van [[al-Chwarizmi]] rond 820 en de vertaling van [[Grieks]]e teksten. Aan al-Chwarizmi wordt het ontstaan van de [[algebra]] toegeschreven. Het woord algoritme is van zijn naam afgeleid. Het duurde tot na de middeleeuwen voor Europa de leidende rol van de Arabische cultuur kon overnemen. Omdat wiskunde een verplicht onderdeel was op de Europese universiteiten, werd al in de middeleeuwen een groot deel van de achterstand op de Arabieren ingelopen.
 
Tegenwoordig is wiskunde niet meer weg te denken uit het dagelijks leven, op allerlei manieren passen wij het immers toe en we worden er reeds op jonge leeftijd, in meerdere of mindere mate, mee geconfronteerd.
 
== Speciale positie in de wetenschap ==
Wiskunde neemt in de [[wetenschap]] een speciale positie in door de wijze van verkrijgen van kennis. Waar bijvoorbeeld [[natuurwetenschappen]] gebaseerd zijn op kennis op basis van het ontbreken van een [[falsifieerbaarheid|falsificatie]], bouwt wiskunde haar kennis op uit zuivere afleiding uit haar uitgangspunten. Wiskundige kennis is derhalve niet toetsbaar met experimenten. Waar natuurwetenschappelijke kennis ''per definitie'' voorlopig is, is wiskundige kennis pas kennis als hij is bewezen en definitief is, maar dan ook ''per definitie'' definitief.
 
De vraag is dan ook bij welk soort wetenschappen wiskunde gerekend moet worden. Doordat de wiskunde veelal door problemen uit de natuurwetenschappen is geïnspireerd en ook vooral zijn toepassingen vindt in die wetenschappen, wordt de wiskunde veelal bij de natuurwetenschappen ingedeeld of in bredere zin bij de [[bètawetenschappen]]. Dit ondanks het verschil in wijze van verkrijgen van kennis. In een moderne kijk op de [[filosofie van de wiskunde]] wordt er echter, in navolging van [[Imre Lakatos]], op gewezen dat ook wiskunde in wezen zijn kennis vermeerdert door een empirische kijk. Er wordt, vaak na aanwijzingen in rekenwerk, een vermoeden geuit waarvoor bevestiging wordt gezocht middels een [[wiskundig bewijs]].
 
Door zijn strikte redeneerwerk en methodologie heeft wiskunde ook veel gemeen met [[filosofie]]. Met name de [[logica]] en [[grondslagen van de wiskunde]] zijn duidelijke overlapgebieden. Met dat in het achterhoofd zou men wiskunde ook bij de [[alfawetenschappen]] in kunnen delen. Wiskunde houdt zich bezig met producten van de menselijke geest.
 
Ten slotte wordt wiskunde, samen met bijvoorbeeld [[informatica]], vaak ingedeeld als [[formele wetenschap]].
 
In de praktijk zien we echter dat wiskunde aan [[universiteit]]en ingedeeld is bij een [[faculteit (onderwijs)|faculteit]] voor natuurwetenschappen, al is een combinatie wiskunde-informatica of een aparte wiskundefaculteit ook niet ongebruikelijk.
 
== Wiskundig bewijs ==
{{Zie hoofdartikel|Wiskundig bewijs}}
De fundamentele wiskundige activiteit is het leveren van een [[wiskundig bewijs]], het is ''de'' manier waarop wiskundige kennis wordt verkregen. Het leveren van wiskundig bewijs gaat terug op de oude Grieken. Uit oudere beschavingen zijn geen bewijzen bekend, de wiskunde bestond voor de Grieken uit het oplossen van concrete problemen. Een belangrijke bron vormen de [[Elementen van Euclides]], waarin naast een axiomatische opbouw en definities ook ruim 400 stellingen staan met bewijzen.
 
Voor het verkrijgen van het bewijs gebruikt men de regels van de [[logica (wetenschap)|logica]]. Meer in het bijzonder worden [[deductie]]ve methodes gebruikt, en geen [[inductie (filosofie)|inductieve]] (met uitzondering van "volledige inductie") of [[Empirisch resultaat|empirische]]. Men moet zich baseren op [[axioma|axioma's]], [[definitie]]s en eerder bewezen [[stelling (wiskunde)|stellingen]]. Het vakgebied dat zich met het bewijzen bezighoudt is de [[bewijstheorie]].
 
Vroeger bestond het werk van een wiskundige dan ook vooral uit het schrijven van bewijzen. Zijn gereedschappen waren potlood en papier, soms passer en liniaal en nog zeldzamer een rekenmachine. Dat veranderde echter met de opkomst van de computer. Hierdoor is het veel eenvoudiger om wiskundig te experimenteren. Er is bovendien zowel software voor het helpen bij [[algebra]] en [[analyse (wiskunde)|analyse]], de [[computeralgebrasysteem|computeralgebrasystemen]], als bij het onderzoeken van [[meetkunde]], de dynamische meetkunde software. [[Chaostheorie]] en [[fractal]]s zijn voorbeelden van wiskunde die meer uit experimenten is voortgekomen. De werkelijke kennis is echter uiteindelijk in het klassieke raamwerk van het wiskundig bewijs geplaatst.
 
== Wiskundige notatie en taal ==
[[Bestand:Gregor Reisch, Margarita Philosophica, 1508 (1230x1615).png|thumb|right|Margarita Philosophica, Gregor Reisch (1508)]]
{{zie ook|Zie de [[lijst van wiskundige symbolen]] voor een overzicht van symbolen gebruikt in wiskundige notatie.}}
De wiskundige notatie die wij nu kennen was onbekend voor de [[16e eeuw]]. Voor die tijd werd alles volledig uitgeschreven, en als waar wij nu ''x'' gebruiken in een formule, werd toen nog gesproken van ''een onbekende grootheid''. De [[Zwitserland|Zwitserse]] wiskundige [[Leonhard Euler]] (1707-1783) is verantwoordelijk voor veel wiskundige notatie zoals wij die nu kennen. Voordeel is dat een wiskundige bewering met de notatie overzichtelijker is. Moderne wiskundige notatie is meestal bijzonder compact, een paar eenvoudige symbolen kunnen zeer veel informatie bevatten, wat voor professionele wiskundigen een duidelijk voordeel is, maar voor beginners erg lastig kan zijn.
 
Ook kent wiskunde een gedeeltelijk eigen taal, die voor de leek niet altijd te ontdekken is. Zo kunnen alledaagse termen zoals "of", "als...dan.." of "[[compact]]" een andere betekenis hebben als in het dagelijks taalgebruik. Vaak zitten er definities achter die heel nauwkeurig beschrijven wat er bedoeld wordt. Deze nauwkeurigheid is in de wiskunde van groot belang - iemand die een bewijs van een ander naleest moet natuurlijk precies weten wat er bedoeld wordt.
 
Verwarrend is het soms dat niet overal ter wereld exact dezelfde notatie en dezelfde definities worden gebruikt. Er is geen instituut dat definities of notaties precies vastlegt. Zo zijn er verschillende definities voor de [[natuurlijke getallen]], met of zonder nul. Ook over een eenvoudig begrippen als een [[rechthoek]] bestaat wel eens onenigheid of er een ''inclusieve'' (dan is een vierkant ook een rechthoek) of een ''exclusieve definitie'' (dan is een vierkant geen rechthoek) moet worden gebruikt. Auteurs zullen echter meestal duidelijk maken welke definitie zij hanteren.
 
== Wiskundeonderwijs ==
{{zie ook|Voor het vak zoals dit in het Nederlands voortgezet onderwijs onderwezen wordt, zie [[Wiskunde (schoolvak in Nederland)]]}}
Wiskunde maakt een vast onderdeel uit van de vakken die men in het [[basisonderwijs|basis-]] en [[voortgezet onderwijs]] aangeboden krijgt. In het basisonderwijs bestaat het vooral uit tellen, rekenen en eenvoudige meetkunde. In het voortgezet onderwijs is er veelal aandacht voor meer meetkunde, analyse, eenvoudige algebra, kansrekening en statistiek. Afhankelijk van het niveau en van het land kunnen echter ook allerlei andere onderwerpen aan bod komen. In het algemeen blijft het wiskundeonderwijs echter beperkt tot het inzetten van toepassingen. Het geven van bewijzen is in het algemeen voorbehouden aan het hoogste onderwijsniveau. Er zijn echter flinke internationale verschillen. Op universiteitsniveau komt wat soms ook wel aangeduid wordt met de populaire term 'hogere wiskunde' aan bod. Hier wordt dieper ingegaan op de wiskunde die ook op middelbare scholen wordt onderwezen, maar er komen ook geheel nieuwe gebieden en onderwerpen aan bod.
 
Ook heel verschillend is de gebruikte didactiek. Van oudsher werd de wiskunde heel ''kaal'' aan kinderen aangeboden. In de tweede helft van de twintigste eeuw werd echter steeds meer nadruk gelegd op het belang van ''context'' in de wiskunde, dat wil zeggen dat er een verband werd gelegd met een vraagstuk in de echte wereld. Een van de motoren achter het verbeteren van wiskundeonderwijs door onder andere het gebruik van context is de [[Nederland]]s-[[Duitsland|Duitse]] wiskundige [[Hans Freudenthal]].
 
== Belangrijke onderscheidingen ==
Er is geen [[Nobelprijs]] voor de wiskunde, al zijn er wel Nobelprijzen uitgereikt aan wiskundigen, met name in de [[Nobelprijs voor de Natuurkunde|natuurkunde]] en [[Nobelprijs voor de Economie|economie]]. De meest prestigieuze wiskundige onderscheiding is de [[Fieldsmedaille]], die elke vier jaar wordt uitgereikt aan een wiskundige van onder 40 jaar. De meest prestigieuze jaarlijkse oeuvreprijs is [[Abelprijs]], alhoewel ook de [[Wolfprijs]] veel aanzien geniet.
 
== Deelgebieden ==
[[Bestand:Abacus 6.png|right|thumb|De vroege wiskunde ging vooral over de noodzaak praktische berekeningen te kunnen maken zoals met deze Chinese [[Abacus (rekentuig)|abacus]].]]
De hoofdgebieden van de wiskunde ontstonden oorspronkelijk uit de noodzaak zakelijke berekeningen te kunnen maken, de relaties tussen getallen te begrijpen, land te kunnen opmeten en [[Astronomie|astronomische]] gebeurtenissen te kunnen voorspellen. Deze vier noden kunnen ruwweg verbonden worden aan de brede onderverdeling van de wiskunde in de studie van
 
* hoeveelheden ([[rekenkunde]]),
* structuren ([[algebra]]),
* ruimte ([[meetkunde]]) en
* veranderingen (ofwel [[Analyse (wiskunde)|analyse]]).
 
Daarnaast zijn er nog andere deelgebieden die te maken hebben met de verbanden tussen de kern van de wiskunde en andere domeinen, zoals de [[logica (wetenschap)|logica]], de [[verzamelingenleer]], en de [[toegepaste wiskunde]].
 
=== Hoeveelheid ===
De leer van hoeveelheden begint met [[getal (wiskunde)|getallen]]. Eerst komen de door iedereen gekende [[Natuurlijk getal|natuurlijke getallen]] en [[Geheel getal|gehele getallen]] en de bewerkingen, samengebracht in de [[rekenkunde]]. Meer gevorderde eigenschappen worden bestudeerd in de [[getaltheorie]], met populaire resultaten zoals de [[laatste stelling van Fermat]]. In de getaltheorie bestaan veel onopgeloste problemen. Drie van de bekendere onopgeloste problemen over, die bovendien eenvoudig te formuleren zijn, zijn het [[priemtweeling]]vermoeden, het [[vermoeden van Goldbach]] en het [[vermoeden van Collatz]].
 
Bij uitbreiding van het getalsysteem vindt men dat de gehele getallen een [[deelverzameling]] vormen van de [[Rationaal getal|rationale getallen]] ([[breuk (wiskunde)|breuken]]). Deze zijn op hun beurt een deel van de [[Reëel getal|reële getallen]]. Dit kan weer uitgebreid worden naar de [[Complex getal|complexe getallen]]. Verder leidt deze studie naar de [[Transfiniet getal|transfiniete getallen]], waarmee het concept [[oneindigheid]] formeel behandeld wordt. Een ander domein is de studie van de grootte van een verzameling, leidend tot de [[Kardinaliteit|kardinaalgetallen]] en [[ordinaalgetal]]len en zo naar een ander begrip van oneindigheid: de [[alef]]getallen.
 
:{| style="border:1px solid #ddd; text-align:center; margin: auto;" cellspacing="20"
| <math>\!\, 0; 1; 2; 3</math> || <math>\!\,-2; -1; 0; 1; 2</math> || <math>\!\, -2;\frac{2}{3}; 1{,}21</math> || <math>\!\,-e; \sqrt{2}; 3; \pi</math> || <math>2; i; -2+3i; 2e^{i\frac{4\pi}{3}}</math>
|-
| [[Natuurlijk getal|Natuurlijke getallen]]|| [[Geheel getal|Gehele getallen]] || [[Rationaal getal|Rationale getallen]] || [[Reëel getal|Reële getallen]] || [[Complex getal|Complexe getallen]]
|}
 
=== Structuur ===
Veel [[wiskundig object|wiskundige objecten]], zoals [[verzameling (wiskunde)|verzamelingen]] van bijvoorbeeld getallen en [[functie (wiskunde)|functies]], hebben een inwendige structuur door bewerkingen die er op gedefinieerd zijn. Wiskunde bestudeert eigenschappen van deze verzamelingen als uitvloeisel van deze structuren. De [[getaltheorie]] bijvoorbeeld bestudeert eigenschappen van de verzameling [[geheel getal|gehele getallen]] uitgedrukt in de [[rekenen|rekenoperatoren]] - optellen en vermenigvuldigen en daarvan afgeleide operatoren.
 
Het blijkt dat verschillende verzamelingen met hun bewerkingen een vergelijkbare structuur hebben. Dat nodigt uit tot het abstraheren van deze structuur. En zo ontstaat de studie van [[groep (wiskunde)|groepen]] met één soort bewerking en [[ring (wiskunde)|ringen]] en [[Lichaam (Ned) / Veld (Be)|velden]] (Belgisch) of [[Lichaam (Ned) / Veld (Be)|lichamen]] (Nederlands) met twee soorten bewerkingen en andere abstracte systemen. Dit noemt men de [[abstracte algebra]]. Door zijn sterke abstractie kan kennis uit de abstracte algebra soms worden gebruikt in op het eerste gezicht geheel losstaande takken van wiskunde. De [[Galoistheorie]] bracht bijvoorbeeld een oplossing voor de drie klassieke problemen bij het vinden van een [[constructie met passer en liniaal]]. Deze constructies bleken in termen van groepen te kunnen worden beschreven.
 
Een ander voorbeeld van een algebraïsche structuur is de [[vectorruimte]], waarin punten worden verbonden door [[vector (wiskunde)|vectoren]] die zowel een grootte als een richting hebben. Deze vectorruimtes worden bestudeerd in de [[lineaire algebra]]. Dit is een van de voorbeelden die laten zien dat de oorspronkelijk van elkaar losstaande algebra en meetkunde in de moderne wiskunde nauw verweven zijn. De [[algebraïsche meetkunde]] neemt dan ook een centrale plaats in de moderne wiskunde in.
 
:{| style="border:1px solid #ddd; text-align:center; margin: auto;" cellspacing="15"
| [[Bestand:Elliptic curve simple.png|96px]] || [[Bestand:Group diagdram D6.svg|96px]] || [[Bestand:Lattice of the divisibility of 60.svg|96px]] || [[Bestand:Togliatti surface.png|96px]]
|-
| [[Getaltheorie]] || [[Groepentheorie]] || [[Ordetheorie]] || [[Algebraïsche meetkunde]]
|}
 
=== Ruimte ===
De studie van de ruimte begint met de [[meetkunde]], in het bijzonder de [[Euclidische meetkunde]]. Deze euclidische meetkunde gaat over het platte vlak en de [[Euclidische ruimte|ruimte]] en bevat de alombekende [[stelling van Pythagoras]]. Al bij de oude Grieken ging meetkunde echter ook om getallen, voorgesteld als verhouding tussen [[lijnstuk]]ken. De introductie van [[Cartesisch coördinatenstelsel|Cartesische coördinaten]] maakten duidelijk dat onder meetkunde ook getallen zitten. Door het definiëren van allerlei soorten [[metriek]] spelen hoeveelheid en ruimte zo allebei een rol in de [[analytische meetkunde]], de [[differentiaalmeetkunde]] en de [[algebraïsche meetkunde]].
 
De moderne studie van de ruimte is voorts uitgebreid naar meetkunde met meerdere dimensies, de [[affiene meetkunde|affiene]], [[projectieve meetkunde|projectieve]] en andere [[niet-euclidische meetkunde]]. Deze corresponderen veelal met andere metrieken, vaak niet meer gebaseerd op de [[reëel getal|reële getallen]]. Daarnaast bestaat er nog [[beschrijvende meetkunde]] of [[wetenschappelijk tekenen]].
 
De [[topologie]] is een ander uitvloeisel van de klassieke meetkunde. Men houdt zich in de topologie bezig met eigenschappen van de ruimte die bij continue vervorming behouden blijven. Anders dan bij de zojuist genoemde onderdelen speelt metriek hierbij geen enkele rol.
 
:{| style="border:1px solid #ddd; text-align:center; margin: auto;" cellspacing="15"
| [[Bestand:Pythagorean.svg|96px]] || [[Bestand:Taylorsine.svg|96px]] || [[Bestand:Osculating circle.svg|96px]] || [[Bestand:Torus.png|96px]] || [[Bestand:Von koch 6 etapes.svg|96px]]
|-
|[[Meetkunde]] || [[euclidische meetkunde|Driehoeksmeetkunde]] || [[Differentiaalmeetkunde]] || [[Topologie]] || [[Fractal]]en
|}
 
=== Verandering ===
Het begrijpen en beschrijven van verandering is een terugkerend thema in de [[natuurwetenschappen]] en de [[analyse (wiskunde)|calculus]] werd ontwikkeld om dit te onderzoeken. Dit leidt tot de studie van de [[functie (wiskunde)|functies]] en de [[Analyse (wiskunde)|analyse]]. Dit gaat niet alleen om functies van reële getallen, maar ook van [[complexe getallen]] in de zogenaamde [[functietheorie]]. De [[functionaalanalyse]] gaat nog een stap verder, en onderzoekt ruimtes van functies of andere operatoren.
 
Veel problemen in de wetenschap leiden naar de relaties tussen een hoeveelheid en de mate van verandering, bestudeerd met [[differentiaalvergelijking]]en. Ook [[dynamisch systeem|dynamische systemen]] komen voort uit dergelijke problemen, met name in de natuur. De [[chaostheorie]] beschrijft op een exacte manier hoe de natuur zich weliswaar [[deterministisch systeem|deterministisch]], maar toch onvoorspelbaar gedraagt.
 
{| style="border:1px solid #ddd; text-align:center; margin: auto;" cellspacing="20"
| [[Bestand:Integral as region under curve.svg|96px]] || [[Bestand:Vectorfield jaredwf.png|96px]] || [[Bestand:Limitcycle.jpg|96px]] || [[Bestand:Lorenz attractor.svg|96px]]
|-
| [[Analyse (wiskunde)|Analyse]] || [[Vectoranalyse]]|| [[Systeemtheorie|Dynamische systemen]] || [[Chaostheorie]]
|}
 
=== Fundamenten en filosofie ===
Om de [[Grondslagen van de wiskunde|fundamenten van de wiskunde]] vast te leggen werden de domeinen van de [[wiskundige logica]] en de [[verzamelingenleer]] ontwikkeld.
 
De wiskundige logica houdt zich bezig met het opzetten van een sterk [[axioma]]tisch raamwerk, het bestuderen van de gevolgtrekkingen daarvan, maar ook de formele logica en toepassingen daarvan in andere wiskundige vakgebieden. De [[verzamelingenleer]] bestudeert [[verzameling (wiskunde)|verzamelingen]], collecties van wiskundige objecten. Relatief nieuw is de [[Categorietheorie (wiskunde)|categorietheorie]], die zich geheel abstract bezighoudt met [[wiskundige structuur|wiskundige structuren]] en hun verbanden.
 
Als men spreekt over de ''crisis in de fundamenten in de wiskunde'' doelt men veelal op de periode van grofweg 1900 tot 1930. Men zocht in die tijd naar een rigide structuur en zo ontstonden allerhande controverses. Die leidden tot heftige discussies en soms tot andere soorten wiskunde, waarin bepaalde regels anders zijn dan in de gebruikelijke wiskunde, zoals het [[intuïtionisme]] en andere soorten [[constructivisme (wiskunde)|constructivisme]].
 
De zoektocht naar een axiomatisch raamwerk waarvan de innerlijke ''[[consistentie (logica)|consistentie]]'' kon worden bewezen werd onderuitgehaald door de [[onvolledigheidsstellingen van Gödel]]. Deze stellingen uit 1931 tonen aan dat een voldoende sterk axiomatisch raamwerk automatisch onbewijsbare stellingen in zich heeft en dat de eigen consistentie daar een van is. Dit inzicht heeft het beeld van de grondslagen van de wiskunde enorm veranderd.
 
Moderne logica omvat de [[recursie]]theorie, de [[modeltheorie]] en de [[bewijstheorie]], en is sterk verbonden met [[informatica]].
 
:{| style="border:1px solid #ddd; text-align:center; margin: auto;" cellspacing="15"
| <math> P \Rightarrow Q \,</math>|| [[Bestand:Venn A intersect B.svg|128px]] || [[Bestand:Commutative diagram for morphism.svg|96px]]
|-
| [[Formele logica|Wiskundige logica]] || [[Verzamelingenleer]] || [[Categorietheorie (wiskunde)|Categorietheorie]] ||
|}
 
=== Discrete wiskunde ===
De [[discrete wiskunde]] is de naam voor het onderdeel van de wiskunde dat vooral nuttig is in de [[informatica]]. Dit omvat de [[berekenbaarheid]]sleer en de [[informatietheorie]], en leidt tot het model van de [[Turingmachine]]. Informatietheorie houdt zich bezig met de hoeveelheid gegevens die kunnen bewaard worden op een bepaald medium en met begrippen zoals [[datacompressie|compressie]] en [[entropie]].
 
:{| style="border:1px solid #ddd; text-align:center; margin: auto;" cellspacing="15"
| <math>\begin{matrix} (1,2,3) & (1,3,2) \\ (2,1,3) & (2,3,1) \\ (3,1,2) & (3,2,1) \end{matrix}</math> || <math>a^{p-1}\equiv 1 </math> || [[Bestand:DFAexample.svg|96px]] || [[Bestand:Caesar3.svg|96px]] || [[Bestand:6n-graf.svg|96px]]
|-
| [[Combinatoriek]] || [[Getaltheorie#Elementaire getaltheorie|Getaltheorie]] || [[Berekenbaarheid]]sleer || [[Cryptografie]] || [[Grafentheorie]]
|}
 
=== Toegepaste wiskunde ===
De toegepaste wiskunde bestudeert het gebruik van abstracte wiskundige middelen voor het oplossen van concrete problemen in de natuurwetenschappen, techniek (vooral [[meetkunde]], reële [[analyse (wiskunde)|analyse]], [[complexe functie]]theorie en [[lineaire algebra]]) en de [[menswetenschappen]] en zakenwereld (vooral [[statistiek]] en [[kansrekening]]). Statistiek en kansrekening spelen een fundamentele rol in het beoordelen van [[risico|risico's]], het interpreteren van [[steekproef]]resultaten en [[Enquête (onderzoek)|enquêtes]] en het controleren van [[Procesmanagement|proces]]sen. Het doen van [[statistische toets]]en, ondersteund door [[software]] als [[SPSS]], geeft daarbij een gedegen basis voor de conclusies.
 
In de [[speltheorie]] bestudeert men het nemen van beslissingen in strategische interactie van verschillende partijen. Men gaat daarbij uit van [[rationeel]] handelen van de partijen. Een bekend voorbeeld uit de speltheorie is het [[Prisoner's dilemma]].
 
<center>
<gallery>
Bestand:Gravitation space source.png | <center>[[Wiskundige natuurkunde|Wiskundige fysica]]</center>
Bestand:BernoullisLawDerivationDiagram.png | <center>[[Stromingsleer|Vloeistofdynamica]]</center>
Bestand:Composite trapezoidal rule illustration small.png | <center>[[Numerieke wiskunde]]</center>
Bestand:Maximum boxed.png | <center>Optimalisatie</center>
Bestand:Two red dice 01.svg | <center>[[Kansrekening]]</center>
Bestand:Rozklad benforda.svg | <center>[[Statistiek]]</center>
Bestand:Market Data Index NYA on 20050726 202628 UTC.png | <center>[[Financiële wiskunde]]</center>
Bestand:Arbitrary-gametree-solved.png | <center>[[Speltheorie]]</center>
</gallery>
</center>
 
=== Lijst van deelgebieden ===
Hieronder volgt een lijst met deelgebieden van de wiskunde zonder rekening te houden met categorieën:
 
* [[Abstracte algebra]]
* [[Abstractie]] en [[Deductie]]
* [[Algebra]]
* [[Algoritme]]ns
* [[Analyse (wiskundemathematik)|Analyse]]: [[Geschiedenis van de analyse (wiskunde)|Geschiedenis van de analyse]]
* [[Asymptoot|AsymptotenAsymptote]] en [[Limiet]]ene
* [[BesliskundeBesjliskunde]]
* [[Booleaanse logica]]
* [[Categorietheorie (wiskunde)|Categorietheorie]]
* [[Chaostheorie]]
* [[CoderingstheorieCodieringstheorie]]
* [[Combinatoriek]]: [[Combinatie (wiskunde)|Combinatie]] - [[Permutatie]] - [[Variatie (wiskunde)|Variatie]] - [[Magisch vierkantveerkant|Magische vierkantenveerkante]]
* [[Complex getal|Complexe getallengetalle]] en [[Complexe functie]]s
* [[Cryptografie]]
* [[DifferentiaalmeetkundeDifferentiaalmaetkónde]]
* [[Differentiaaltopologie]]
* [[DifferentiaalrekeningDifferentiaalraekening]] - [[DifferentiaalvergelijkingDifferentiaalvergelieking]]ene
* [[Discrete wiskunde]]
* [[RekenenRaekene|Elementaire rekenkundigeraekenkundige bewerkingenbewerkinge]]: [[optellenoptèlle]], [[aftrekken (wiskunde)|aftrekkenaaftrèkke]], [[vermenigvuldigenvermenigvuldige]], etc.
* [[Functie (wiskunde)|Functies]] en [[Functieanalyse]]
* [[Speciale functie]]s (bv. de [[BètafunctieBetafunctie]])
* [[Functionaalanalyse]]
* [[Galoistheorie]]
* [[Getaltheorie]]
* [[Goniometrie]]
* [[GrafentheorieGrafetheorie]]
* [[Groepetheorie]]
* [[Groep (wiskunde)|Groepen]] en [[groepentheorie]]
* [[Integraalraekening]]
* [[Integraalrekening]] - [[Lijnintegraal]] - [[Meervoudige integraal]]
* [[Speciale integralen]]: [[Sinusintegraal]] - [[Cosinusintegraal]] - [[Exponentiële integraal]] - [[Fresnelintegraal]] - [[Complexe integraal]]
* [[KansrekeningKansraekening]] en [[Maattheorie]]
* [[Lineaire algebra]]
* [[Logaritme]]n en [[exponentiële functie]]s
* [[Logica (wetenschap)|Logica]]
* [[MeetkundeMaetkónde]], [[Analytische meetkundemaetkónde]] en [[NietNeet-euclidischeEuclidische meetkundemaetkónde]]
* [[Numerieke wiskundemattemetik]]
* [[ongelijkheidOngeliekheid (wiskunde)|OngelijkhedenOngeliekhede]]
* [[Pi (mattemetik)|Pi]]
* [[Polynoom|Polynomen]]: [[Chebyshev-polynoom|Chebyshev]] - [[Hermite-polynoom|Hermite]] - [[Laguerre-polynoom|Laguerre]] - [[Lagrange-polynoom|Lagrange]] - [[Legendre-polynoom|Legendre]] - [[Wilkinson-polynoom|Wilkinson]]
* [[Polynoom|Polynomen]]: [[Chebyshev-polynoom|Chebyshev]] - [[Hermite-polynoom|Hermite]] - [[Laguerre-polynoom|Laguerre]]
* [[Priemgetal]]len en [[Priemfactor]]en
* [[Priemgetal]]le en [[Priemfactor]]e
* [[Reeks (wiskunde)|Reeksen]]: [[Binomium van Newton|Binomiaalreeksen]] - [[Machtreeks]]en - [[Taylorexpansie|Taylorreeksen]] - [[Taylorreeks|Maclaurinreeksen]]
* [[Reeks]]e: [[Binomiaalreeks]]e - [[Machtreeks]]e - [[Taylorexpansie|Taylorreekse]] - [[Maclaurin]]
* [[Ruimtemeetkunde]]
* [[Rij (wiskunde)|RijenRoemdemaetkónde]]
* [[SpeltheorieRichtingscoëfficiënt]]
* [[Rie (mathematik)|Rie]]ë
* [[Sjpeltheorie]]
* [[Statistiek]]
* [[TalstelselTalsjtèlsel]]s
* [[Topologie]]
* [[Transformatie (wiskunde)|Transformaties]]s: [[Fourieranalyse]] - [[Legendre-transformatie]] - [[Laplacetransformatie]] - [[Z-transformatie]]
* [[Trigonometrie]]
* [[Vergelijking (wiskunde)|Vergelijkingen]] - [[Oplossen van vergelijkingen]]
* [[Vergelieking (mathematik)|Vergeliekinge]] - [[Oplosse van vergeliekinge]]
* [[Verzamelingenleer]]
* [[Verzamelingelier]]
 
== Open problemen ==
De wiskunde kent een flink aantal nog onopgeloste problemen. Vaak worden deze [[vermoeden]]s genoemd. De oude Grieken hadden al dergelijke problemen. Die betroffen het vinden van een [[constructie met passer en liniaal]] voor de [[verdubbeling van de kubus]], de [[driedeling van de hoek]] en de [[kwadratuur van de cirkel]]. Van deze problemen werd vele eeuwen later pas aangetoond dat er geen oplossing is met behulp van [[Galoistheorie]].
 
[[David Hilbert]] presenteerde bij het internationale wiskundecongres in Parijs in 1900 een beroemd geworden lijst van [[23 problemen van Hilbert|23 open problemen]] voor de [[twintigste eeuw]]. Deze lijst werd beroemd onder wiskundigen en negen van de problemen zijn opgelost of hebben de status van ''onbeslisbaar''. In 2000 werd een nieuwe lijst van zeven belangrijke problemen opgesteld, de [[millenniumprijsprobleem|millenniumprijsproblemen]]. Oplossing van een van deze problemen levert de oplosser $&nbsp;1 miljoen op. Er is maar een probleem dat op beide lijsten staat, de [[Riemann-hypothese]].
 
== Recreatieve wiskunde ==
Naast serieuze wiskunde is er ook een minder serieuze ''recreatieve'' wiskunde. Een goed voorbeeld daarvan zijn de grote hoeveelheid [[wiskundige puzzel]]s die er bestaan. Sommige van die puzzels hebben een serieuze ondertoon, zoals een verband met [[Groepentheorie]] bij [[Rubiks kubus]] en [[magisch vierkant|magische vierkanten]] die zorgen voor lastige [[combinatoriek|telproblemen]].
 
== Belangrijke wiskundigen ==
{{Zie ook|Zie ook een meer volledige [[lijst van wiskundigen]]}}
* Wiskunde in de Oudheid: [[Pythagoras]], [[Eudoxus van Cnidus|Eudoxus]], [[Euclides van Alexandrië|Euclides]], [[Archimedes]] en [[Thales van Milete]]
* Wiskunde in de Europese middeleeuwen: [[Boëthius]], [[Al-Chwarizmi|Muhammad al-Khwarizmi]], [[Fibonacci|Leonardo Fibonacci]], [[Richard Swineshead]]
* De grondslagen van de wiskunde: [[Georg Cantor]], [[Richard Dedekind]], [[Gottlob Frege]], [[Giuseppe Peano]], [[Bertrand Russell]], [[Kurt Gödel]], [[Paul Cohen (wiskundige)|Paul Cohen]]
* De ontwikkeling van de infinitesimaalrekening: [[René Descartes]], [[Pierre de Fermat]], [[Isaac Newton]], [[Gottfried Wilhelm Leibniz|Gottfried Leibniz]]
* De statistiek: [[Blaise Pascal]], [[Pierre de Fermat]], [[Christiaan Huygens]], [[Jakob Bernoulli]], [[Abraham de Moivre]], [[Thomas Bayes]], [[Pierre-Simon Laplace]], [[Adolphe Quételet]], [[Siméon Poisson]], [[Francis Galton]], [[Karl Pearson]]
* Achttiende eeuw: [[Jakob Bernoulli]], [[Jean Le Rond d'Alembert]], [[Leonhard Euler]], [[Joseph-Louis Lagrange]], [[Adrien-Marie Legendre]]
* Negentiende eeuw: [[Carl Friedrich Gauss]], [[Augustin Louis Cauchy]], [[Niels Henrik Abel]], [[Évariste Galois]], [[Karl Weierstrass]], [[Ernst Kummer]], [[Johann Dirichlet]], [[Bernhard Riemann]], [[Felix Klein]], [[Sophus Lie]], [[Henri Poincaré]]
* Twintigste eeuw: [[David Hilbert]], [[Luitzen Egbertus Jan Brouwer|Luitzen Brouwer]], [[Kurt Gödel]], [[Emmy Noether]], [[Hermann Weyl]], [[Émile Borel]], [[Donald Knuth]], [[John von Neumann]], [[Carl Ludwig Siegel]], [[Alan Turing]], [[Alexander Grothendieck]], [[Andrew Wiles]]
* Eenentwintigste eeuw: [[Grigori Perelman]]
 
== Zie ook ==
{{Link portaal|Wiskunde}}
* [[Wiskunde van A tot Z]]
* schoolvak [[wiskunde (schoolvak in Nederland)|wiskunde]]
* [[Filosofie van de wiskunde]]
 
== ExterneBelangrieke linksmathematici ==
* Awdheid: [[Pythagoras]] en [[Plato]], [[Euclides]], [[Archimedes]]
* {{aut|Johan van Benthem}}, {{aut|[[Robbert Dijkgraaf]]}}, [http://www.science.uva.nl/opencollege/tekst/head.pdf Denkpatronen, hoe wiskunde en logica werken]
* Europesche [[Middelieëwe]]: [[Boethius]], [[Leonardo Fibonacci]], [[Al-Chwarizmi|Muhammad al-Khwarizmi]]
* [http://www.wisfaq.nl WisFAQ.nl]
* Grondsjlaag: [[Georg Cantor]], [[Richard Dedekind]], [[Gottlob Frege]], [[Giuseppe Peano]], [[Bertrand Russell]]
* [http://www.wiskunde.eu Wiskunde.eu]
* Ontwikkeling van de infinitesimaalrekening: [[René Descartes]], [[Pierre de Fermat]], [[Isaac Newton]], [[Gottfried Wilhelm Leibniz|Gottfried Leibniz]]
* [http://www.algemath.be Algemath.be, educatieve wiskundewebsite]
* Statistiek: [[Blaise Pascal]], [[Christiaan Huygens]], [[Jakob Bernoulli]], [[Abraham de Moivre]], [[Thomas Bayes]], [[Pierre Simon Laplace]], [[Adolphe Quetelet]], [[Simeon Poisson]], [[Francis Galton]], [[Karl Pearson]]
* Achtieënde ieëw: [[Jakob Bernoulli]], [[Jean Le Rond d'Alembert]], [[Leonhard Euler]]
* Neugetieënde ieëw: [[Carl Friedrich Gauss]], [[Augustin Louis Cauchy]], [[Niels Henrik Abel]], [[Evariste Galois]], [[Bernhard Riemann]], [[Felix Klein]], [[Karl Weierstrass]]
* Twintegste ieëw: [[Tom Apostol]], [[Luitzen Egbertus Jan Brouwer|Luitzen Brouwer]], [[Pál Erdős]], [[David Hilbert]], [[Kurt Gödel]], [[Don Knuth]], [[John von Neumann]], [[John Nash]], [[Alan Turing]], [[André Weil]], [[Andrew Wiles]]
 
<!-- Zie ook een meer volledige [[lijst van wiskundigen]]. -->
{{Gesproken Wikipedia klein|Wiskunde.ogg|1021727}}
 
[[Categorie:Wiskónde]]
{{Appendix}}
{{Commonscat|Mathematics}}
{{Woordenboek}}
{{Wikisource|Hoofdportaal:Wiskunde}}
{{wikibooks|Wiskunde}}
 
{{Link FA|ia}}
[[Categorie:Wiskunde| ]]
{{Link FA|ka}}
[[Categorie:Formele wetenschap]]
{{Link FA|la}}
{{Link FA|mk}}
{{Link FA|vo}}
Aafkomstig van Wikipedia, de Vriej Encyclopedie. "https://li.wikipedia.org/wiki/Mathematiek"