Infinitely More

Infinitely More explores the mathematics and philosophy associated with the concept of infinity, covering a diverse array of topics such as surreal numbers, lattices, the continuum hypothesis, transfinite numbers, mathematical structures, and paradoxes. It examines both the abstract theories and their practical implications, integrating logical analysis and historical perspectives.

Mathematics Philosophy Logic Number Theory Algebra Graph Theory Mathematical Induction Epistemology

The hottest Substack posts of Infinitely More

And their main takeaways

The Gold Coin game

7 implied HN points β€’ 12 Feb 25
🎭️ Culture Games Strategy Logic Philosophy Mathematics
  1. The Gold Coin game involves two players trying to get a valuable gold coin while moving other coins on a board. Players can either move a coin or take the leftmost coin in their turn.
  2. The game is strategic and requires understanding the best moves to win. Knowing winning moves can make the game easier to navigate.
  3. Practicing the game with a partner helps improve your skills and understanding of the rules, making it more enjoyable to play.

The game of Nim

10 implied HN points β€’ 07 Feb 25
🚌 Education Mathematics Games Logic Strategy Learning
  1. The game of Nim is based on a smart mathematical strategy that lets informed players almost always win against those who don't know the trick.
  2. In Nim, players take turns removing coins from piles, and the goal is to take the last coin to win.
  3. Anyone, even kids, can learn the winning strategy and easily beat more experienced players who don't know it.

Chomp

20 implied HN points β€’ 31 Jan 25
🎭️ Culture Games Logic Philosophy Analysis Creativity
  1. The game Chomp involves two players taking turns biting from a chocolate bar, and the goal is to avoid being the one to take the last bite. Players remove chocolate squares from the lower-left, taking away everything above and to the right of their chosen square.
  2. Winning strategies in Chomp can depend on whether you're going first or second, especially based on the size of the chocolate bar. Players need to think carefully about their moves to ensure they don't end up losing.
  3. Chomp is not just a fun game; it also teaches lessons about strategy and decision-making in game theory. Understanding how to analyze your options can give you an edge in winning.

Finding Fifteen

15 implied HN points β€’ 20 Jan 25
🚌 Education Game Theory Mathematics Philosophy Logic
  1. Finding Fifteen is a game where two players try to pick numbers that add up to 15. It's a fun way to learn about strategy and competition.
  2. Players take turns choosing numbers between 1 and 9, and they can't repeat numbers. The first player to use three numbers that sum to 15 wins.
  3. Some moves can be forced, meaning players may have to make certain choices to avoid losing immediately. This adds a layer of strategy to the game.

The zigzag theorem

33 implied HN points β€’ 04 Jan 25
🚌 Education Mathematics Geometry Learning Teaching
  1. The zigzag theorem states that when you create a zigzag pattern in a rectangle, the triangles formed below this pattern take up exactly half the area of the rectangle.
  2. Even if the zigzag lines sometimes move backward without crossing, the triangles will still cover half the rectangle's area due to how the bases and heights of the triangles are calculated.
  3. This theorem is interesting because it holds true even if the zigzag involves an infinite number of lines.
Get a weekly roundup of the best Substack posts, by hacker news affinity:

Interpretability of theories

17 implied HN points β€’ 11 Jan 25
πŸ“– Philosophy Logic Theory Interpretation Models Semantics
  1. You can understand one theory by interpreting it through another theory. This means translating ideas from one set of concepts to another.
  2. Interpreting theories involves a consistent method to show how one theory fits within the framework of another. It connects the ideas and structures from both.
  3. The host theory provides a detailed explanation of how the interpreted theory operates, using only its own language and concepts. This helps clarify the relationships between different theories.

Take my Infinity final exam!

35 implied HN points β€’ 21 Dec 24
🚌 Education Philosophy Mathematics Learning Assessment Critical Thinking
  1. The Cantor-Hume principle connects with Euclid's principle, and there are different views on whether they agree or conflict. It's a topic worth exploring in depth.
  2. Understanding potential and actual infinity is important in calculus, especially when dealing with infinite series. This distinction affects how we solve mathematical problems.
  3. The continuum hypothesis and the axiom of choice raise interesting questions in philosophy and mathematics, showing how these concepts challenge our understanding of infinity and choice.

