The Secret Math Society Known as Nicolas Bourbaki 6 years ago
I think the group writing the HoTT book (https://en.wikipedia.org/wiki/Homotopy_type_theory ) probably come close, though.
hurrynot
Posts0
Comments2
No posts found.
HN user
I think the group writing the HoTT book (https://en.wikipedia.org/wiki/Homotopy_type_theory ) probably come close, though.
The article says the TB experiment ran for four years. It isn't clear that you need four years to prove airborne transmission, but it is likely that you need a lot of time.