Формализм (математика)
Курӑнакан калӑплав
Ку терминăн урăх пĕлтерĕшсем пур, Формализм (пĕлтерĕшсем) пăхăр.
Формализм — математика философийĕ тĕлĕшĕнчи курăмсенчен пĕри, математика никĕслевĕн проблемине формаллĕ тытăмсене пăхса тухни еннелле катертни. Логицизм тата интуиционизм тенисемпе пĕрле 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.
Каçăсем
[тӳрлет | кодне тӳрлет]- Formalism in the Philosophy of Mathematics in der Stanford Encyclopedia of Philosophy (englisch; inklusive Literaturangaben.)
- Философи