Realizability, Simply Put
7:42–8:16 · 34s
Deniz quips that realizability is “existence on steroids,” prompting Thorsten to nuance two ways existence appears within realizability and how witnesses function.
7:42–8:16 · 34s
Deniz quips that realizability is “existence on steroids,” prompting Thorsten to nuance two ways existence appears within realizability and how witnesses function.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.