RSS

ldsrrs

Karma: 4

SIAM Lec­ture: How Para­doxes Shape Math­e­mat­ics and Give Us Self-Ver­ify­ing Com­puter Programs

ldsrrs14 Jun 2018 20:58 UTC
3 points
0 comments1 min readLW link
(meetings.siam.org)