On Nature of Computing
The nature of mathematics is a well explored and talked about question (1) while being a profoundly deep one. On the pathway to answer it, we have created entire sub-branches of fields and areas of study.
As intriguing and fascinating as this question is, I find myself leaning in towards a particular sub-branch, which is the pragmatic realization of mathematics in our physical world: computer science, and how this recent branch of mathematics might help us speculate an answer for the ancient question.
My approach in discussing this topic in the essay is to simply draw parallels to ideas I have encountered in two papers: On proof and progress in mathematics and TheAge of stochasticity. These papers are, coincidently, both written in the previous century (1994 and 1999 respectively), and it really shows the deep insights of the authors in predicting the nature of modern technology, through speaking about the nature of mathematics.
We shall start things off with the first paper, written by the fields medalist mathematician, William Thurston. In this non-technical paper, Thurston talks about his personal experience in learning, contributing and teaching mathematics. He expresses the the idea that the goal of mathematical proofs, and the very reason people study them, is to understand them. The communication of mathematical ideas must be focused upon, where although obscure formulae and derivations are important, the transfer of ideas is more crucial still. Thurston's point that the reason we humans do not want the answers and proofs to certain questions, but want to understand them, is universal, and brings us to my first parallel: programming as a means of communicating ideas.
Now anyone who knows programming would find the above statement confusing, and some might even claim it to be completely false, since, the very act of programming involves communicating with a computer, with almost always no other human in-between. This is true, but not just for computer science, but for any field out there. The literal act of studying a particular subject is different then what W. Thurston is talking about: the purpose is to explore the very nature of mathematics/computers, and collaborative research is the only way to move forward. We need to communicate ideas to other people in order to build something new and expand the very boundaries of a field. Programming as a medium of communication with fellow developers is an idea seldom talked about explicitly, but is very well known by experienced programmers implicitly. Collective effort has given us the gift of modern mathematics and modern computer science .
The second paper is a rather interesting one. D. Mumford talks about the underlying thought process of mathematics and challenges the assumptions and the way we have approached them for the past two millennia. Logic and formalism have dominated not only mathematics, but also our own thought processes, and was viewed as a dominant approach to accurately approximate and model the reality around us. Rigour being ingrained in how we approach mathematics can be traced back to Euclid's postulates, and building up from there, to eventual reconsiderations and reformations. However, logic and mathematics still seemed to be intertwined until the end of the previous century, when alternative ideas and ways of thinking won over the mathematical community, including people like our author, D. Mumford.
So what is the alternative ? The above excerpt might be a bit misleading, and make it seem that the alternative idea is some poorly explored, extremely niche topic. On the contrary, it is a well known and one of the most prominent fields of study today: Probability and Statistics. More precisely, it's the probabilistic view of our mathematical structures and models that out-performed classical methods in practical use cases and applications that led us to finally challenge the dogma that logical reasoning, with precise formulae and riguor would help us model reality better, when it was a probabilistic view of the world that succeeded. While the evidence can be found in the triumph of probability and statistics in almost every field, we shall explore narrow our focus on one particular field: computer science.
The computational model, famously proposed first by Alan Turing, and which came to be known as a Turing Machine, initially relies heavily on logic. Even the real-life implementation of actual computers chips relies solely on what we call logic gates. These formal models of computing, paired with the real-life implications of systems build upon them point to a clear winner, logic: formal, precise and deterministic.
A more probabilistic model of computing is recent, and quite heavily researched today: Quantum Computing. The point of speculation, that Quantum Computers can better simulate real life particle interactions then classical computers, due to the fundamental reality of our world being quantum is a good indicator of a very basic fact about the nature of mathematics, one emphasized by Mumford in the above paper: to better model reality, a probabilistic view of the world is a necessity (2)
The above papers, in their exploration of the very nature and purpose of mathematics, helped us shed some light on the nature and purpose of computing. Computing or programming as a medium of communication and it's underlying nature being probabilistic are two schools of thought that emerged since the dawn of computers, benefiting from the two millennia of mathematical research in a few decades, and quickly dominated the research and corporate communities.
1: Is God is a mathematician ?
2: Another good example is our current leading theory (and implementation) of intelligence: large language models. These model's underlying assumption of the nature of intelligence is that it's probabilistic, and which has clearly outperformed any other method of achieving "Artificial Intelligence" upto this point.