Een Koele Blik op Waarheid

Over 'wat waar is' kun je flink van mening verschillen. In de wiskunde kun je van alles berekenen en ook vermoedens hebben over het waar zijn van allerlei beweringen. Deze zebra houdt zich bezig met de vraag wat een bewijs is en welke dingen bewijsbaar zijn. Daarvoor zijn er verschillende methoden die worden opgesomd, maar vaak is een tamelijk onverwachte gedachtengang effectief.Dit laten we zien aan de hand van een groot aantal voorbeelden uit de getaltheorie en de vlakke meetkunde.Ferdinand Verhulst is emeritus hoogleraar van de Universiteit Utrecht en oprichter van Epsilon Uitgaven.