Philosophy of Mathematics - 2
Article Index
Philosophy of Mathematics
2
All Pages

 

Formalism

This program is attributed to the works of David Hilbert. According to Hilbert, the natural numbers can be thought of as symbols, and not as mental constructions, as opposed to the theory of the Intuitionists. These symbols are basic entities. And as far as higher mathematics is concerned; its statements are the strings of symbols, which have not been interpreted as yet.

Predicativism

Ordinarily, predicativism would not be considered as one of the primitive schools. This program is attributed to the works of Russell.

Now let us focus our attention towards the other contemporary schools of thought that have emerged in recent times.

Mathematical Realism

This program holds that mathematics is not invented by the humans, it is only discovered. For example, shapes like circles and triangles exist in the nature as real entities.

Empiricism

It is a form of realism. According to empiricism, mathematics can not be believed to be knowledge without experiencing (priory).

Mathematical facts can be discovered by empirical research. All the knowledge that is acquired is due to the observation that we make through our senses.

Formalism

The followers of this program are of the belief that mathematical statements can be viewed as the consequences of a number of manipulation rules applied upon the strings of numbers. There is another version to formalism: deductivism.

There have been many cases of mathematicians been intrigued and drawn to this subject of mathematical philosophy because of the sheer sense of beauty that they perceive in it.

One can only reach to a fundamental philosophical question, which has begun to obtain the consideration that it is worthy of: what is mathematical understanding?

Need maths tutoring? Find maths tutors in the UK Mathematics tutors at Local Tutor.

Article Source: http://EzineArticles.com/?expert=Richard_Manning


Article Source: http://EzineArticles.com/1475669


 
eXTReMe Tracker
статистика