Timeline for Does R resolve the paradox of entailment?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 8, 2012 at 8:35 | comment | added | Sniper Clown | I should've made it more clear. R is indeed a flavor of logic. | |
| Jan 8, 2012 at 8:25 | comment | added | David Roberts♦ | Perhaps I am being slow, but what is R? The software package? the real numbers in standard mathematics? The real numbers in some constructive proof assistant? Or is it some flavour of logic? | |
| Jan 7, 2012 at 23:08 | history | edited | Andrej Bauer |
edited tags; edited tags
|
|
| Jan 7, 2012 at 23:07 | answer | added | Andrej Bauer | timeline score: 1 | |
| Jan 7, 2012 at 22:53 | history | asked | Sniper Clown | CC BY-SA 3.0 |