Professional Documents
Culture Documents
Un esbozo
Fernando Flores1 y Mario Natiello2
1. Introduccin
Karl Marx escribi una serie de manuscritos acerca de cuestiones matemticas. Aunque algunas traducciones parciales al ruso de esos manuscritos ya haban aparecido en el ao 1933, la primera publicacin completa de los mismos data del ao 1968. Fue entonces cuando los manuscritos matemticos fueron publicados en forma completa bajo la direccin de la matemtica S. A. Yanovskaya. Una traduccin parcial al ingls de la publicacin en ruso de Nauka Press, 1968, apareci en el ao 1983 bajo el ttulo "The Mathematical Manuscripts of Karl Marx" (primera edicin en ingls del material, de la New Park Publications Ltd, London). Es interesante notar que hay publicaciones de estos manuscritos de Marx en alemn (1974) e italiano (1975) anteriores a la versin en ingls. Algunos de los manuscritos estn bastante completos, mientras otros parecen ser notas o apuntes ms o menos fragmentarios. La parte ms completa trata del concepto de diferencial y de la derivada de una funcin de una variable. Aparentemente, la intencin de Marx era escribir una "Historia del Clculo Diferencial", iniciando con Newton y Leibnitz, pasando por D'Alembert y terminando con Lagrange.3 La publicacin de 1983 aparece acompaada de un prefacio escrito por la profesora Yanovskaya y contiene adems un estudio del matemtico E. Kolman, colaborador por otra parte de Yanovskaya en un estudio de la filosofa de las matemticas de Hegel. Estos y otros textos interpretativos de la obra matemtica de Marx se caracterizan por una visin a la que llamaramos sovitica de la obra de Marx. En ellos domina la exaltacin a los mritos de Marx y otros hroes del marxismo, alternada con las referencias a los errores de Kant y Hegel, y siguen en general una visin positivista del desarrollo histrico. De ms est decir que estas y otras interpretaciones similares nos parecen hoy anticuadas por lo cual no podemos sino recomendar la realizacin de nuevas lecturas de la filosofa matemtica de Marx, lecturas liberadas de la carga del marxismo escolstico y en la cual la obra de Marx pueda estudiarse en relacin a otras fuentes que las tradicionales. Mientras que Hegel en su Lgica nos deja una filosofa de las matemticas
1 2
Departamento de Historia de las Ideas, Universidad de Lund, Suecia. Centro para las Ciencias Matemticas, Universidad de Lund, Suecia 3 Una lnea en la pg. 75 sugiere que en lugar de terminar con Lagrange, Marx consider incluir las ideas de Cauchy, en la versin del abate Moigno. Ver ms adelante.
completa y madura, y Engels en el AntiDhring y Dialctica de la naturaleza nos deja un filosofa de las ciencias (e indirectamente de las matemticas) bastante desarrollada y sin duda clara en sus objetivos y fines, Marx, por el contrario, deja slo esbozos difciles de precisar en su alcance. Las dudas que conciernen a la filosofa matemtica de Marx, ataen tambin a toda su concepcin de la dialctica materialista que opone a la dialctica hegeliana y que como veremos se distingue de la nocin que Engels profesaba. Se puede decir en general, que el lugar del pensamiento filosfico de Marx en la evolucin filosfica general de Occidente es todava una gran incgnita. Sin duda su pensamiento es la consecuencia de la herencia hegeliana, pero su conexiones con Kant y en especial con el desarrollo de la filosofa matemtica posterior no ha sido estudiada.
2. Antecedentes filosficos
2.1. La filosofa matemtica de Hegel
Para Hegel las nociones matemticas son el producto de la lgica del devenir del pensamiento absoluto o Idea absoluta. La nocin de infinitud y por ende su anlisis del calculo infinitesimal reflejan esta posicin segn la cul lo finito no puede ser concebido sin lo infinito, lo esttico sin lo dinmico, etc. El tratamiento ms completo de su filosofa de las matemticas lo encontramos en la Ciencia de la Lgica (escrito entre 1812 y 1816). Hegel distingue entre un infinito malo o metafsico, de origen filosfico y uno bueno o instrumental surgido en la exitosa aplicacin de la nocin de infinitsimo en matemticas. En este sentido, Hegel ve en las matemticas un campo independiente del saber, con su propias leyes. En el clculo infinitesimal, las matemticas encuentran ...la contradiccin capital insita en el mismo mtodo propio particular, sobre el cul reposa como ciencia en general. Pues el clculo infinitesimal permite y exige procedimientos que la matemtica, en las operaciones con magnitudes finitas, debe absolutamente rechazar; y al mismo tiempo trata magnitudes infinitas como cuantos finitos y quiere aplicar a aqullas los mismos procedimientos que vale a stos. Es un aspecto capital del perfeccionamiento de esta ciencia el haber alcanzado para las determinaciones transcendentes y el tratamiento de stas, las formas del clculo habitual.4 Veremos que Marx retoma de Hegel esta visn de las matemticas como discurso independiente y autosuficiente. Engels por el contrario, rompe con Hegel para concebir las matemticas como el producto ms o menos abstracto del pensamiento naturalista. Que Marx y Engels sigan caminos filosficos diferentes es algo que en la historia del marxismo no ha sido suficientemente considerado.
Hegel, G.W.F. Ciencia de la Lgica. Tomo I. Solar, Hachette. 1968, pgina 212.
Engels, F. Dialectics of Nature. Progress Publishers, Moscow. Pgina 271. Traduccin propia.
Marx, tan propio de su tiempo, se distingue a pesar de todo del reduccionismo positivista de Engels, segn el cual las matemticas solo tienen sentido en tanto ciencias de apoyo a las ciencias naturales. Veremos que en Marx la nocin de clculo es la dominante y con ella la idea de que el clculo es una prxis social terica a la que se opone una filosofa esencialista esttica. La idea de que la prctica matemtica es una forma de la accin es por lo dems completamente ajena a Engels cuya idea de accin es mucho ms simplista.
Karl Marx y Friedrich Engels. The Holy Family or Critique of Critical Criticism. Against Bruno Bauer and Company, 1844. Chapter VI. d) Critical Battle Against French Materialism. Traduccin propia. http://www.marxists.org/archive/marx/works/1845/holy-family/index.htm. 7 Marx y Engels, Sagrada familia. Traduccin propia. 8 Marx y Engels, Sagrada familia.
piense? En orden de conseguir esto se refugi en la omnipotencia divina convirtiendo a la teologa en un abogado del materialismo. En cualquier caso Duns Scotus fue un nominalista y el nominalismo, la primera forma del materialismo, es dominante entre los escolsticos ingleses.9
El desarrollo continua segn Marx de los nominalistas a Bacon, el fundador de la filosofa cientfica moderna: El verdadero progenitor de materialismo ingls y de toda la ciencia experimental moderna es Bacon;10 para luego concretarse en la obra de Hobbes, aunque con este se transforma segn Marx en una teora misantrpica: En su evolucin posterior el materialismo termina siendo unilateral. Hobbes es quin sistematiza el materialismo de Bacon. El movimiento fsico es subordinado al movimiento mecnico o matemtico y la geometra es proclamada la reina de las ciencias. El materialismo se hace misantrpico.11
A partir de aqu la filosofa materialista desarrolla problemas ms o menos insalvables resumidos por Sidney Hook en el libro From Hegel to Marx. En esta obra Hook constata que el materialismo filosfico fue incapaz de desarrollar una epistemologa propia: El materialismo no fue capaz de desarrollar una teora de la verdad. La sola existencia de ideas constituy un problema insalvable al que se trat de resolver entendindolas como formas tenues de la materia.12 Para resolver parcialmente este problema es que Marx y Engels convierten la epistemologa materialista en una teora de la accin, en la cul las consecuencias de la misma pasan a ser el elemento que garantiza la verdad resultante y las ideas aparecen entendidas como inseparables de esta accin constituyente.13 La solucin encontrada por Marx y Engels sin lograr resolver el problema del status ontolgico de las ideas permiti resolver por lo menos el problema prctico de la elucidacin de la verdad en situaciones concretas. De all que sea perfectamente comprensible que Marx redujera el materialismo filosfico en matemticas al impulso del lgebra, entendida como prxis en las matemticas. Veremos a continuacin que esta posicin tiene una historia anterior a Marx.
Marx y Engels, Sagrada familia. Marx y Engels, Sagrada familia. 11 Marx y Engels, Sagrada familia. 12 Hook, Sidney. From Hegel to Marx. Studies in the Intellectual Development of Karl Marx. 1976. p.282. 13 Hook. Sid. 294.
10
son la expresin de z horas de trabajo social abstracto y en tanto y alimentos son tambin la expresin de z horas de trabajo social abstracto. La dialctica materialista de Marx en Das Kapital reduce relaciones lgicas de equivalencia a relaciones numricas creando de esta manera un clculo (elemental) de las relaciones de intercambio econmico. En su filosofa matemtica Marx acta de una forma similar, convirtiendo procesos mentales complejos en relaciones mecnicas de clculo.
P-O. Lwdin: Axioms are by choice Clases magistrales 1968-1982, Universidad de Uppsala.
se crey que la evidencia era una forma segura de la verdad. Esta idea debi ser abandonada cuando el clebre axioma de las paralelas de Euclides (segn el cual por un punto exterior a una recta R, pasa una y solamente una recta R paralela a R) fue cuestionado. Se inici as el desarrollo de las geometras no-eucldeanas, las cuales mostraron que era perfectamente posible construir sistemas axiomticos modificando substancialmente el mencionado axioma de las paralelas. Con el nombre de teorema se denomina a toda conclusin obtenida a partir de los axiomas segn ciertas reglas deductivas especficas consideradas vlidas. An cuando las reglas de deduccin pueden ser vistas como una forma de clculo, stas aparecen subordinadas al ideal axiomtico en el modelo geomtrico inspirado en Euclides. El trabajo productivo de las matemticas consistira entonces en la bsqueda de nuevos teoremas a los cuales se habr de demostrar conectando a stos con los axiomas15. Por demostracin se entiende entonces, el proceso lgico vlido mediante el cual se conecta un teorema con los axiomas de un sistema. Una vez puesta en evidencia la conexin, se acepta al teorema como verdadero siendo la demostracin la garanta que la subjetividad exige para considerar al teorema como una nueva etapa del conocimiento. El valor de la demostracin es doble: por una parte pone en evidencia aspectos de la realidad matemtica que no siempre son evidentes y por otra parte, pone en evidencia la existencia de un algoritmo que relaciona al teorema con el axioma. La existencia de tal algoritmo es fundamental para confirmar el control que nuestra subjetividad ejerce sobre el problema. El modelo axiomtico de conocimiento apunta entonces a la fundacin del saber en las sensaciones subjetivas de seguridad, certeza y control. Todo el valor del saber descansar entonces en la eficacia con la que estos estados de la subjetividad sean provocados.
A esto debe agregarse que las matemticas no son puramente ldicas, sino que adems, el pensador con su trabajo persigue algn fin. 16 Wittgenstein L. Remarks on the foundation of Mathematics. Basil Blackwell. Oxford, 1956. III-1, s. 113e. Traduccin propia.
Lo que cuenta para Wittgenstein entonces no es el valor epistmico del axioma en tanto verdad generadora, sino el papel generador que a ste se asigna en un sistema. Wittgenstein antepone el carcter operativo de las matemticas al ideal axiomtico. El anlisis ms acabado del proceso creativo en las matemticas, resaltando su carcter de actividad humana, los lmites de la certeza logico-matematica, la manera particular que tienen las matemticas de identificar y rectificar errores y de aumentar la precisin y eficacia de sus afirmaciones fue presentado por Lakatos17 en un dilogo imaginario acerca de una conjetura de Euler. Otros escritos de Lakatos resaltan tambin la naturaleza operativa de la ciencia. No obstante, la ciencia no se practica como un juego intrascendente sino persiguiendo un fin que podramos simbolizar como la adaptacin de la especie humana a las condiciones naturales.
Lakatos, Imre. Proofs and Refutations. The Logic of Mathematical Discovery. Cambridge University Press, London, 1976. 18 Semn Samsonovich Kutateladze, Excursus into the history of calculus. Ver bibliografa.
obtener resultados correctos, tiles y consistentes. Unas dcadas ms tarde, D'Alembert reformula las ideas de Leibnitz en forma ms algebraica pero usando tambin el concepto de lmite en manera vaga. La vaguedad de los fundamentos del clculo diferencial preocup a ms de un pensador de la poca. El mismo D'Alembert en 174319 dijo acerca de las matemticas algo que podemos traducir libremente como Hasta el presente...se le ha dado ms inters a agrandar el edificio que a iluminar la entrada, a levantarlo ms alto que a darle un sostn adecuado a los fundamentos. Un siglo despus de Newton, Lagrange consigui presentar la derivada en trminos completamente algebraicos (sin usar diferenciales ni paso al lmite) para el caso de (lo que hoy llamaramos) funciones analticas. El uso de lmites en realidad no se puede evitar, pero se puede esconder debajo de la alfombra para un tipo especial de funciones (las funciones analticas, digamos aquellas donde la propuesta de Lagrange funciona bien). Otras funciones derivables pero no analticas requieren un tratamiento ms atento. El mtodo de Lagrange fue acogido primero con exagerado entusiasmo (a raz de sus xitos) y ms tarde con una igualmente exagerada indiferencia (a raz de sus limitaciones). La formulacin organizada del concepto de derivada, que sirva para cualquier funcin derivable sea analtica o no, necesita el concepto de lmite. Estas ideas fueron progresando gradualmente a partir de Newton y Leibnitz, culminando con Cauchy, Bolzano y Weierstrass (ms tarde Cantor profundiz el concepto de infinito). El tratado de Lacroix de 1819 (ver bibliografa) ya avanzaba en esta direccin. La contribucin de Cauchy en 1821 fue fundamental. Es el primer intento de establecer el clculo sobre bases slidas. A travs del concepto de lmite, la idea de derivada se puede expresar sin recetas ambiguas y el clculo operacional con infinitsimos se puede justificar en trminos racionales. Cauchy no resolvi todos los problemas inherentes al clculo. En trminos modernos, no advirti la diferencia entre convergencia puntual y convergencia uniforme. Este hecho trae consigo dificultades ya que uno de los teoremas de Cauchy entra en contradiccin con los (previamente conocidos) resultados de Fourier sobre convergencia de series trigonomtricas. En esa poca se hablaba de excepciones al teorema de Cauchy (Abel, 1826). Cauchy qued tan preocupado por este problema que nunca escribi el segundo volumen de su Curso de Anlisis, ni permiti reeditar el primero, a tal punto que cuando la presin para producir un nuevo libro result muy alta, consinti en que el abate Moigno publicara los apuntes de sus clases20. El libro de Moigno21 (escrito para para difundir y popularizar las ideas de su maestro y amigo Cauchy), tiene tambin una versin moderna del concepto de lmite (an algo incompleta, faltan algunos teoremas tiles), una versin
19 20
Morris Kline, pg. 619. Ver bibliografa Lakatos, Proofs and refutations. 21 Leons de calcul diffrentiel et de calcul intgral (F. Moigno, 1840). La persona de Moigno es interesante en s. Sera bueno escribir algo al respecto.
moderna del concepto de derivada (apoyada en el concepto de lmite) y una presentacin a posteriori del concepto de diferencial. La cuestin de la convergencia uniforme fue resuelta en 1847 por Seidel, quien inici as un mecanismo fructfero de perfeccionamiento de las matemticas. Cuando un teorema tiene aparentes contraejemplos, hay que analizar cul es la hiptesis o premisa defectuosa para a travs de ese anlisis refinar la formulacin22. Otras consecuencias de las dificultades con la convergencia uniforme no fueron advertidas antes de 1875.
Exigiendo propiedades especficas para las funciones que aparecen en el miembro derecho, una igualdad de este tipo no siempre ser vlida para una f x arbitraria en el miembro izquierdo. Cuando las funciones son tales que el miembro derecho se puede descomponer en la suma de un trmino g x que no depende de h y otro trmino B x,h tal que para cada x fijo B x,h tiende a cero con h , entonces decimos que f x es derivable en el punto x y su derivada viene dada por g x . Una discusin similar se puede hacer usando la diferencia f o sea multiplicando toda la igualdad por h :
f=f x+h f x =g x h+hB x,h
El diferencial df se define luego como la parte lineal en h de la diferencia, o sea df=g x h que tambin se puede escribir como df=g x dx . El clculo con diferenciales iniciado por Newton y Leibnitz se puede explicar completamente (y si se quiere se puede evitar completamente) a partir de esta definicin de derivada.
los matemticos de aquella poca siguen siendo tales, ya que en el 1700 nadie conoca ni tena la posibilidad de conocer el anlisis non-standard. Esta corriente de pensamiento hasta el da de hoy no ha trascendido demasiado ni a la matemtica en general ni a otras ciencias. Por ejemplo, las voces nonstandard analysis conference mathematics dan (juntas) menos de 600 entradas en Google, mientras que el grupo analysis conference mathematics da unos 4.9 millones de entradas.
tradicionales. La regla es que para expresar el diferencial de f x en trminos del diferencial de x hay que reemplazar las diferencias por diferenciales y donde un diferencial aparece multiplicado por otro, hay que poner ese producto igual a cero. Veamos: aplicando la regla a la diferencia f x+h f x , el trmino cuadrtico en h desaparece, y luego al dividir por h lo que queda de esta diferencia, en el miembro derecho aparece slo la derivada. Marx critica este proceso como metafsico. Lo cual tiene mucho sentido ya que para los nmeros tradicionales, si a y b son distintos de cero, entonces su producto ab tambin es distinto de cero. Un velo mstico esconde el hecho que uno ya saba adonde quera llegar23. Las primeras 70 pginas del manuscrito tratan de una propuesta alternativa, que coincide con el enfoque moderno de Cauchy. La derivada se define haciendo el paso al lmite (concepto previamente formalizado por Cauchy), en el cociente de las diferencias (en el ejemplo de ms arriba, el lmite del miembro derecho cuando h tiende a cero). Luego se definen los diferenciales a posteriori, como la parte lineal en h de la diferencia (est as tambin en el tratado de Lacroix, pg 5). Esta propuesta viene llamada racional por Marx justamente porque desmitifica el proceso de diferenciacin. Marx prosigue en el anlisis mostrando las ideas bajo diversos puntos de vista y con distintos ejemplos, notando que una vez definidos los diferenciales, stos representan una operacin bien precisa y se pueden usar como smbolos operacionales. De esta manera, todas las reglas de diferenciacin establecidas a partir de Newton y Leibnitz siguen siendo vlidas como clculo operacional, pero ahora tienen un fundamento racional.
Errores como ste cometemos todos (tanto los matemticos como los no matemticos). Cometer errores no es tan grave, lo que es grave es negarse a corregirlos despus de haberlos advertido. 24 Marx, Manuscritos Matematicos. Preface. Pg. XXVIII. 25 Marx, Manuscritos Matematicos. Preface. Pg. XXIV.
5. Discusin
La crtica de Marx al concepto de lmite y diferencial coincide con la visin moderna del tema y est anticipada en los libros de Lacroix y Moigno que el mismo Marx menciona. El diferencial y la diferenciacin se definen en esos libros a posteriori (una vez entendido el concepto de derivada) de la manera que propona Marx. A partir de los manuscritos da la impresin que Marx supiera que Lacroix haba hecho contribuciones al tema (se trata slo de una mencin en pg. 68), pero no hay ninguna indicacin acerca de la relacin concreta entre Marx y el libro Leons de calcul diffrentiel et de calcul intgral (F. Moigno, 1840), slo mencionado en una lista de textos en p. 75. No vale la pena discutir si Marx fue un innovador tambin en matemticas. No lo fue. Nunca public sus textos, ni siquiera los termin, no hay ningn teorema nuevo (en realidad expone sus ideas en forma narrativa y usando casos particulares, en lugar de adoptar la estructura del teorema). Algunas de sus ideas estaban anticipadas en libros que l mismo utiliz. Por otro lado, es moneda corriente que el rigor matemtico en la Inglaterra del 1800 estaba atrasado respecto del continente. As que en el contexto en el que Marx trabajaba, su intencin era innovadora. Como textos de matemtica no eran de frontera, ya que los primeros textos datan de unos 20 aos despus del tratado de Cauchy. El valor indiscutido de estos textos reside en la visin filosfica y an pedaggica de la evolucin del pensamiento cientfico, o sea en haber advertido un proceso de perfeccionamiento del conocimiento matemtico. Vistos como textos de historia de las ideas (matemticas), los manuscritos identifican agudamente un grave problema de las matemticas de los siglos XVII y XVIII, que ya D'Alembert habia notado y que comenz su resolucin a partir de Cauchy. En ese sentido, el trabajo de Marx contina y supera exitosamente a Hegel. La crtica de Hegel a los diferenciales mencionada ms arriba, fue presentada en un momento histrico en el que los matemticos reconocan el hecho como un problema y an no haban encontrado una solucin, o sea que es histricamente vlida. La crtica posterior de Marx intuye el proceso evolutivo hasta su solucin. Por el contrario, la cita de Engels ms arriba lo pone por detrs de Marx en la evolucin de las ideas y llega con un atraso de ms o menos 60 aos. Era razonable pensar as en la poca de Hegel, pero era falta de informacin hacerlo en 1883. Igualmente hay que reconocer que el acceso a la informacin 125 aos atrs (an para Engels) no se puede medir con los parmetros del da de hoy. El anlisis y descripcin de este proceso de perfeccionamiento del conocimiento matemtico, con la identificacin de contraejemplos y su uso subsecuente para refinar el conocimiento, tuvo que esperar un siglo todava hasta cristalizarse en la detallada descripcin de Lakatos en The Logic of Mathematical Discovery (ver ms arriba). Queda a Marx el mrito de haber sido un precursor de esta manera de pensar.
Por supuesto, la visin filosfica de Marx acerca de la evolucin histrica de las ideas, las relaciones sociales, etc., est presentada en manera ms detallada en sus textos ms conocidos. En nuestra opinin, Marx encontr interesante, o quizs divertido el hecho que la evolucin del concepto de derivada encajara tan bien en su modelo de evolucin histrica. El estilo encendido, a veces irnico y soberbio de Marx se reconoce tambin en estos manuscritos.
dy 0 really signifies, not the extravagant , but rather the Sunday dx 0 y dress of , as soon as the latter functions as a ratio of infinitely small x differences, hence differently from the usual difference calculation. (p.29)
... that
differential expression
And there in the [Newtonian] first method, how has the point of departure of the differential symbols as operational formulae been obtained? Either through covertly or through overtly metaphysical assumptions, which themselves lead once more to metaphysical, unmathematical consequences... (p. 64) Some contemporaries still hide behind the statement that the differentials and differential coefficients merely express very approximate values. (p. 68) But infinitely small quantities are quantities just like those which are infinitely large (the word infinitely [small] only means in fact indefinitely small); the dy , dx etc. or , x , therefore also take part in the y calculation just like ordinary algebraic quantities, and in the equation above y+k y or k= 2 xdx+dxdx the dxdx has the same right to existence as 2 xdx does; the reasoning is therefore most peculiar by which it is forcibly suppresed... (p. 83) ...where dx is assumed by metaphysical explanation. First it exists, and then it is explained. [...] the terms in x and x which are obtained in addition to the first derivative, for instance, must be juggled away in order to obtain the correct result... (p. 91)
Resumen
Los textos matemticos de Marx nos muestran una persona informada, con una familiaridad con las matemticas comparable a la de los estudiantes de materias tcnicas de hoy en da y con una clara intuicin para reconocer los procesos de evolucin del pensamiento humano, siendo partcipe y en cierta medida precursor de la lnea de pensamiento operativa contemporanea.
Agradecimientos
Uno de nostros (M.N.) agradece fructferas discusiones con su amigo y colaborador de muchos aos, prof. Hernn Solari, Universidad de Buenos Aires, Argentina.
Bibliografa
Apps, Philip, What is nonstandard analysis?,
http://members.tripod.com/PhilipApps/nonstandard.html
Hegel, G. W. F. Ciencia de la Lgica. Solar, Hachette. 1968. Kutateladze, Semn Samsonovich, Excursus into the history of calculus, http://www.math.nsc.ru/LBRT/g2/english/ssk/history.pdf, vase tambin http://www.math.nsc.ru/LBRT/g2/english/cv.html Lacroix, Sylvestre Franois, Trait du calcul diffrentiel et du calcul integrel, Paris, 1819. Kline, Morris, Mathematical thought from ancient to modern times, N. York, 1972. Katz, Victor, A history of Mathematics, Reading, 1998. Lakatos, Imre, Proofs and rerutations, The logic of mathematical discovery. Cambridge University Press, Cambridge (UK) 1976. Marx, Karl, The Mathematical Manuscripts of Karl Marx, London, 1983. Moigno, Abbe F., Leons de calcul diffrentiel et de calcul intgral, Paris, 1840. Reinke, Luke, A Survey of the History of Calculus,
http://www.duke.edu/~ltr/