Fourteen Arguments in Favour of a Formalist Philosophy of Real Mathematics

Baltic Journal of Modern Computing 3 (1):1-15 (2015)
  Copy   BIBTEX

Abstract

The formalist philosophy of mathematics (in its purest, most extreme version) is widely regarded as a “discredited position”. This pure and extreme version of formalism is called by some authors “game formalism”, because it is alleged to represent mathematics as a meaningless game with strings of symbols. Nevertheless, I would like to draw attention to some arguments in favour of game formalism as an appropriate philosophy of real mathematics. For the most part, these arguments have not yet been used or were neglected in past discussions.

Author's Profile

Karlis Podnieks
University of Latvia

Analytics

Added to PP
2015-08-25

Downloads
373 (#41,255)

6 months
55 (#67,202)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?