French pop-science article about the efforts of Woodin towards a resolution of the CH
https://www.pourlascience.fr/sd/mathematiques/en-finir-avec-lhypothese-du-continu-17963.php …
h/t Patrick Massot in the #Leanprover chat.
0 replies
0 proslijeđenih tweetova
1 korisnik označava da mu se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.