zondag 1 november 2026Landelijk en regionaal nieuws
4.400 nieuwsberichten in de afgelopen 24 uur, uit 704 bronnen.
Persoon
2 nieuwsberichten over Chris Birkbeck.
WetenschapNew Scientist
Bij een project dat als doel heeft om wiskunde leesbaar te maken voor computers, ontdekten wiskundigen een fout in een belangrijk bewijs. Ze wisten de fout te herstellen, maar het incident illustreert dat er mogelijk meer fouten schuilgaan in oude...
WetenschapNew Scientist
Wat betekent ‘is gelijk aan’? Voor wiskundigen heeft deze eenvoudige vraag meer dan één antwoord. Dat levert problemen op wanneer we computers inzetten om bewijzen te controleren. Misschien moeten wiskundigen daarom terug naar de tekentafel om de...