Derived Rules in Set Theory
Explore intuitionistic set theories and learn about a general machinery for demonstrating derived rules in this advanced mathematical lecture.
An Overview Over Least Fixed Points in Weak Set Theories
Explore least fixed points in weak set theories, comparing standard constructions and their implications in Kripke Platek Set Theory extensions without the powerset axiom.
How the Power Set Forms a Ring
Explore how the power set forms a ring in this mathematical demonstration, showcasing set theory principles and algebraic structures.
On the Number of Lower Sets with Fixed Cardinality - Analysis Seminar
Explore lower sets with fixed cardinality in this analysis seminar, delving into mathematical concepts and their implications for set theory and combinatorics.
A Disruptive View of Big Number Arithmetic - Math Foundations 173
Explore the challenges of big number arithmetic, its impact on mathematical understanding, and the limitations of traditional approaches to infinity and proof techniques.
Four Basic Combinatorial Counting Problems in Data Structures - Math Foundations 162
Explores four fundamental combinatorial counting problems for lists, ordered sets, sets, and multisets, providing insights into mathematical data structures and their enumeration.
A Socratic Look at Logical Weaknesses in Modern Pure Mathematics
Exploring logical weaknesses in pure mathematics, focusing on continuum, analysis, and set theory. Challenges conventional understanding of limits and introduces computational thinking perspectives.
Computability and Problems with Set Theory - Math History
Explores historical controversies in set theory, Gödel's incompleteness theorems, Zermelo-Fraenkel axioms, and Turing's computability concepts, challenging traditional views on infinite sets in mathematics.
Axiomatics and the Least Upper Bound Property in Real Numbers - Math Foundations 120
Explores the shifting meaning of axioms in mathematics and its impact on real number theory, challenging traditional views on mathematical foundations.
Difficulties with Dedekind Cuts - Real Numbers and Limits in Mathematics
Explores challenges in Dedekind's approach to real numbers, questioning the effectiveness of cuts in establishing a logical foundation for real number theory and arithmetic.
Infinity: Does It Exist? - A Debate on Mathematical Philosophy
A thought-provoking debate on the existence and nature of infinity in mathematics, exploring philosophical perspectives and practical implications for modern computing and mathematical foundations.
Review of Sets and Functions - Probability and Statistics Introduction
Comprehensive review of set theory and functions, covering key concepts like Venn diagrams, distributive laws, partitions, and disjoint sets. Essential foundation for probability and statistics.
Numbers as Multipliers and Particle-Antiparticle Duality - Data Structures Math Foundations 210
Explores numbers as multipliers for sets and introduces particle/antiparticle duality, extending multiplication from natural numbers to integers in mathematical set theory.
A New Trichotomy for Integer Arithmetic - Math Foundations 206
Novel approach to integer arithmetic using marks, anti-marks, and nothing. Explores symmetry between natural and negative numbers, foundational arithmetic of integers, and the role of multisets in organizing mathematical objects.
The Successor-Limit Hierarchy and Ordinals - Part 2
Explores the connection between the successor-limit hierarchy and ordinal numbers in set theory, critiquing modern mathematical foundations and suggesting potential reinterpretations of ordinal theory.
The Successor-Limit Hierarchy and Ordinals - Data Structures in Mathematics
Explores the successor-limit hierarchy in arithmetic, comparing it to ordinal theory in set theory. Discusses large numbers, mathematical foundations, and philosophical implications of these concepts.
The Law of Logical Honesty - Ending Infinity in Mathematics
Challenging traditional mathematical concepts, this talk advocates for a new approach to mathematics without infinity, emphasizing concrete computations and logical clarity for the digital age.
Coding for Sunflowers - Theory Seminar
Explore recent advancements in the sunflower conjecture, simplifying proofs and discussing set theory implications in this mathematical theory seminar by Anup Rao.
Introducing Box Arithmetic - Math Foundations 237
Explore a revolutionary approach to arithmetic using multisets and box/anti-box duality, offering new insights into mathematical foundations and their connection to particle physics concepts.
Calculating Ordinal Invariants - Can You Do Better Than a Human?
Explore ordinal invariants calculation techniques, comparing human and computational approaches in this advanced mathematics lecture by Mirna Džamonja.
Chains on Peano Continua: Combinatorics and Dynamics
Explore combinatorics and dynamics of chains on Peano continua, delving into advanced mathematical concepts and their applications in set theory.