Are mathematics and science algorithmic?

Continuing What is the relationship between algorithms and logic? my second question is Can we write all the definitions in iff statements and theorems in if-then statements. I mean algorithms have just two entities if-then and loops which will imply all mathematics/science algorithmic?

We can see: Michal Forišek & Monika Steinová, Explaining Algorithms Using Metaphors (2013, Springer) for an interesting point of view.

The procedural nature of algorithms used to compute results/solve problems still needs explanation and understanding, that are full human processes.

An example (p.59):

The stack and the queue belong among the most basic data structures. [...] The difficulty of implementing a queue comes, in part, from the fact that the students who are learning about queues do not possess a firm grasp on complexity theory yet [...] However, the other thing to blame for this problem is inappropriate metaphors used when explaining a queue. These metaphors are what then leads the students to design a bad queue data structure.

Yes and no. What you are talking about, is how computers work. Bool algebra is the foundational framework upon which operations are performed. All data is "converted" in 0's and 1's (bits) and operations are executed upon these bits with specialized hardware (logic gates). All mathematical problems can be solved in this way, but ... some are solved only as approximations, although infinitely precise, still approximations. But, mathematics/Science is NOT algorithmic in nature, since you need higher level knowledge in order to formulate definitions and concepts into a meaningfull representation of reality. Only the solving of these problems can be deducted into algorithmic operations which can be deducted into if-then and loops ...

Mathematics and science (largely through the indispensability of mathematical logic in science) are partially algorithmic, yes. Math was called the queen of the sciences by Gauss and the mathematization of science, which began in earnest with Galileo, has evolved to the point that some physicists have been accused by physicist and YouTuber Sabine Hossenfelder of being pseudoscientists by not having enough empirical evidence in their work. (She attacks string theory here. (YT)) Thus math and science does do a lot of algorithmic calculation.

However, applied mathematics and mathematical science are exercises in research design and mathematical modeling and this is a creative act that requires interpretation. One has to select from the natural language ontology of what is to be modeled in the applied ontology, build a prototype of the model, one has to fit and optimize the model, then one has to test the model, and repeat until the model matches what is being modeled. This is highly non-algorithmic in practice, and is instead what we call in computer science heuristic.

See A First Course in Mathematical Modeling by Giordano and Weir. (GB)