« first day (644 days earlier)
← previous day
next day →
last day (3310 days later) »
vzn
8:15 PM
Mathematicians of the Future? Why it matters that computers could someday prove their own theorems.
Harris/ Slate
« first day (644 days earlier)
← previous day
next day →
last day (3310 days later) »
all rooms
Transcript for
Mar
29
Apr '15
1
Apr
5
MathOverflow
General discussion for
mathoverflow.net
join this room
about this room
00:00
06:00
12:00
18:00
all times are UTC
site design / logo © 2024 Stack Exchange Inc;
legal
mobile