Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.27314

Michael Rabin's fingerprints across the theory of computation

Avi Wigderson
View original source ↗Read source document ↗Export metadata ↓

Abstract

Michael O. Rabin was a major founder and leader of theoretical computer science. He died on April 14, 2026, at the age of 94. This paper aims to survey the wide scope and lasting impact of his research.

Explore related subjects

math.HOcs.GL

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Avi Wigderson. 2026-10-19. Michael Rabin's fingerprints across the theory of computation. https://arxiv.org/abs/2610.27314

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Will AI kill us all---or just make mathematicians obsolete?

AI's recent advances have fueled predictions of human intellectual obsolescence and fears for the future of mathematics. I argue that, impressive as these achievements are, they do not establish AI's capacity to invent new concepts and theories or sustain autonomous recursive self-improvement. Human intelligence also involves judgment, imagination, and embodied experience that standard measures fail to capture. Mathematics extends beyond proving theorems: its creative core lies in conceptual discovery and understanding. AI can strengthen this enterprise, but realizing its promise requires protecting attribution, open exchange, confidentiality, and mathematical training. I propose an academic AI consortium to provide powerful research tools with enforceable guarantees safeguarding unpublished ideas.

math.HO↗
arXiv2026

A Vector-Algebraic Reconstruction of the Medieval Arab Formula for the Shadow of a Gnomon

We present a modern reconstruction of the classical formula, first derived by medieval Arab astronomers, that describes the trajectory of the tip of a gnomon's shadow during the day as a function of latitude, solar declination, and gnomon height. Unlike the traditional derivations based on spherical trigonometry, our approach uses only elementary vector algebra and rotation matrices. The same vector framework naturally extends to other classical relations used in sundial construction.

math.HO↗
arXiv2026

The Wandering Must Continue: Pure Mathematicians as Rangers of the North

Pure mathematics is an honest barometer of a civilization's scientific capacity, maintaining an unwritten culture of rigor, intellectual honesty, and precision whose primary service is not merely theorems, but human judgment. In an era of automated theorem generation and formal verification, this essay argues that establishing a result and understanding why it holds remain distinct achievements that require deliberate institutional protection.

math.HO↗