ASU is Where Innovation Thrives
Together, we have built the most innovative university in the country. Thank you for joining us to invent a brighter future for all.
From playlist About ASU
Precalculus 11.5a - Mathematical Induction
Mathematical Induction. First in a short series of videos. From the Precalculus class taught by Derek Owens. These are older videos, from the original course, posted by request.
From playlist Precalculus Chapter 11 (Selected videos)
Plato: Biography of a Great Thinker
The Greek philosopher Plato was a student of Socrates, and teacher of Aristotle. He wrote on a wide variety of topics including Politics, Aesthetics, Cosmology, and Epistemology. To this day, we refer to “Platonic Love” and “Platonic Ideals.” Plato’s search for knowledge and truth formed t
From playlist It Starts With Literacy
You MUST Harness the ‘Power of Intention’ When Learning Anything
The power of intention refers to the ability of a person to direct their thoughts and energy towards a specific goal or outcome. This concept is often associated with positive thinking and the law of attraction, which suggests that individuals can manifest their desires through the power o
From playlist Life Hacks
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
Stanford's Hoover Institution: Ideas defining a free society
With its eminent scholars and renowned Library and Archives, the Hoover Institution seeks to improve the human condition by advancing ideas that promote economic opportunity and prosperity, while securing and safeguarding peace for America and all mankind.
From playlist Stanford Highlights
Teach Astronomy - Limitations of Science
http://www.teachastronomy.com/ Science is not perfect. Godel showed in the 1930s that any deductive system must be incomplete at some level. Induction can not be perfect because it generalizes from a finite set of data to an infinite set of possible situations. Observations are limited
From playlist 01. Fundamentals of Science and Astronomy
Modern "Set Theory" - is it a religious belief system? | Set Theory Math Foundations 250
Modern pure mathematics suffers from a uniform disinterest in examining the foundations of the subject carefully and objectively. The current belief system that "mathematics is based on set theory" is quite misguided, and in its current form represents an abdication of our responsibility t
From playlist Math Foundations
Oxford 4b The Argument Concerning Induction
A course by Peter Millican from Oxford University. Course Description: Dr Peter Millican gives a series of lectures looking at Scottish 18th Century Philosopher David Hume and the first book of his Treatise of Human Nature. Taken from: https://podcasts.ox.ac.uk/series/introduction-david
From playlist Oxford: Introduction to David Hume's Treatise of Human Nature Book One | CosmoLearning Philosophy
Discrete Math II - 5.2.1 Proof by Strong Induction
In this video we learn about a proof method known as strong induction. This is a form of mathematical induction where instead of proving that if a statement is true for P(k) then it is true for P(k+1), we prove that if a statement is true for all values from 1 to k (or whatever your starti
From playlist Discrete Math II/Combinatorics (entire course)
Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA
Recorded 17 February 2023. Petra Hozzova of Technische Universität Wien, Institute of Logic and Computation, presents "Automation of Induction in Saturation" at IPAM's Machine Assisted Proofs Workshop. Abstract: Induction in saturation-based first-order theorem proving is a new exciting di
From playlist 2023 Machine Assisted Proofs Workshop
Stanford Webinar - How to be an Innovative Leader: A Jam Session with Stanford Faculty
In today's business world, a good leader is innovative and a great leader is a good leader with an innovative team. So, how do you become a great leader? How do you find the balance between ownership and mentoring, build a culture of creative collaboration, and continue to develop your own
From playlist Stanford Webinars
Discrete Math II - 5.1.1 Proof by Mathematical Induction
Though we studied proof by induction in Discrete Math I, I will take you through the topic as though you haven't learned it in the past. The premise is that we prove the statement or conjecture is true for the least element in the set, then show that if the statement is true for the kth el
From playlist Discrete Math II/Combinatorics (entire course)
Is It Time To Start Cooking with Magnets?
Is It Time To Start Cooking with Magnets? Get a LARQ PureVis pitcher and start enjoying fresh, pure water today: https://bylarq.com/undecided1. Gas stoves have been quite the “hot button issue” lately. But a range of data shows cooking with gas is dangerous to human health and a significan
From playlist The Problem With ...
Introduction to the Coq Proof Assistant - Andrew Appel
Introduction to the Coq Proof Assistant - Andrew Appel Princeton University December 7, 2010 A "proof assistant" is a software package comprising a validity checker for proofs in a particular logic, accompanied by semi-decision procedures called "tactics" that assist the mathematician in
From playlist Mathematics
Due to the COVID-19 pandemic, Carnegie Mellon University is protecting the health and safety of its community by holding all large classes online. People from outside Carnegie Mellon University are welcome to tune in to see how the class is taught, but unfortunately Prof. Loh will not be o
From playlist CMU 21-228 Discrete Mathematics
Episode 37: Electromagnetic Induction - The Mechanical Universe
Episode 37. Electromagnetic Induction: The discovery of electromagnetic induction in 1831 creates an important technological breakthrough in the generation of electric power. “The Mechanical Universe,” is a critically-acclaimed series of 52 thirty-minute videos covering the basic topics o
From playlist The Mechanical Universe
Well-Ordering and Induction: Part 1
This was recorded as supplemental material for Math 115AH at UCLA in the spring quarter of 2020. In this video, I prove the equivalence of the principle of mathematical induction and the well-ordering principle.
From playlist Well Ordering and Induction
Spooky Rituals of The Freemasons | The Freemasons Explained
Freemasonry isn’t one thing, but many, and it has always been this way. Much of this vagueness and variety stems from the fact that Freemasonry’s origins are lost in time. As ever, people see what they want to see and believe what they want to believe. Therefore, unsurprisingly, Freemasonr
From playlist Modern History
Inductive Construction of a Subsequence In this video, I present the idea of an inductive construction of a subsequence. I illustrate this by showing that for every real number, there is a sequence of rational numbers that converges to that real number. Enjoy! Another Inductive Construct
From playlist Sequences