Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
RSS
ldsrrs
Karma:
4
All
Posts
Comments
New
Top
Old
SIAM Lecture: How Paradoxes Shape Mathematics and Give Us Self-Verifying Computer Programs
ldsrrs
14 Jun 2018 20:58 UTC
3
points
0
comments
1
min read
LW
link
(meetings.siam.org)
Back to top