A nice Fibonacci sum done two ways!!
We find the infinite sum of f_n/2^n, where f_n is the nth Fibonacci number. As a tool, we construct the generating function for the Fibonacci sequence. We also find the sum using the "double summation trick" which was new to me!! This could also probably be done with summation by parts f
From playlist Identities involving Fibonacci numbers
Recursively Defined Sets - An Intro
Recursively defined sets are an important concept in mathematics, computer science, and other fields because they provide a framework for defining complex objects or structures in a simple, iterative way. By starting with a few basic objects and applying a set of rules repeatedly, we can g
From playlist All Things Recursive - with Math and CS Perspective
Set Theory (Part 20): The Complex Numbers are Uncountably Infinite
Please feel free to leave comments/questions on the video and practice problems below! In this video, we will establish a bijection between the complex numbers and the real numbers, showing that the complex numbers are also uncountably infinite. This will eventually mean that the cardinal
From playlist Set Theory by Mathoma
Set Theory (Part 16): Correspondence Between Number Systems
Please feel free to leave comments/questions on the video and practice problems below! In this video, we will connect the number systems together through isomorphic embedding functions, so that operations are preserved across number systems. I will also argue that, in the strict sense, th
From playlist Set Theory by Mathoma
Generating Functions and Combinatorial Identities
We describe one method of manipulating generating function to produce new combinatorial sum identities. We include an application of finding the value of a certain sum involving Fibonacci numbers. http://www.michael-penn.net http://www.randolphcollege.edu/mathematics/
From playlist Identities involving Fibonacci numbers
A Beautiful Visual Interpretation - The Sum of Squares of the Fibonacci Numbers.
Help me create more free content! =) https://www.patreon.com/mathable Merch :v - https://papaflammy.myteespring.co/ https://www.amazon.com/shop/flammablemaths https://shop.spreadshirt.de/papaflammy Become a Member of the Flammily! :0 https://www.youtub
From playlist Number Theory
Set Theory (Part 18): The Rational Numbers are Countably Infinite
Please feel free to leave comments/questions on the video and practice problems below! In this video, we will show that the rational numbers are equinumerous to the the natural numbers and integers. First, we will go over the standard argument listing out the rational numbers in a table a
From playlist Set Theory by Mathoma
Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3
HYBRID EVENT Recorded during the meeting "Logic and Interactions" the February 24, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual M
From playlist Topology
Working Group on Univalent Foundations - Michael Shulman
Michael Shulman Institute for Advanced Study December 12, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Demystifying the Golden Ratio (Part 2)
In this second video of the series, we explore the relationship between the Golden Ratio and the equation defining the Fibonocci numbers.
From playlist Demystifying the Golden Ratio
Charles Weibel: K-theory of algebraic varieties (Lecture 1)
The lecture was held within the framework of the Hausdorff Trimester Program: K-Theory and Related Fields. Charles Weibel: K theory of algebraic varieties Abstract: Lecture 1 will present definitions for the Waldhausen K-theory of rings, varieties, additive and exact categories, and dg c
From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"
Semantics of Higher Inductive Types - Michael Shulman
Semantics of Higher Inductive Types Michael Shulman University of California, San Diego; Member, School of Mathematics February 27, 2013
From playlist Mathematics
Kan Simplicial Set Model of Type Theory - Peter LeFanu Lumsdaine
Peter LeFanu Lumsdaine Dalhousie University; Member, School of Mathematics October 25, 2012 For more videos, visit http://video.ias.edu
From playlist Mathematics
Set Theory 1.4 : Well Orders, Order Isomorphisms, and Ordinals
In this video, I introduce well ordered sets and order isomorphisms, as well as segments. I use these new ideas to prove that all well ordered sets are order isomorphic to some ordinal. Email : fematikaqna@gmail.com Discord: https://discord.gg/ePatnjV Subreddit : https://www.reddit.com/r/
From playlist Set Theory
Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2
HYBRID EVENT Recorded during the meeting "Logic and Interactions" the February 22, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual M
From playlist Topology
Fukaya category of a Hamiltonian fibration by Yasha Savelyev
J-Holomorphic Curves and Gromov-Witten Invariants DATE:25 December 2017 to 04 January 2018 VENUE:Madhava Lecture Hall, ICTS, Bangalore Holomorphic curves are a central object of study in complex algebraic geometry. Such curves are meaningful even when the target has an almost complex stru
From playlist J-Holomorphic Curves and Gromov-Witten Invariants
Simplicial Sets by Rekha Santhanam
PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics
From playlist Dualities in Topology and Algebra (Online)
Cohomology in Homotopy Type Theory - Eric Finster
Eric Finster Ecole Polytechnique Federal de Lausanne; Member, School of Mathematics March 6, 2013 For more videos, visit http://video.ias.edu
From playlist Mathematics
Ex: Determine a Real, Imaginary, and Complex Number
This video explains how decide if a number is best described by the set of real, imaginary, or complex numbers. Library: http://mathispower4u.com Search: http://mathispower4u.wordpress.com
From playlist Performing Operations with Complex Numbers
Stable Homotopy Seminar, 4: Model categories (Ivo Vekemans)
This talk by Ivo Vekemans is a thorough introduction to model categories, presenting: weak factorization systems; the definition of model category and major examples (simplicial sets, topological spaces, and chain complexes); notions of homotopy in a model category, and the homotopy catego
From playlist Stable Homotopy Seminar