Forwarded from slanterns w/ 🦀
喵喵小喵喵
https://math.stackexchange.com/a/107669
vxTwitter / fixvx
💖 71 🔁 3
💖 71 🔁 3
Elliot Glazer (@ElliotGlazer)
Hot take: if ZFC is found inconsistent, Peano Arithmetic will almost certainly fall within a year. ZFC is equiconsistent with ZFC + V = L, and replacing Inf with its negation gets PA. The theories are structurally extremely similar.
【QRT of Elliot Glazer…
【QRT of Elliot Glazer…
Forwarded from 普拉姆的胡言乱语
https://zh.ifixit.com/News/113620/the-pixel-watch-4-is-the-most-repairable-smartwatch-on-the-market
没有胶水可太牛逼了,想买了
没有胶水可太牛逼了,想买了
iFixit
The Pixel Watch 4 Is the Most Repairable Smartwatch on the Market
The Pixel Watch 4 looks nearly identical to last year’s model on the outside, but inside it’s been completely reengineered for repairability.