Twenty one

7 implied HN points β€’ 23 Jan 25
πŸ“– Philosophy Game Theory Logic Education Mathematics Culture
  1. The game of Twenty-One involves two players counting to twenty-one by saying one to three numbers each turn. The goal is to be the one who says 'twenty-one' to win.
  2. Players can develop strategies to control the game and eventually win. It’s smart to think ahead about how many numbers to say.
  3. This game can help illustrate important ideas in game theory. It’s a fun way to explore how cooperation and strategy work together.

Interpretability

28 implied HN points β€’ 30 Nov 24
πŸ“– Philosophy Logic Mathematics Interpretation Language Concepts
  1. In math, we can understand one idea by using another. It's like using different languages to explain the same thing.
  2. Sometimes, when we translate ideas back and forth, we lose some meaning, similar to playing a game of telephone.
  3. To make this work, we create special objects in a new system that can help us relate and understand the original idea better.

What is the essential structure of the complex numbers?

38 implied HN points β€’ 10 Nov 24
πŸ“– Philosophy Mathematics Epistemology Ontology Logic
  1. There are different ways to think about complex numbers, like focusing on their algebraic or topological structures. Each viewpoint gives us unique insights into how complex numbers behave.
  2. Mathematicians don't all agree on what the essential structure of complex numbers is, leading to multiple interpretations. It shows us that understanding math can be quite flexible.
  3. The paper identifies four main perspectives on complex numbers, which can help clarify the discussions around their nature and engage with broader philosophical questions in mathematics.

Mutual and bi-interpretation of models

17 implied HN points β€’ 14 Dec 24
πŸ“– Philosophy Logic Interpretation Mathematics Theories Models
  1. Mutual interpretation means that two models can understand each other. Each model can be explained using the features of the other.
  2. When you interpret one model within another, it creates a loop of understanding. You can go back and forth between the two models, revealing deeper connections.
  3. Bi-interpretability is when both models not only understand each other but are actually related in a stronger way. This offers even more insights into their structure.

Permutations and combinations

17 implied HN points β€’ 17 Nov 24
🚌 Education Mathematics Theory Logic Combinatorics
  1. A permutation is just a way to rearrange a list of objects. For example, with three letters like 'a', 'b', and 'c', you can arrange them in six different ways.
  2. The factorial of a number shows how many ways you can arrange that many objects. For example, 5! equals 120 because it's 5 times 4 times 3 times 2 times 1.
  3. When choosing items from a group without caring about the order, we use combinations. The formula for this is called 'n choose k', which helps calculate how many ways you can select items.

The interpretation translation

10 implied HN points β€’ 07 Dec 24
πŸ”¬ Science Mathematics Logic Philosophy Education Computer Science
  1. You can interpret one mathematical structure using another, which helps express features of the first in terms of the second. This means you find a way to connect different types of math using a common language.
  2. There are many examples of this interpretation, like placing integers inside natural numbers or examining complex numbers through real numbers. These examples show how different math concepts relate to each other.
  3. Understanding how to interpret structures can help us explore logic more deeply, opening up new ways of thinking in math, philosophy, and computer science.

Recursive Chess

12 implied HN points β€’ 19 Oct 24
🎭️ Culture Games Concepts Philosophy Art Education
  1. Recursive chess is a new twist on the traditional game where pieces must play their own mini-games before capturing. This makes each capture more complex and interesting.
  2. The rules of recursive chess are still being debated, with no clear answer on how to play. Different interpretations could lead to many unique gameplay experiences.
  3. Exploring the rules of recursive chess invites deeper discussions about game theory and the nature of games themselves, making it a fascinating topic for anyone interested in strategy.

Representing integers as a sum

