It's not "experiment *rather than* logical inference" it's experiment *and* logi... | Hacker News

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

boris_m on Sept 28, 2021 | parent | context | favorite | on: Category Theory Illustrated – Logic

It's not "experiment rather than logical inference" it's experiment and logical inference.

coolgeek on Sept 28, 2021 | [–]

There seems to be a markdown error (and a grammatical error) in:

> This is it about axiom schemas and *rules of inference are almost the same thing except they allow us to actually distill the conclusion from the premises.

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