Inzien en bewijzen - CWI
Inzien en bewijzen - CWI
Inzien en bewijzen - CWI
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Flaptekst<br />
De notie bewijs vormt het hart van de exacte wet<strong>en</strong>schapp<strong>en</strong>. De ontdekking van de methode om<br />
e<strong>en</strong> onderwerp te pres<strong>en</strong>ter<strong>en</strong> in term<strong>en</strong> van axioma’s, definities <strong>en</strong> bewijz<strong>en</strong> is e<strong>en</strong> van de grote<br />
uitvinding<strong>en</strong> van de m<strong>en</strong>sheid. Het beroemdste voorbeeld van deze axiomatische methode is de<br />
systematische pres<strong>en</strong>tatie van meetkundige inzicht<strong>en</strong> in de Elem<strong>en</strong>t<strong>en</strong> van Euclides, geschrev<strong>en</strong><br />
rond 300 voor Christus. Om toegang te krijg<strong>en</strong> tot cultuurschatt<strong>en</strong> zoals deze moet je vertrouwd<br />
rak<strong>en</strong> met de gebruikte manier van pres<strong>en</strong>ter<strong>en</strong>.<br />
Formele bewijz<strong>en</strong> ler<strong>en</strong> begrijp<strong>en</strong> <strong>en</strong> zelf opzett<strong>en</strong> vormde eeuw<strong>en</strong>lang de hoofdmoot van het<br />
wiskundeonderwijs. Vandaag de dag is dat niet meer zo, omdat ‘inzicht verwerv<strong>en</strong>’ belangrijker<br />
wordt geacht dan vaardigheid krijg<strong>en</strong> in het bewijz<strong>en</strong>. Bewijs <strong>en</strong> inzicht zijn echter twee kant<strong>en</strong><br />
van dezelfde medaille: door te prober<strong>en</strong> bewijz<strong>en</strong> te lever<strong>en</strong> of doorgrond<strong>en</strong> kom je tot inzicht,<br />
<strong>en</strong> om verworv<strong>en</strong> inzicht<strong>en</strong> over te drag<strong>en</strong> op ander<strong>en</strong> zijn bewijz<strong>en</strong> nodig.<br />
Over de auteurs<br />
Jan van Eijck is filosoof, computationeel taalkundige <strong>en</strong> toegepast logicus. Hij is als onderzoeker<br />
verbond<strong>en</strong> aan het C<strong>en</strong>trum voor Wiskunde <strong>en</strong> Informatica in Amsterdam, <strong>en</strong> hij is hoogleraar<br />
aan de Faculteit Letter<strong>en</strong> van de Universiteit Utrecht.<br />
Albert Visser is hoogleraar logica <strong>en</strong> filosofie van wiskunde <strong>en</strong> k<strong>en</strong>leer aan de Faculteit Filosofie<br />
van de Universiteit Utrecht. E<strong>en</strong> van zijn interessegebied<strong>en</strong> is bewijstheorie.<br />
Exact in Context is e<strong>en</strong> reeks die speciaal wordt ontwikkeld voor het voortgezet onderwijs. De<br />
reeks biedt informatie over ontwikkeling<strong>en</strong> in de bètawet<strong>en</strong>schap die het gezicht van de moderne<br />
informatiemaatschappij mede bepal<strong>en</strong>, met aandacht voor de historische context. De serie is op<br />
vele manier<strong>en</strong> <strong>en</strong> op vele niveaus te gebruik<strong>en</strong>.<br />
Website bij dit boek: http://www.cwi.nl/~jve/qed/.