### Logicism, Formalism, and Intuitionism

The three main contemporary ways to understand the foundations of mathematics.

The three main contemporary ways to understand the foundations of mathematics.

Why engineers should know their algorithms

Computational neuroscience, broadly defined, is the mathematical and physical modeling of neural processes at a chosen scale, from molecular and cellular to systems, for the purpose of understanding how the brain represents and processes information. The ultimate objective is to provide an understanding of how an organism takes in sensory

This piece wouldn’t have been called ‘Who Says Nature is Mathematical?’ if it weren’t for the many other similar titles which I’ve seen. Take these examples: ‘Everything in the Universe Is Made of Math — Including You’, ‘What’s the Universe Made Of? Math, Says Scientist’ and ‘Mathematics

Sweety, let me see what you got inside.

The nature of symmetry and the symmetry of nature

What the philosophy of mathematics is useful for?
Max Black, the author of The Nature of Mathematics (1933), thought the main task of the foundation of mathematics (and, consequently the main task of any philosophy of mathematics) would be to elucidate “and analyze the notion of integer or natural number”

Understanding the sun-to-planets absolute distances was a long-run investigation proceeding with new scientific-tools and new laws. As a police case requires time and symmetry of action that concatenates all threads within one bracket, space exploration is alike.
At the time of Venus transit in 1761, scientists had all to kill

My most striking contribution to geometry is, no doubt, my problem on the number of distinct distances. This can be found in many of my papers on combinatorial and geometric problems.
-Paul Erdős, On Some of My Favorite Theorems, 1996.
Erdős is one of the greatest mathematicians from history, and

And how to repair physics

Was his philosophy of mathematics underrated?

Generalizing Leibniz' formula for π, the alternating harmonic series, and the Basel problem

This is the second part of my piece on Raymond Louis Wilder (1896–1982) and his philosophical, historical and anthropological account of mathematics. I suggest that the reader refer back to the introduction to my ‘Raymond L. Wilder’s Anthropology of Mathematics: Platonism and Applied Mathematics’for Wilder’s biographical

We discuss a range of integer factorization algorithms that can run on classical computers and explore their future in the face of Shor’s algorithm.