Sets and other data structures | Data Structures in Mathematics Math Foundations 151
In mathematics we often want to organize objects. Sets are not the only way of doing this: there are other data types that are also useful and that can be considered together with set theory. In particular when we group objects together, there are two fundamental questions that naturally a
From playlist Math Foundations
The elements of a set can be ordered by a relation. Some relation cause proper ordering and some, partial ordering. Have a look at some examples.
From playlist Abstract algebra
Algebraic Structures: Groups, Rings, and Fields
This video covers the definitions for some basic algebraic structures, including groups and rings. I give examples of each and discuss how to verify the properties for each type of structure.
From playlist Abstract Algebra
Fun with lists, multisets and sets IV | Data structures in Mathematics Math Foundations 161
In this video we complete our initial discussion of the four types of basic data structures by describing sets, which are unordered and without repetition. As usual we restrict ourselves to very concrete and specific examples: k-sets from n, where k is a natural number or zero, and n is a
From playlist Math Foundations
Order and Size of a Graph | Graph Theory
What is the order and size of a graph? We'll go over them both in this math lesson! A graph is an ordered pair with a vertex set and an edge set. The order of a graph is the cardinality of its vertex set, which is the number of vertices in the graph. The size of a graph is the cardinality
From playlist Graph Theory
Order of Elements in a Group | Abstract Algebra
We introduce the order of group elements in this Abstract Algebra lessons. We'll see the definition of the order of an element in a group, several examples of finding the order of an element in a group, and we will introduce two basic but important results concerning distinct powers of ele
From playlist Abstract Algebra
15 Properties of partially ordered sets
When a relation induces a partial ordering of a set, that set has certain properties with respect to the reflexive, (anti)-symmetric, and transitive properties.
From playlist Abstract algebra
Groups in abstract algebra examples
In this tutorial I discuss two more examples of groups. The first contains four elements and they are the four fourth roots of 1. The second contains only three elements and they are the three cube roots of 1. Under the binary operation of multiplication, these sets are in fact groups.
From playlist Abstract algebra
Fun with lists, ordered sets, multisets I Data Structures in Mathematics Math Foundations 152
In our last video we introduced four types of concrete data structures that we could build using natural numbers: k-lists, k-ordered sets, k-multiset and k-sets. Today we have a look at k-lists with a view of: what kinds of natural questions can we ask, or patterns that we can find, or str
From playlist Math Foundations
Introduction and Invitation | Six: An Elementary Course in Pure Mathematics Six 1| Wild Egg
Welcome to Six --- an Elementary Course in Pure Mathematics meant for a general lay audience with a minimal amount of mathematical prerequisites! In this video we introduce the basic objects: the symbols 1,2,3,4,5 and 6 along with the basic tools to create more complex mathematical objec
From playlist Six: An elementary course in Pure Mathematics
Data Structures and Polygonal Splines | Algebraic Calculus One | Wild Egg
In this video we introduce polygonal splines, through a preliminary discussion of data structures. Then we extend our notion of signed areas from polygons to polygonal splines. Along the way we introduce cyclic oriented data structures, together with a special notation for cyclic lists a
From playlist Algebraic Calculus One from Wild Egg
Séminaire Bourbaki - 21/06/2014 - 4/4 - Thierry COQUAND
Théorie des types dépendants et axiome d'univalence Cet exposé sera une introduction à la théorie des types dépendants et à l'axiome d'univalence. Cette théorie est une alternative à la théorie des ensembles comme fondement des mathématiques. Guidé par une interprétation d'un type comme u
From playlist Bourbaki - 21 juin 2014
Wolfram Physics Project: Working Session Sept. 15, 2020 [Physicalization of Metamathematics]
This is a Wolfram Physics Project working session on metamathematics and its physicalization in the Wolfram Model. Begins at 10:15 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
From playlist Wolfram Physics Project Livestream Archive
Wolfram Physics Project: Working Session Aug 18, 2020 [Physicalization of Empirical Metamathematics]
This is a Wolfram Physics Project working session on empirical metamathematics and its physicalization. Begins at 3:00 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
From playlist Wolfram Physics Project Livestream Archive
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
Lecture 2: A structure theorem for rooted binary phylogenetic networks and its various applications
This video is one of the two introductory lectures (Introduction to Discrete Mathematical Biology) given by Momoko Hayamizu as part of an omnibus lecture series "Advanced Modern Mathematical Sciences 2" for undergraduate mathematics majors at Waseda University. In this lecture, she gives a
From playlist 2020 Advanced Topic in Modern Mathematical Sciences 2
The S3 character table - a (somewhat) new meaning | Diffusion Symmetry 2 | N J Wildberger
With diffusion symmetry, we explore mathematical objects or physical systems by spreading or diffusing from an initial point. The algebraic objects that result are hypergroups, or fusion algebra, or one of many similar and almost equivalent systems found in combinatorics, group theory, num
From playlist Diffusion Symmetry: A bridge between mathematics and physics
Higher data structures | Data structures in Mathematics Math Foundations 163
Lists, ordered sets (osets), multisets (msets) and sets are the four key types of data structures. In this video we begin looking at how we can combine these types in a nested fashion, by considering for example lists of lists, or sets of msets etc. This will give us a lot more flexibili
From playlist Math Foundations
Ruby on Ales 2014 - You Got Math In My Ruby! (You Got Ruby In My Math!)
By Rein Henrichs Really? Math? With the boring formulas and definitions and proofs? Yes, math. But not that kind of math! The kind of math that challenges our creativity. The kind of math that explores the beautiful patterns that connect seemingly unrelated things in wonderful and surprisi
From playlist Ruby on Ales 2014