{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T15:04:02Z","timestamp":1648998242480},"reference-count":19,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":6711,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[1995,9]]},"abstract":"<jats:p>This is<jats:italic>not<\/jats:italic>about the symbolic manipulation of functions so popular these days. Rather it is about the more abstract, but infinitely less practical, problem of the primitive. Simply stated:<\/jats:p><jats:p>Given a derivative<jats:italic>f<\/jats:italic>: \u211d \u2192 \u211d, how can we recover its primitive?<\/jats:p><jats:p>The roots of this problem go back to the beginnings of calculus and it is even sometimes called \u201cNewton's problem\u201d. Historically, it has played a major role in the development of the theory of the integral. For example, it was Lebesgue's primary motivation behind his theory of measure and integration. Indeed, the Lebesgue integral solves the primitive problem for the important special case when<jats:italic>f(x)<\/jats:italic>is bounded. Yet, as Lebesgue noted with apparent regret, there are very simple derivatives (e.g., the derivative of<jats:italic>F<\/jats:italic>(0) = 0,<jats:italic>F(x)<\/jats:italic>=<jats:italic>x<\/jats:italic><jats:sup>2<\/jats:sup>sin(1\/x<jats:sup>2<\/jats:sup>)for<jats:italic>x<\/jats:italic>\u2260 0) which cannot be inverted using his integral.<\/jats:p><jats:p>The general problem of the primitive was finally solved in 1912 by A. Denjoy. But his integration process was more complicated than that of Lebesgue. Denjoy's basic idea was to first calculate the definite integral<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S1079898600008106_inline1\" \/><jats:italic>f(x) dx<\/jats:italic>over as many intervals (<jats:italic>a,b<\/jats:italic>) as possible, using Lebesgue integration. Then, he showed that by using these results, the definite integral could be found over even more intervals, either by using the standard improper integral technique of Cauchy, or an extension technique developed by Lebesgue (see appendix for details).<\/jats:p>","DOI":"10.2307\/421157","type":"journal-article","created":{"date-parts":[[2006,5,7]],"date-time":"2006-05-07T07:08:06Z","timestamp":1146985686000},"page":"279-316","source":"Crossref","is-referenced-by-count":0,"title":["How to Compute Antiderivatives"],"prefix":"10.1017","volume":"1","author":[{"given":"Chris","family":"Freiling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600008106_ref005","unstructured":"Darji U. , Evans M. , and O'Malley R. , First return path systems: differentiability, continuity and orderings, to appear."},{"key":"S1079898600008106_ref001","doi-asserted-by":"publisher","DOI":"10.2307\/2272848"},{"key":"S1079898600008106_ref015","volume-title":"Theory of functions of a real variable","author":"Natanson","year":"1959"},{"key":"S1079898600008106_ref006","first-page":"1075","article-title":"Calcul de la primitive de la fonction deriv\u00e9e la plus gen\u00e9rale","volume":"154","author":"Denjoy","year":"1912","journal-title":"Comptes rendus hebdomadaires des s\u00e9anses de l' Acad\u00e9mie des sciences Paris, Series I, Mathematiques"},{"key":"S1079898600008106_ref009","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(84)80045-5"},{"key":"S1079898600008106_ref012","doi-asserted-by":"publisher","DOI":"10.1007\/BF01693980"},{"key":"S1079898600008106_ref019","first-page":"1","article-title":"Sur la primi\u00e8re d\u00e9riv\u00e9e","volume":"69","author":"Zahorski","year":"1950","journal-title":"Transactions of the American Mathematical Society"},{"key":"S1079898600008106_ref004","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(80)90057-2"},{"key":"S1079898600008106_ref011","doi-asserted-by":"publisher","DOI":"10.1007\/BF01449955"},{"key":"S1079898600008106_ref014","volume-title":"Descriptive set theory","author":"Moschovakis","year":"1980"},{"key":"S1079898600008106_ref010","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1955-0070594-4"},{"key":"S1079898600008106_ref017","volume-title":"Theory of recursive functions and effective computability","author":"Rogers","year":"1967"},{"key":"S1079898600008106_ref016","volume-title":"Classical and modern integration theories","author":"Pesin","year":"1970"},{"key":"S1079898600008106_ref003","doi-asserted-by":"crossref","first-page":"195","DOI":"10.2307\/44151511","article-title":"Non-absolute integrals: a survey","volume":"5","author":"Bullen","year":"197980","journal-title":"Real Analysis Exchange"},{"key":"S1079898600008106_ref007","volume-title":"Le\u00e7ons sur le calcul des coefficients d'une s\u00e9rie trigonom\u00e9trique, i-iv","author":"Denjoy","year":"1941"},{"key":"S1079898600008106_ref013","volume-title":"Elementary induction on abstract structures","author":"Moschovakis","year":"1975"},{"key":"S1079898600008106_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(91)90006-S"},{"key":"S1079898600008106_ref002","doi-asserted-by":"publisher","DOI":"10.1090\/crmm\/005"},{"key":"S1079898600008106_ref018","volume-title":"Theory of the integral","author":"Saks","year":"1937"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600008106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,14]],"date-time":"2020-04-14T14:33:08Z","timestamp":1586874788000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600008106\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,9]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,6]]}},"alternative-id":["S1079898600008106"],"URL":"https:\/\/doi.org\/10.2307\/421157","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,9]]}}}