Timeline for Extensional theorems mostly used intensionally
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 29, 2015 at 19:18 | review | Late answers | |||
| Sep 30, 2015 at 0:30 | |||||
| Jun 28, 2010 at 14:16 | comment | added | Carl Mummert | Sometimes the requirements for intensional application of a theorem are not visible in the extensional proof, though. For example, try to find an explanation in a typical Calculus I text of how to apply the fundamental theorem of calculus to compute $\frac{d}{dx} \int^{x}_0 xy dy$. | |
| Jun 28, 2010 at 13:31 | history | answered | Nick | CC BY-SA 2.5 |