Et innlegg argumenterer for at fremtidens matematikkmiljø må vurdere fremgang bredere enn bare gjennom beviste teoremer. Diskusjonen ser på hvordan verktøy og samarbeidsformer endrer hva som regnes som matematisk fremskritt.
Et innlegg argumenterer for at fremtidens matematikkmiljø må vurdere fremgang bredere enn bare gjennom beviste teoremer. Diskusjonen ser på hvordan verktøy og samarbeidsformer endrer hva som regnes som matematisk fremskritt.