Fourier's analytical theory of heat (final form, 1822), devised in the Galileo-Newton tradition of controlled observation plus mathematics, is the ultimate source of much modern work in the theory of functions of a real variable and in the critical examination of the foundation of mathematics.
An article by Henri Poincaré entitled The Nature of Matematical Reasoning... appeared in 1894 as the first of a series of investigations into the foundations of the exact sciences. It was a signal for a throng of other mathematicians to inaugurate a movement for the revision of the classical concepts, a movement which culminated in the nearly complete absorption of logic into the body of mathematics.
I hope I may claim in the present work to have made it probable that the laws of arithmetic are analytic judgments and consequently a priori. Arithmetic thus becomes simply a development of logic, and every proposition of arithmetic a law of logic, albeit a derivative one. To apply arithmetic in the physical sciences is to bring logic to bear on observed facts; calculation becomes deduction.
Your discovery of the contradiction caused me the greatest surprise and, I would almost say, consternation, since it has shaken the basis on which I intended to build arithmetic.
For the mathematician the important consideration is that the foundations of mathematics and a great portion of its content are Greek. The Greeks laid down the first principles, invented the methods ab initio, and fixed the terminology. Mathematics in short is a Greek science, whatever new developments modern analysis has brought or may bring.
Hardy... in vain, tried to convince him to learn classical foundations of mathematics and, in particular, the rigorous expositive method of mathematical demonstrations. Every time Hardy introduced a problem, Ramanujan considered it ex novo [new] applying unconventional reasoning which was sometimes incomprehensible to his fellow colleagues.
Much has been written on the history of calculus... However, historians tend to harp on the question of logical justification and to spend a disproportionate amount of time on the way it was handled in the nineteenth century. This not only obscures the boldness and vigor of early calculus, but it is overly dogmatic about the way in which calculus should be justified. ...the sheer diversity of foundations for calculus suggests that we have not yet got to the bottom of it.
In conversations, some quite recent, on the present status of the foundations of mathematics, von Neumann seemed to imply that in his view, the story is far from having been told. Gödel's discovery should lead to a new approach to the understanding of the role of formalism in mathematics, rather than be considered as closing the subject.
From this proposition it will follow, when arithmetical addition has been defined, that 1+12.
Mathematics is a most conservative science. Its system is so rigid and all the details of geometrical demonstration are so complete, that the science was commonly regarded as a model of perfection. Thus the philosophy of mathematics remained undeveloped almost two thousand years.
The problem of the philosophical foundation of mathematics is closely connected with the topics of Kant's Critique of Pure Reason. It is the old quarrel between Empiricism and Transcendentalism. Hence our method of dealing with it will naturally be philosophical, not typically mathematical.
The data of mathematics are not without their premises; they are not, as the Germans say, voraussetzungslos; and though mathematics is built up from nothing; the mathematician does not start with nothing. He uses mental implements, and it is they that give character to his science.
At the bottom of the difficulty there lurks the old problem of apriority, proposed by Kant and decided by him in a way which promised to give to mathematics a solid foundation in the realm of transcendental thought. And yet the transcendental method finally sent geometry away from home in search of a new domicile in the wide domain of empiricism.