Kernwoord bewijsassistent
-
Streven computers straks zelfs wiskundigen voorbij?
vrijdag, 23 september 2011 · Achtergrond
Het bedenken van een nieuw wiskundig bewijs is nog voorbehouden aan een creatief brein. Maar controleren of een wiskundig bewijs klopt, daarvoor zijn al computerprogramma’s ontworpen. Inmiddels worden bewijzen echter zó ingewikkeld dat ze door mensen niet meer te toetsen zijn; slagen computers straks daar waar wiskundigen nu zelf nog falen?
-
Formele bewijzen: het DNA van de wiskunde
vrijdag, 14 november 2008 · Nieuws
Het decembernummer van de Notices of the American Mathematical Society heeft als thema ‘formal proof’, met artikelen over de recentste ontwikkelingen van door computers gegenereerde en door computers geverifieerde bewijzen.
Auteurs: en
1 nieuwsbericht
1 achtergrondartikel
2 totaal aantal publicaties