Dima Pasechnik 🇺🇦 🇳🇱 on Nostr: It's actually funny how the progress has been made; it started indeed with quantum ...

It's actually funny how the progress has been made; it started indeed with quantum complexity theorists, and then the author of the notes I cited removed all quantum stuff from the picture, realising that's it's actually something called continuous logic.