A multiset mset is an unordered collection allowing repetitions
3
A natural number NAT is an mset of zeroes
4
A polynumber is an mset of natural numbers
5
A multinumber is an mset of polynumbers
6
Addition of msets
7
NAT is closed under addition and commutative, associative
8
Multinumbers are also closed under addition
9
Multiplication of msets of msets
10
Each "type domain" is closed under addition and multiplication
11
The meaning of "poly"
12
Distinction of mset and list
13
Mathematics as a topic in computer science
Description:
Explore a new framework for basic arithmetic and algebra using multisets in this 39-minute lecture. Learn how to define natural numbers, polynumbers, and multinumbers using the concept of multisets, which are unordered collections allowing repetition. Discover inductive definitions for these number systems and understand how arithmetic operations can be generalized within this framework. Examine the closure properties of different number types under addition and multiplication, and investigate the relationship between multisets and computer science. Gain insights into the historical development of this approach and its potential implications for mathematical foundations.
A Multiset Approach to Arithmetic - Math Foundations