Контент патне куҫ

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

«Википеди» ирĕклĕ энциклопединчи материал
Ку терминăн урăх пĕлтерĕшсем пур, Формализм (пĕлтерĕшсем) пăхăр.

Формализм — математика философийĕ тĕлĕшĕнчи курăмсенчен пĕри, математика никĕслевĕн проблемине формаллĕ тытăмсене пăхса тухни еннелле катертни. Логицизм тата интуиционизм тенисемпе пĕрле 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.