Mathematical logic | Large-scale mathematical formalization projects | Mathematical notation | Logic symbols

Glossary of Principia Mathematica

This is a list of the notation used in Alfred North Whitehead and Bertrand Russell's Principia Mathematica (1910–1913). The second (but not the first) edition of Volume I has a list of notation used at the end. (Wikipedia).

Video thumbnail

Getting Started with Mathematica

This tutorial shows how to start using Mathematica to solve engineering and scientific problems. We show how Mathematica can be used to generate a rich document that includes both text and code. Some of the topics we cover in this video include: -Simple calculations -Cells -Typesetting

From playlist Working with Mathematica

Video thumbnail

Number theory and algebra in Asia (a) | Math History | NJ Wildberger

After the later Alexandrian mathematicians Ptolemy and Diophantus, Greek mathematics went into decline and the focus shifted eastward. This lecture discusses some aspects of Chinese, Indian and Arab mathematics, in particular the interest in number theory: Pell's equation, the Chinese rema

From playlist MathHistory: A course in the History of Mathematics

Video thumbnail

Mathematica How To: How to Use the Virtual Book

The Virtual Book is a browsable electronic collection of all the Mathematica tutorials, grouped according to functionality. It is an excellent place for users of all levels of experience to gain more detailed knowledge of Mathematica. Learn more about using the Virtual Book in this tutoria

From playlist Mathematica How Tos

Video thumbnail

Why it took 379 pages to prove 1+1=2

Sign up to Brilliant to receive a 20% discount with this link! https://brilliant.org/upandatom/ Hi! I'm Jade. If you'd like to consider supporting Up and Atom, head over to my Patreon page :) https://www.patreon.com/upandatom Visit the Up and Atom store https://store.nebula.app/collecti

From playlist Math

Video thumbnail

Number theory and algebra in Asia (b) | Math History | NJ Wildberger

After the later Alexandrian mathematicians Ptolemy and Diophantus, Greek mathematics went into decline and the focus shifted eastward. This lecture discusses some aspects of Chinese, Indian and Arab mathematics, in particular the interest in number theory (Pell's equation, the Chinese rema

From playlist MathHistory: A course in the History of Mathematics

Video thumbnail

Newton's Principia Manuscript - Objectivity 100

One of the greatest treasures in science - Isaac Newton's "Principia" - was nearly thwarted by a book about fish. Royal Society head librarian Keith Moore and explains to Brady Haran. Subscribe to Objectivity: http://bit.ly/Objectivity_Sub Films by James Hennessy and Brady Haran Royal S

From playlist Books and Journals on Objectivity

Video thumbnail

The Most Important Science Book Ever Written

While in London, Adam meets up with Brady Haran (Numberphile , Objectivity) at The Royal Society! Brady takes us down to the archives of this historic science academy where Library Manager Rupert Baker lets Adam flip through the first edition of Sir Isaac Newton's Principia Mathematica pri

From playlist Museum Tours

Video thumbnail

Alexandre Guilbaud: Terminologie des données encyclopédiques et politique de repérage

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist History of Mathematics

Video thumbnail

Mathematica Tutorial 38 - Math Basics Numbers and Sets

In this Mathematica tutorial we begin with the first few pages of the booklet "A YouTube course in Mathematica" where we learn math basics: about types of numbers, sets, mathematical notation, integers, rational numbers, real numbers, complex numbers, the number line, intervals, and interv

From playlist Mathematica Tutorials

Video thumbnail

Summary of Exponential, Logarithmic & Trigonometric Derivatives

More resources available at www.misterwootube.com

From playlist Differential Calculus

Video thumbnail

What is dark matter? | Sci Guide (Ep 20) | Head Squeeze

What exactly is Dark Matter? Martin Archer investigates... Dark Matter: http://astro.berkeley.edu/~mwhite/darkmatter/dm.html CERN: http://home.web.cern.ch/ Isaac Newton: http://www.bbc.co.uk/history/historic_figures/newton_isaac.shtml Principia Mathematica: http://plato.stanford.edu

From playlist Sci Guide - the latest science and tech news

Video thumbnail

History of Science and Technology Q&A (May 18, 2022)

Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa Originally livestreamed at: https://twitch.tv/stephen_wolfram If you missed the original livestream of

From playlist Stephen Wolfram Ask Me Anything About Science & Technology

Video thumbnail

Logic: The Structure of Reason

As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be

From playlist Logic & Philosophy of Mathematics

Video thumbnail

Kerbal Space Program - Principia - Doing Gravity Properly

Kerbal Space Program uses only single gravitating bodies in its physics model this is a pretty good approximation for most things, but for those that want more realism there's Principia. http://forum.kerbalspaceprogram.com/index.php?/topic/62205-wip105-principia-version-buffon-2016-02-22-

From playlist Lagrange Points Playlist

Video thumbnail

Analytic geometry and the continuum (b) | Math History | NJ Wildberger

The development of Cartesian geometry by Descartes and Fermat was one of the main accomplishments of the 17th century, giving a computational approach to Euclidean geometry. Involved are conics, cubics, Bezout's theorem, and the beginnings of a projective view to curves. This merging of nu

From playlist MathHistory: A course in the History of Mathematics

Video thumbnail

[Calculus] Parametric Equations || Lecture 38

Visit my website: http://bit.ly/1zBPlvm Subscribe on YouTube: http://bit.ly/1vWiRxW Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any que

From playlist Calculus 1

Video thumbnail

Crisis in the Foundation of Mathematics | Infinite Series

Viewers like you help make PBS (Thank you 😃) . Support your local PBS Member Station here: https://to.pbs.org/donateinfi What if the foundation that all of mathematics is built upon isn't as firm as we thought it was? Note: The natural numbers sometimes include zero and sometimes don't -

From playlist An Infinite Playlist

Video thumbnail

Isaac Newton's Woodblocks - Objectivity 178

We look at part of the printing process of one of the most important scientific documents of all time - more links below ↓↓↓ Featuring Dr Katie Reinhart from the University of Cambridge speaking with Brady. Learn more about Katie's research: http://www.mv.crassh.cam.ac.uk Experience the

From playlist Isaac Newton on Objectivity

Video thumbnail

Physical Science 2.7d - Newton

Isaac Newton and the main ideas he published in The Principia. The significance of these ideas in their historical context.

From playlist Physical Science Chapter 2 (Complete chapter)

Related pages

Glossary of set theory | Total order | Type theory | Principia Mathematica | Metamath | Bertrand Russell | Logical conjunction | Alfred North Whitehead | Logical disjunction | Sheffer stroke