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
25+
Years in computational science
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.

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.

  • Essays & the book
  • Plain-language research map
  • Bio, contact, collaboration
mendozalab.io
The lab

The evidence surface

Lab-grade artifacts and the rigorous claims: compiled Lean proofs, 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