7 implied HN points β€’ 27 Oct 24
🚌 Education Mathematics Learning Teaching Proofs Exercises
  1. Every positive integer can be split into a sum in a specific number of ways. For any integer n, there are exactly 2^(n-1) ways to do this.
  2. To figure out how to split an integer, you can visualize it as a series of ones with spaces in between. Each space can either have a plus sign or not, giving rise to different sums.
  3. A common mistake in math is the 'fence-post error,' where people confuse the number of items with the number of spaces between them, leading to miscounts in things like days or numbers.

The surreal numbers

41 implied HN points β€’ 06 Jan 24
πŸ”¬ Science Mathematics Numbers Recursion Infinity
  1. The surreal numbers unify various number systems into one comprehensive system.
  2. Surreal numbers are generated through a recursive process of completion and ordering.
  3. The surreal number generation rule involves separating existing numbers into lower and upper sets to create new numbers.

Lattices

33 implied HN points β€’ 17 Jan 24
πŸ”¬ Science Mathematics
  1. A lattice is an order relation where every pair of elements has a least upper bound and a greatest lower bound.
  2. In lattices, the join of two elements is the larger of them and the meet is the smaller of them.
  3. Every linear order, set of positive integers, Boolean algebra, and field of sets can be considered lattices.

The eventual domination order

30 implied HN points β€’ 11 Jan 24
πŸ”¬ Science Mathematics Logic
  1. The eventual domination order involves comparing functions in a specific way
  2. In the eventual domination order, every countable sequence of functions is strictly bounded
  3. This order prohibits one from climbing a simple ladder to reach the top

A formal language for first-order predicate logic

15 implied HN points β€’ 02 Mar 24
🚌 Education Mathematics Logic Philosophy Semantics
  1. A formal language for first-order predicate logic involves understanding the basic syntax, terms, variables, and structure interpretations.
  2. Signatures in structures specify the elements like relations, functions, and constants in a mathematical structure, detailing their features and meanings.
  3. Mathematics uses a wide array of first-order structures to study various concepts like orders, graphs, groups, and more, unifying different mathematical investigations.

An algebra of orders

17 implied HN points β€’ 04 Feb 24
πŸ”¬ Science Mathematics Algebra Operations
  1. There is a rich algebra of orders involving operations like addition and multiplication.
  2. The disjoint sum operation creates a combined order without interactions between the two parts.
  3. The ordered sum operation combines two orders by placing one above the other, creating new orders with distinct properties.

Distinguishing mathematical structures by their theories

15 implied HN points β€’ 24 Feb 24
πŸ”¬ Science Mathematics Logic
  1. With first-order logic, subtle features can help distinguish mathematical structures from similar alternatives.
  2. Different mathematical structures can be differentiated by how symbols are interpreted in each structure, revealing unique properties.
  3. Finding statements in the language of orders that are true in one structure and false in others can help distinguish mathematical structures.

Chaos train and monkey madnessβ€”fun with quantifiers

12 implied HN points β€’ 19 Feb 24
🚌 Education Logic Language Mathematics Semantics Exercises
  1. First-order predicate logic provides a formal language and semantics capable of expressing fine distinctions and shades of meaning.
  2. Understanding quantifiers, such as βˆƒ and βˆ€, is crucial in first-order logic as they allow one to make statements like 'there is an x such that Ο†' or 'every x has property Ο†.'
  3. Engaging in logic puzzles and practice can help in developing a deeper comprehension of first-order logic concepts and their applications.

The countable random graph

10 implied HN points β€’ 10 Feb 24
πŸ”¬ Science Mathematics Graph Theory
  1. A countable random graph is a graph where you flip a coin to decide the edges between vertices in an infinite set, and the result is the same graph almost every time.
  2. Graph theory is a complex subject with beautiful theorems, and different notions of graphs exist, such as directed graphs and simple graphs.
  3. In mathematics, there are variations in graph definitions, such as allowing reflexivity or multiple edges, but in simpler contexts, graphs are typically referred to as simple graphs.

Mathematical induction

