QED

In het aprilnummer van PC-Active staat een artikel van mij over DNA-computers en probabilistische priemtesten. Wat beide onderwerpen met elkaar gemeen hebben is dat het voorbeelden zijn van wiskundige bewijsmethodes die geen zekerheid bieden, maar wel met een hele grote waarschijnlijkheid een oplossing geven. Ik bespreek er de Miller-Rabin test om te bepalen of een [...]