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

ldsrrsJun 14, 2018, 8:58 PM
3 points
0 comments1 min readLW link
(meetings.siam.org)