Internetbureau Rotterdam 
Dit bericht is geplaatst op dinsdag 17 april 2007 om 09:58 in categorieën Algemeen. Je kunt de reacties volgen via een RSS 2.0 feed. Je kunt een reactie plaatsen, of een trackback van je eigen site plaatsen.
Wiskundemeisjes
Ionica & Jeanine
Formele bewijzen
In Algemeen, door wiskundemeisjes
Freek Wiedijk gaf op het Nederlands Mathematisch Congres een interessante voordracht over formele wiskunde. Tot onze verbazing maakte hij ineens reclame voor de wiskundemeisjes. Hij gebruikte het gedicht Bewijs uit het ongedichte om te laten zien hoe een formeel bewijs eruit ziet. Zie hier het resultaat.
Voor wie het plaatje te klein vindt, of meer wil weten over formele bewijzen: hier is de complete presentatie van Freek Wiedijk (pdf).
(Ionica)
