Timeline for Freshman's definition of sin(x)?
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Aug 7, 2018 at 9:23 | history | suggested | doetoe | CC BY-SA 4.0 |
fixed hyperlink
|
| Aug 7, 2018 at 8:41 | review | Suggested edits | |||
| S Aug 7, 2018 at 9:23 | |||||
| Sep 29, 2010 at 3:12 | comment | added | user2490 | Lakatos, in his article "What does a mathematical proof prove?," among other places, argued for a similiar trichotomy---for him, it was "pre-formal proofs," "formal proofs," and "post-formal proofs." His development of the notion of informal mathematics (a single piece of which may admit many formalizations) may provide a framework for discussing questions like this. (How should one formalize the informal sine function for freshmen? And how should one judge various candidate formalizations?) | |
| Sep 28, 2010 at 15:56 | history | answered | Terry Tao | CC BY-SA 2.5 |