I'm not sure I can follow you here. I have said that you need to express infinit... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

YorkshireSeason on July 31, 2018 | parent | context | favorite | on: A Taste of Linear Logic (1993) [pdf]

I'm not sure I can follow you here. I have said that you need to express infinitary formulae in a finitary form.

What's the connection with martingales?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact