Independent researcher · Oregon Coast

Most complex systems
hide a shorter
description.

I'm Ken Mendoza. I look for that shorter description in mathematics, dynamical systems, materials, and the messier parts of the living world.

Artifact-backed notes, Lean 4 formalization work, and honest accounting of what's proven, what's computed, and what's still a hunch. If you got here from an essay, start anywhere below.

Explore the work → Start reading
1,190
Erdős problems mapped
6
Research lanes, one method
3
Issued U.S. patents, co-inventor
Ken Mendoza
Kenneth A. Mendoza
Independent research · founder, Mendoza Laboratory
The work
The work, mapped

Six lanes, one method.

The research doesn't jump between unrelated fields: it points one idea at different worlds. Hover to see how the lanes connect; click any node to see what it is, where it stands, and which site holds the evidence.

click a node · hover to trace connections
Reading

Leaf through the writing.

Essays, papers, and notes in one place. Use the arrows (or ←/→) to leaf through the latest, or filter the full shelf below.

The book

Power should expire by default.

Narrative nonfiction
kenmendoza.com/book
Kenneth A. Mendoza

The Republic in the Machine: Why AI Agents Need a Last Day in Office

Delegated power, human or machine, needs three things: an ending by default, an account that outlives the holder, and someone who can make the limit hold. The Roman Republic is the comparative case; the modern cases are documented incidents and the author's own agent records, failures included. Twenty-two chapters in four parts, with a prologue and the questions to ask before the next grant of authority.

Complete working draft under author review; proposal and sample chapters available to literary agents on request.

Where things live

One person, three doors.

The same work wears three different hats. Here's what each property is for, so you land on the right one.

You are here
kenmendoza.com
The person

Who I am & how I think

The narrative, the essays, the through-line idea, and a map of the work. Built for a curious reader: no login, no jargon wall.

mendozalab.io
The lab

The evidence surface

Lab-grade artifacts and the rigorous claims: formal-conjectures contributions with their stated proof scope, the Erdős Atlas workbench, manuscripts, provenance and claim ceilings.

  • Formal-math contributions
  • Erdős Atlas workbench
  • Manuscripts & datasets
epistemologically.com
The product

Tools, productized

Where the method becomes software: ontology-driven, provenance-first research engines for literature analysis. The commercial end of the work.

  • Research engines & early access
  • Oregon Coast AI LLC
  • For partners & users

Open to adversarial review.

Collaboration, preprint requests, Lean proof artifacts, or just a sharp objection to a claim on this site: all welcome. Falsified hypotheses are reported openly here; help me break the rest.

Email [email protected] LinkedIn Bluesky