The second view [formalism] grew in strength as a reaction to the ”foundational cri-sis” at the turn of the twentieth century and is a more mechanical view of mathematics. It is the attitude that we present to students, especially when we ask how mathematics is to be certified correct.

You didn't say really what formalism is.

Formalism a a form of anti realism. Formalists do not regard mathematical. objects as existing mateeial.objects or as existing abstract objects. Formalism is of course *also* a positive claim about mathematical truth...that it is exploring the consequences of a particular formal game.,.and is therefore relative to a game. And it recommends mechanical procedures for checking and generating proofs, although how much that is possible is in doubt. So, for formalists there is no answer or meaning to foundational question like "are these the true axioms and rules of inference".

The first view [Platonism] is intentionally vague

It's defined as

"the view that mathematical objects (like numbers and sets) exist independently of human minds and language, and are real, abstract entities".

and centers mathematics within the broader domain of the sciences - mathematical objects are ”real”, and mathematicians study them in similar ways to how physicists might study electrons.

Platonism is a form of realism, but not a form of realism about ordinary material objects ... the definition makes that clear. Therefore ,itisnitiis not something that is very analogous to scientific realism. For Platonists , there is an ultimate truth, to the foundational questions, but there is no mechanical. procedure for converging on it...it comes down to intuition, and intuitions vary. Platonic realism, as a source of not just proof, but just truth , needs a way manifest in the procedures of mathematicians. Are their physical brains causally interacting with immaterial entities? If the de facto standard of truth is derivation from axioms, fomralism is good enough, and Platonism falls to occams razor.

But anyway...Platonism is realism and formalism is anti realism. So how can they be reconciled?

I propose that these views can be reconciled by understanding mathemat-ics as a cyclic process that moves between computation and theory-building.

This cycle proceeds as follows:

We perform computations - physical processes that generate observa-tions and constitute mathematical experiments.

Based on these observations, we build theories (definitions, axioms, rules) to explain what we’ve observed.

Within these theories, we make new computations that both test our theories and generate new observations.

These observations lead to theory refinement, beginning the cycle anew.

To run a computer programme is to run a formalization of a problem. Computation Is formal not Platonic, in the sense that there is no way for an immaterial Platonic entity to make the computer swerve from its physically determined course . The very idea is even less likely than that of Platonic entities influencing mathematicians brains. Remember, Platonism isn't the claim that maths is about physical entities.

Is it an experiment? Up to a point. On the one hand, you are looking at the result. On the other hand, you could, in principle have figured out that result , and are just using the computer as an extension to your brain...the result is apriori, and so.not genuinely empirical.