Формализм (математика)

Ку терминăн урăх пĕлтерĕшсем пур, Формализм (пĕлтерĕшсем) пăхăр.

Формализм — математика философийĕ тĕлĕшĕнчи курăмсенчен пĕри, математика никĕслевĕн проблемине формаллĕ тытăмсене пăхса тухни еннелле катертни. Логицизм тата интуиционизм тенисемпе пĕрле XX ĕмĕрте математика философийĕн фундаментализм енĕ шутланнă.

Вуламалли тӳрлет

Weir, Alan (2015), "Formalism in the Philosophy of Mathematics", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Spring 2015 ed.), Metaphysics Research Lab, Stanford University, retrieved 2019-05-25
Simons, Peter (2009). "Formalism". Philosophy of Mathematics. Elsevier. p. 292. ISBN 9780080930589.
Simons, Peter (2009). Philosophy of Mathematics. Elsevier. p. 293. ISBN 9780080930589.
David Hilbert/Paul Bernays: Grundlagen der Mathematik, I-II, Berlin/Heidelberg/New York 1968/1970
Rosemarie Rheinwald: Der Formalismus und seine Grenzen. Untersuchungen zur neueren Philosophie der Mathematik, Hain, Königstein/Ts. 1984

Давид Гильберт

Frege, Gottlob (1903). The Foundations of Arithmetic: A Logico-Mathematical Enquiry Into the Concept of Number. Chicago: Northwestern University Press. p. 183.
Dummett, Michael (1991). Frege: Philosophy of Mathematics. Cambridge: Harvard University Press. p. 252. ISBN 9780674319356.
Dummett, Michael (1991). Frege: Philosophy of Mathematics. Cambridge: Harvard University Press. p. 253. ISBN 9780674319356.
Frege, Gottlob; Ebert, Philip A.; Cook, Roy T. (1893). Basic Laws of Arithmetic: Derived using concept-script. Oxford: Oxford University Press (published 2013). pp. § 93. ISBN 9780199281749.