Schola Arcana is a school of one. Its student, its architect, and its only rule: study as if the next six months will decide the shape of the mind you carry for the rest of your life. Because they might.
Cathedrals were built by people who knew they might not live to see the spire. They worked anyway, to a standard no one was watching them keep. That is the standard here — beauty and rigor for their own sake, whether or not anyone ever grades it. Schola Arcana is a cathedral-structured self-study blueprint: six mathematical logic tracks, quantum computing, linear algebra, theory of computation, physics, and a humanities track running beneath them all like a crypt full of candles.
Most study plans are evergreen and therefore never begin. This one has edges. It starts on July 1 and ends in December 2026, framed by two application windows that give it consequence: most programs close in November 2026, and Amsterdam's Quantum Computing Science master's closes on January 15. A deadline is not pressure. It is a promise made to a future version of yourself — the one who opens the application and finds the work already done.
The core is rigor: from the completeness theorem to cut elimination, from Kripke semantics to Curry–Howard. But rigor without resonance is brittle, so poetry teaches compression, literature teaches attention, and philosophy asks what the theorems are even for. The goal is one coherent thinker: the poet-mathematician.
A cathedral is not built on inspiration. It is built on protocol — the same four disciplines, every week, for twenty-six weeks.
Reading a proof is not knowing it. A theorem enters the vault only under these terms:
Every day, a passage worth keeping is transcribed — a stanza, a paragraph of philosophy, a sentence that could not have been written any other way. Copying is slow on purpose; the hand teaches what the eye skims.
The programs this semester is built toward — the doors the cathedral opens onto.
Primary target · QuSoft corridor — the entire quantum track is engineered for this application.
The dream · the world capital of logic — all six logic tracks point at this door.
Mathematics & Foundations of CS · where proof theory and computation meet at full depth.
Mathematical Tripos · the proving ground — a year of pure mathematical altitude.
Computer Science / Mathematics · engineering rigor at scale, theory that ships.
European & UK master's · the portfolio travels — thirty proofs speak every admissions language.
Ana Paola Oviedo Salgado — poet-mathematician. She writes proofs the way she writes poems: nothing wasted, every line load-bearing. She built Schola Arcana because no existing program would hold both halves of her at once — the one that needs the compactness theorem stated exactly, and the one that needs to know why it feels like grief that first-order logic cannot pin down the size of infinity.
This site is her floor plan. It exists so that on the hard days — and there will be hard days — the reason is never more than one click away.
"Prove it closed-book or you do not own it. Finish the artifact or the week is not over. Build to a standard no one is watching you keep — because the cathedral is the mind, and you live in what you build."— The Schola Arcana Manifesto
Built for Ana Paola Oviedo Salgado — and by her.
Pink, but lethal. 💗