|
|
|
|
|
|
by mietek
2727 days ago
|
|
|
You may be working in classical logic, but that doesn’t mean the parent poster is. You asserted the parent poster seems to be confused, but what the parent poster said makes sense in a constructive setting. Please see my other comment: https://news.ycombinator.com/item?id=18756974 |
|
|