Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
identity_type [2014/11/17 19:48] nikolaj ^^ |
identity_type [2016/04/12 15:40] nikolaj |
||
|---|---|---|---|
| Line 79: | Line 79: | ||
| We see that intensionally different definition can have the same extension. | We see that intensionally different definition can have the same extension. | ||
| + | |||
| + | Another remark: | ||
| + | We have $2(12+15)=2*3*4+2*3*5=3(8+10)$, and while $2(12+15)\mapsto 24+30$ and $3(8+10)\mapsto 24+30$ feel like natural reductions, $2(12+15)\mapsto 3(8+10)$ feels random. That is to say, there is a sort of computational direction that comes with a formulized evaluation. | ||
| === In theories === | === In theories === | ||
