Definition talk:Sine Integral Function

From ProofWiki
Jump to: navigation, search

Not sure, should this be a "definition page", with a separate page giving its result, or should it be a "proof page" called "Sine Integral"? As this is a particularly difficult object to analyse perhaps it's appropriate to leave it as it is, with a separate page (or pages, and if it proves very big, a category) for showing what its value is. Thoughts? --prime mover 01:37, 1 January 2012 (CST)

Perhaps a theorem page that there is no solution in terms of elementary functions to $\displaystyle \int \frac {\sin x}{x}\mathrm dx$, and a definition page to the creation of a function defined as the solution? Though I have no idea how to prove that a particular integral is unsolvable. --GFauxPas 03:50, 1 January 2012 (CST)
Don't bother about it now if this is outside of your field of expertise. The way this site works is: if you have (or can work out) a proof, post it up. If you don't have a proof but you read the statement somewhere, then if you want to you can add the page with a stub marker and it can be attended to at another time. --prime mover 05:43, 1 January 2012 (CST)
Understood. In that case, this is a definition and not a theorem. Right? --GFauxPas 08:11, 1 January 2012 (CST)