Archy Will He
About
Questions
Stuff

Last updated on 16th Nov 3:36am, GMT+8

I do maths for the qualia they bring forth.


pdf on arxiv A weak reduction of the Erdös-Szekeres conjecture into a constraint unsatisfiability problem regarding certain multisets (2015)

pdf on arxiv A double-inductive proof of Moessner’s theorem (2016)

A new proof for Moessner’s Theorem in Coq using Pascal’s Triangle (2022)



The following is a list of books and papers that have impacted my life profusely. I hope one day I too will have the knowledge and insights to produce work that would inspire and impact people.


The Grand Design (2010) - Stephen Hawking and Leonard Mlodinow

This was the book that gave me the courage to drop out of school at 16. The realization that no one truly undestands how the fabric of our reality works is awe-inspiring. In the face of reality and its strangeness and eerily mathematical elegance, dropping out of school becomes a trivial decision one has to make to regain the autonomy of their adolescent life.


On formally undecidable propositions of Principia Mathematica and related systems I (1962) - Kurt Gödel


Tao Te Ching (400BC) - Lao Tzu


Self-Reliance (1841) by Ralph Waldo Emerson


A combinatorial problem in geometry (1935) by Paul Erdös and George Szekeres


Do Androids Dream of Electric Sheep? (1968) - Philip K. Dick


Axiomatic Set Theory (1972) by Patrick Suppes


Mathematical Logic (1961) by Stephen Cole Kleene


Zero to One (2014) - Peter Thiel


I-Ching (900BC) - ?


Computational Complexity: A Modern Approach (2007) - Boaz Barak and Sanjeev Arora


DMT: The Spirit Molecule: A Doctor’s Revolutionary Research into the Biology of Near-Death and Mystical Experiences (2000) - Rick Strassman


Learn You a Haskell for Great Good! (2011) - Miran Lipovaca


Fear and Loathing in Las Vegas (1971) - Hunter S. Thompson


The Tao of Programming (1987) - Geoffrey James


The Diamond Sutra (420) - ? and Kumārajīva


Set Theory and the Continuum Hypothesis (1966) by Paul Cohen


P ?= NP (2011) - Scott Aaronson


On Language: Chomsky’s Classic Works: Language and Responsibility and Reflections on Language (2014) - Noam Chomsky and Mitsou Ronat


Interality as a Key to Deciphering Guiguzi: A Challenge to Critics (2016) - Hui Wu & C. Jan Swearingen


The Mind Illuminated : A Complete Meditation Guide Integrating Buddhist Wisdom and Brain Science for Greater Mindfulness (2015) - John Yates


The Difference Engine: Charles Babbage and the Quest to Build the First Computer (2002) - Doron Swade


Proofs from THE BOOK (1998) - Martin Aigner and Günter M. Ziegler


Genius: The Life and Science of Richard Feynman (1992) - James Gleick


An Analytical Approach to Programs as Data Objects (2006) - Olivier Danvy


Zhuangzi (300BC) - Zhuang Zhou


Theories of Programming Languages (1998) - John C. Reynolds


The Shadow of the Wind (2001) - Carlos Ruiz Zafón


A Mathematician’s Lament (2009) - Paul Lockhart


On Intelligence (2004) - Jeff Hawkins & Sandra Blakeslee


Aurora (2015) - Kim Stanley Robinson


Nexus (2012) — Ramez Naam


Homotopy Type Theory: Univalent Foundations of Mathematics (2013) - The Univalent Foundations Program


Sutra of Forty-two Chapters (67) - ? and Kāśyapa Mātaṇga and Dharmaratna