Irrational ways of manufacturing numbers

Item: Irrational ways of manufacturing numbers
Rating: 4
Author: PostSingularity Institute

by Tadashi Tokieda

Formal & Physical Sciences Mathematics PBMathematics PBHNumber theory

🎙 Tadashi Tokieda 👥 3K 📅 March 23, 2026 ⏱ 49 min 👁 223 📄 science communication 🧭 2026-08-16

Available in: English (current) Français

Keywords

irrationaltranscendentalzero-knowledge prooforigamipower tower

Summary

Tadashi Tokieda presents a light-hearted yet mathematically rich exploration of irrational and transcendental numbers. He begins with the prime number theorem and the logarithmic integral, discussing Littlewood’s theorem that the difference between π(x) and li(x) changes sign infinitely often, and the enormous bounds for the first sign change. He then presents a classic proof that an irrational number raised to an irrational power can be rational, using the example of √2^√2, and connects this to the concept of zero-knowledge proofs, illustrating with a card trick and a geometric example involving a painting. He digresses to analyze the infinite power tower of √2, showing it converges to 2, and discusses the general convergence interval for x^x^x^… discovered by Euler. He then provides an origami-based proof of the irrationality of √2 and the golden ratio, and a general descent proof for √n. Finally, he revisits Cantor’s diagonal argument, offering a ‘KGB version’ as a more intuitive illustration.

155 words

Critical Evaluation

Value of the Information & Strength of the Argument

The talk is valuable for its clear exposition of several deep mathematical ideas, presented in an accessible and engaging manner. The argumentation is solid, with each proof carefully explained. The use of origami and visual examples enhances understanding. The connection between the irrational power proof and zero-knowledge proofs is insightful, showing the broader implications of a simple logical structure.

Scientific Rigor, Source Quality, Title Accuracy

The talk is scientifically rigorous, with all results correctly stated and proofs valid. The speaker does not cite specific sources, but the content is standard mathematics. The title accurately reflects the content, which focuses on various ways to construct and prove properties of irrational numbers. The talk is well-structured and the mathematical content is reliable.

129 words

Title / Content Match

The title accurately reflects the content, which explores various ways to construct and prove properties of irrational numbers.

Quality & Reliability

8/10

Talk by a renowned mathematician, presenting well-known results and proofs, with some original perspectives. The content is mathematically sound, though presented in an entertaining style.

Key Moments

Markers derived by PSI from the transcript: the creator did not define chapters.

Contribution & Novelties

The talk offers a fresh perspective on classical results by presenting them through origami and visual proofs, and by linking the logic of a classic proof to zero-knowledge proofs. It also provides a clear analysis of the convergence of power towers.

Pour aller plus loin :

Zero-knowledge proof — Background on the concept.
Littlewood’s theorem — Related to the sign change of π(x) - li(x).
Power tower — Mathematical background on infinite power towers.

74 words

Radar Profile

The radar profile shows high scores in information quality and technical level, with slightly lower scores in quantity and reliability, reflecting a focused but not exhaustive treatment of the topic.

Reliability 8/10