10 implied HN points β€’ 30 Jan 24
🚌 Education Mathematics Proofs Induction
  1. Mathematical induction is a fundamental principle in mathematics, used to prove many fundamental facts in arithmetic and number theory.
  2. The common induction principle states that if a set of natural numbers contains 0 and whenever n is in the set, n+1 is also in the set, then every natural number is in the set.
  3. Strong induction allows the induction step to use multiple smaller numbers to prove a statement, and can be proven from the least-number principle.

The continuum hypothesis

30 implied HN points β€’ 04 Mar 23
πŸ”¬ Science Mathematics Philosophy History
  1. The continuum hypothesis suggests there is no infinity strictly between natural numbers and real numbers.
  2. The continuum problem has been a challenging and prominent open question in mathematics for over a century.
  3. David Hilbert included the continuum problem as the top question in his list of important open mathematical problems in 1900.

Transfinite recursive constructions

23 implied HN points β€’ 19 Mar 23
πŸ”¬ Science Mathematics Recursion
  1. Recursions can express fundamental relations in various contexts like mathematical sequences and modelings like the Fibonacci sequence.
  2. Many familiar arithmetic functions can be defined by recursion, showing a deeper fundamental aspect of their operations.
  3. Defining functions by recursion can be legitimate for natural numbers, but may fail for real numbers due to multiple or no solutions.

The method of exhaustion

23 implied HN points β€’ 14 Feb 23
🚌 Education Mathematics History
  1. Archimedes used the method of exhaustion to find the area of a parabolic segment, a concept that predicted calculus ideas by 2000 years.
  2. Archimedes focused on calculating the area between a parabola and a linear chord, exploring the geometry of parabolas in his work.
  3. To read more about the method of exhaustion and key mathematical concepts, subscribe to Infinitely More for a 7-day free trial.

How to count

20 implied HN points β€’ 22 Feb 23
🚌 Education Mathematics
  1. Ordinal numbers extend natural numbers beyond infinity.
  2. The first infinite ordinal is Ο‰, pronounced as omega.
  3. To understand ordinals, focus on their own order structure rather than embedding them into our perception of time.

Applications of induction

5 implied HN points β€’ 13 Mar 24
🚌 Education Mathematics Games Induction Numbers
  1. Induction is about the impossibility of minimal counterexamples, and it comes in various forms like common induction and strong induction.
  2. Flexible use of induction is key - choose the valid form that best fits your proof.
  3. Differentiate between examples and proofs - examples can provide insight but don't prove universal statements.

A theory of truth

5 implied HN points β€’ 07 Mar 24
πŸ“– Philosophy Logic Truth Semantics Theory Structure
  1. Truth in a structure is defined by recursion on sentences, reducing to assertions with temporary assignments of variables
  2. The concept of valuation in a model involves assigning variables to specific individuals, treating them as constants in that context
  3. Tarski's disquotational theory of truth posits that an assertion is true when the proposition it asserts is true, forming the foundation of a compositional theory of truth

The paradox of giants

15 implied HN points β€’ 31 Mar 23
πŸ”¬ Science Physics Observations Scaling
  1. Giants in folklore, acting in a humanlike manner but at a larger scale, are physically impossible according to Galileo.
  2. Galileo's paradox of the giant involves the concept of scaling and how larger objects may not behave as expected when scaled up.
  3. Observations on scaling in different dimensions can lead to various paradoxes of dimension.

Uncountable infinity

15 implied HN points β€’ 09 Feb 23
  1. Real numbers form an uncountable infinity, larger than the countable infinity of natural numbers.
  2. There are infinitely many different sizes of infinity, with no largest infinity.
  3. Cantor's ideas revolutionized mathematics, showing different sizes of infinity and earning recognition over time.

The orders of infinity

12 implied HN points β€’ 11 Mar 23
πŸ”¬ Science Mathematics Functions Infinity Behavior
  1. Real-valued functions can exhibit various behaviors as they approach infinity.
  2. Different functions can have the same behavior at infinity, based on their rates of growth.
  3. Defining an equivalence relation helps capture the idea of functions having the same behavior at infinity.