Geometry - Ch. 2: Reasoning and Proofs (12 of 46) What is Inductive Reasoning?
Visit http://ilectureonline.com for more math and science lectures! In this video I will review inductive reasoning (from previous videos) and its advantages and weaknesses. Inductive reasoning is used by 1) finding a pattern, and 2) perform observations (examples or trends) in order to d
From playlist GEOMETRY CH 2 PROOFS & REASONING
Basics of Mathematical Logic -- How to do Mathematical Proofs (PART 3)
This is the first main video on a series of videos: How to do mathematical proofs. This video focuses on the basics of mathematical logic, specifically, the distinction between deductive and inductive reasoning, and examples of premises, propositions, and whatnot. The course is structured
From playlist How to do Mathematical Proofs
Introducing Infinity | Set Theory, Section 3.1
In this video we define inductive sets, the natural numbers, the axiom of infinity, and the standard order relation on the natural numbers. My Twitter: https://twitter.com/KristapsBalodi3 Intro (0:00) Defining Natural Numbers as Sets (1:19) Definition of Inductive Sets (5:07) The Axiom o
From playlist Axiomatic Set Theory
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
Higher Inductive Types - Peter Lumsdaine
Peter Lumsdaine Dalhousie University; Member, School of Mathematics October 1, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Scientific Method | History and Philosophy of Astronomy 7.06
Learn about the history and philosophy of astronomy from Professor Impey, a University Distinguished Professor of Astronomy at the University of Arizona, with our Knowing the Universe: History and Philosophy of Astronomy course here on YouTube. This video is part of module 7, Mapping. Che
From playlist History and Philosophy Course Module 7: Mapping
The Fact/Value Dichotomy & its Critics - Hilary Putnam (2007)
Professor Hilary Putnam gives the UCD Ulysses Medal Lecture titled "The Fact/Value Dichotomy and its critics" at UCD on 5th March 2007. Hilary Putnam (1926-2016) was an American philosopher, mathematician, and computer scientist who was a central figure in analytic philosophy. He made imp
From playlist Social & Political Philosophy
Injective, Surjective and Bijective Functions (continued)
This video is the second part of an introduction to the basic concepts of functions. It looks at the different ways of representing injective, surjective and bijective functions. Along the way I describe a neat way to arrive at the graphical representation of a function.
From playlist Foundational Math
How to do mathematical proofs -- Introduction to Mathematical Proofs (PART 1)
This is the introductory video on a series of videos: How to do mathematical proofs. The course is structured in such a way to make the transition from applied-style problems in mathematics (sometimes referred to as engineering mathematics) to pure mathematics much smoother. The course w
From playlist How to do Mathematical Proofs
Mathematical Induction Divisibility Proof (1 of 3: What is inductive logic?)
More resources available at www.misterwootube.com
From playlist Introduction to Proof by Mathematical Induction
Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq
Recorded 15 February 2023. Micaela Mayero of the Galilee Institute - Paris Nord University presents "An overview of the real numbers in theorem provers: an application with real analysis in Coq" at IPAM's Machine Assisted Proofs Workshop. Abstract: Formalizing real numbers in a formal proo
From playlist 2023 Machine Assisted Proofs Workshop
Hajime Ishihara: Reverse mathematics of non deterministic inductive definitions
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: We present some reverse mathematics within a constructive set theory in terms of non-deterministic inductive definition (NID) principles. This is a joint work with Ayana
From playlist Workshop: "Proofs and Computation"
Introduction to Mathematical Induction (1 of 2: Two Different kinds of Logic)
More resources available at www.misterwootube.com
From playlist Introduction to Proof by Mathematical Induction
MATH1081 Discrete Maths: Chapter 3 Sample Test
We solve sample test of Math 1081 Discrete Maths. Presented by Peter Brown of the School of Mathematics and Statistics, Faculty of Science, UNSW.
From playlist MATH1081 Discrete Mathematics
Gödel's Incompleteness Theorems: An Informal Introduction to Formal Logic #SoME2
My entry into SoME2. Also, my first ever video. I hope you enjoy. The Book List: Logic by Paul Tomassi A very good first textbook. Quite slow at first and its treatment of first-order logic leaves a little to be desired in my opinion, but very good on context, i.e. why formal logic is im
From playlist Summer of Math Exposition 2 videos
A. J. Ayer on the Concept of a Person (1961)
In this talk, A. J. Ayer explores mind-body issues and that of personal identity. What is it that makes you who you are? Physical features of your body? Mental features of the mind? A combination of the two? If scientists could transfer all of your mental contents to another body, would yo
From playlist Philosophy of Mind
Abstract Algebra | Injective Functions
We give the definition of an injective function, an outline of proving that a given function is injective, and a few examples. http://www.michael-penn.net http://www.randolphcollege.edu/mathematics/
From playlist Abstract Algebra
Wolfram Physics Project: Working Session Tuesday, Feb. 2, 2021 [Proofs and Metamathematics]
This is a Wolfram Physics Project working session about proofs and metamathematics. Begins at 3:22 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the announcement post: http://wolfr.
From playlist Wolfram Physics Project Livestream Archive