|
|
|
|
|
|
by mstep
1148 days ago
|
|
|
i remember vaguely that bettina heintz in her sociological study of the field of mathematics from 2000 noted the growing number of proofs that relied on computer programs as potentially problematic for the field. https://www.hsozkult.de/searching/id/reb-2446 |
|
|