Science and math

SymPy

SymPy is a Python library for symbolic computation. It provides computer algebra capabilities either as a standalone application, as a library to other applications, or live on the web as SymPy Live or SymPy Gamma. SymPy is simple to install and to inspect because it is written entirely in Python with few dependencies.[2][3][4] This ease of access combined with a simple and extensible code base in a well known language make SymPy a computer algebra system with a relatively low barrier to entry.

SymPy includes features ranging from basic symbolic arithmetic to calculus, algebra, discrete mathematics and quantum physics. It is capable of formatting the result of the computations as LaTeX code.[2][3]

SymPy is free software and is licensed under New BSD License. The lead developers are Ondřej Čertík and Aaron Meurer.

Source: SymPy – Wikipedia

Q.E.D. – Wikipedia

Q.E.D. or QED (sometimes italicized) is an initialism of the Latin phrase “quod erat demonstrandum”, literally meaning “what was to be shown”.[1] Traditionally, the abbreviation is placed at the end of a mathematical proof or philosophical argument to indicate that the proof or argument is complete, therefore used with the meaning “thus it has been demonstrated”.

Source: Q.E.D. – Wikipedia

Isaac Barrow

Isaac Barrow (October 1630 – 4 May 1677) was an English Christian theologian and mathematician who is generally given credit for his early role in the development of infinitesimal calculus; in particular, for the discovery of the fundamental theorem of calculus. His work centered on the properties of the tangent; Barrow was the first to calculate the tangents of the kappa curve. He is also notable for being the inaugural holder of the prestigious Lucasian Professorship of Mathematics, a post later held by his student, Isaac Newton.

https://en.wikipedia.org/wiki/Isaac_Barrow

John Wilkins

John Wilkins, FRS (1614–1672) was an Anglican clergyman, natural philosopher and author, and was one of the founders of the Royal Society. He was Bishop of Chester from 1668 until his death.

Wilkins is one of the few persons to have headed a college at both the University of Oxford and the University of Cambridge. He was a polymath, although not one of the most important scientific innovators of the period. His personal qualities were brought out, and obvious to his contemporaries, in reducing political tension in InterregnumOxford, in founding the Royal Society on non-partisan lines, and in efforts to reach out to religious nonconformists. He was one of the founders of the new natural theologycompatible with the science of the time. He is particularly known for An Essay towards a Real Character and a Philosophical Language (1668) in which, amongst other things, he proposed a universal language and an integrated system of measurement, similar to the metric system.

Wilkins lived in a period of great political and religious controversy, yet managed to remain on working terms with men of all political stripes; he was key in setting the Church of England on the path toward comprehension for as many sects as possible, “and toleration for the rest.” Gilbert Burnet called him “the wisest clergyman I ever knew. He was a lover of mankind, and had a delight in doing good.”

His stepdaughter married John Tillotson, who became Archbishop of Canterbury.

https://en.wikipedia.org/wiki/John_Wilkins

Robert Hooke

Robert Hooke FRS (/hʊk/; 28 July [O.S. 18 July] 1635 – 3 March 1703) was an English natural philosopher, architect and polymath. As a young adult, he was a financially impoverished scientific inquirer, but came into wealth and good reputation following his actions as Surveyor to the City of London after the great fire of 1666 (in which he appears to have performed more than half of all the surveys after the fire). At that time, he was also the curator of experiments of the Royal Society, and a member of its council, Gresham Professor of Geometry. He was also an important architect of his time—though few of his buildings now survive and some of those are generally misattributed—and was instrumental in devising a set of planning controls for London, the influence of which remains today. Allan Chapman has characterised him as “England’s Leonardo“.

Hooke studied at Wadham College, Oxford, during the Protectorate where he became one of a tightly knit group of ardent Royalists led by John Wilkins. Here he was employed as an assistant to Thomas Willis and to Robert Boyle, for whom he built the vacuum pumps used in Boyle’s gas law experiments, and conducted the experiments themselves. He built some of the earliest Gregorian telescopes and observed the rotations of Mars and Jupiter. In 1665 he inspired the use of microscopes for scientific exploration with his book, Micrographia. Based on his microscopic observations of fossils, Hooke was an early proponent of biological evolution. He investigated the phenomenon of refraction, deducing the wave theory of light, and was the first to suggest that matter expands when heated and that air is made of small particles separated by relatively large distances. He proposed that heat was the manifestation of faster movement of the particles of matter.

He performed pioneering work in the field of surveying and map-making and was involved in the work that led to the first modern plan-form map, though his plan for London on a grid system was rejected in favour of rebuilding along the existing routes. He also came near to an experimental proof that gravity follows an inverse square law, and first hypothesised that such a relation governs the motions of the planets, an idea which was developed by Isaac Newton, and formed part of a dispute between the two which caused Newton to try to erase Hooke’s legacy. He originated the terraqueous globe theory of geology, disputed the literal Biblical account of the age of the Earth, hypothesised the idea of extinction, and wrote numerous times of the likelihood that fossils on hill and mountain tops had been raised there by “earthquakes”, a general term of the time for geological processes. Much of Hooke’s scientific work was conducted in his capacity as curator of experiments of the Royal Society, a post he held from 1662, or as part of the household of Robert Boyle.

In later life, Hooke became party to jealous intellectual disputes, which may have contributed to his relative historical obscurity outside of his association with Newton in particular.

https://en.wikipedia.org/wiki/Robert_Hooke

Standing on the shoulders of giants

The metaphor of dwarfs standing on the shoulders of giants (Latin: nanos gigantum humeris insidentes) expresses the meaning of “discovering truth by building on previous discoveries”. This concept has been traced to the 12th century, attributed to Bernard of Chartres. Its most familiar expression in English is by Isaac Newton in 1675: “If I have seen further it is by standing on the shoulders of Giants.”

https://en.wikipedia.org/wiki/Standing_on_the_shoulders_of_giants

Philosophiæ Naturalis Principia Mathematica

Philosophiæ Naturalis Principia Mathematica (Latin for Mathematical Principles of Natural Philosophy), often referred to as simply the Principia (/prɪnˈsɪpiə, prɪnˈkɪpiə/), is a work in three books by Isaac Newton, in Latin, first published 5 July 1687. After annotating and correcting his personal copy of the first edition, Newton published two further editions, in 1713 and 1726. The Principia states Newton’s laws of motion, forming the foundation of classical mechanics; Newton’s law of universal gravitation; and a derivation of Kepler’s laws of planetary motion (which Kepler first obtained empirically).

https://en.wikipedia.org/wiki/Philosophi%C3%A6_Naturalis_Principia_Mathematica

Reddit – math – Does anyone use Latin abbreviations other than QED (i.e. QEI, QEA, QEF)

Does anyone use Latin abbreviations other than QED (i.e. QEI, QEA, QEF)

  • QEI : Quod Erat Inveniendum (which was to be found)
  • QEA : Quod Est Absurdum (which is absurd)
  • QEF : Quod Erat Faciendum (which was to be done)

Do you just not use any of them and use the tombstone?

Does anyone use Latin abbreviations other than QED (i.e. QEI, QEA, QEF) from math