Skip to main content
Log in

Logical foundations of applied mathematics

  • Published:
Synthese Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Bibliography

  • Abel, R., ‘Language and the Electrone’,Akten des XIV International Kongresses für Philosophie 3, Wien 1969, pp. 351–356.

    Google Scholar 

  • Arbib, M. A.,Brains, Machines, and Mathematics, McGraw Hill, New York, 1964.

    Google Scholar 

  • Blekhman, I. I., Myshkis, A. D., and Panovko, Ya. G., ‘Pravdopodobnost' is dokazatel'nost' v prikladnoi matematike’ (Plausability and Demonstrativeness in Applied Mathematics),Mekhanika tverdogo tela 2 (1967), 197.

    Google Scholar 

  • Bourbaki, N.,L'Architecture des Mathématiques, Les grand courants de la pensée mathémátique (Cahiers du Sud), 1948, pp. 35–47.

  • Bourbaki, N.,Les structures fondamentales de l'analyse, Livre II, Algèbre, Hermann & Cie, Editeurs, Paris, 1958.

    Google Scholar 

  • Bourbaki, N.,ibid., Livre III, Topologie générale, Hermann & Cie, Editeurs, Paris, 1953.

    Google Scholar 

  • Bourbaki, N.,Eléments d'histoire des mathematique, Hermann & Cie Editeurs, Paris, 1960, 276 p.

    Google Scholar 

  • Box, G. E. P. and Jenkins, G. M.,Time Series Analysis, Forecasting and Control, Holand, San Franciso, 1970.

    Google Scholar 

  • Gellner, E.,Words and Things, Victor Collancz Ltd., London, 1959.

    Google Scholar 

  • Ginsburg, S.,The Mathematical Theory of Context-Free Languages, New York, 1966.

  • Heyting, A.,Intuitionism, An Introduction, North Holland Publishing Company, Amsterdam, 1956.

    Google Scholar 

  • Hutten, E. H.,The Language of Modern Physics, An Introduction to the Philosophy of Science, The Blackfriars Press, Ltd., Leicester, 1956.

    Google Scholar 

  • Ivanov, V. K., ‘O nekorrektno postavlennykh zadachakh’ (On Incorrectly Formulated Problems)Matematicheskii sbornik, novaya seriya, AN S.S.S.R. 61 (1963), 241.

    Google Scholar 

  • John, F., ‘Numerical Solution of the Equation of Heat Condition for Preceding Times’,Annali Matematica Pura ed Applicata 15 (1955), ser. 4, 17.

    Google Scholar 

  • Kendall, M. G., ‘Statistical Inference in Light of the Theory of the Electronic Computer’,Review of the International Statistical Institute 34 (1966), 4.

    Google Scholar 

  • Kleene, S. C.,Introduction to Metamathematics, D. Van Nostrand Co., New York and Toronto, 1952.

    Google Scholar 

  • Klein, F.,Elementary Mathematics from an Advanced Standpoint. Arithmetic, Algebra, Analysis. New York 1945.

  • Kolmogorov, A. B., ‘Teoriya veroyatnostei’ (Probability Theory) Ch. XI in the collective monographMatematika, eyo soderzhanie, metody i znachenie (Mathematics: Its Contents, Methods and Significance), v. II, AN S.S.S.R., 1956.

  • Legostayeva, I. L. and Shiryayev, A. N., ‘Minimaxnye vesa v zadache vydeleniya trenda sluchainogo protsessa’ (Minimax Weights in the Problems of Finding the Trend of the Stochastic Process),Theoriya veroyatnostei i eyo prilozheniya, 1971, 2.

  • Meshalkin, L. D. and Nguen Din Hien, ‘Stravnenie dvukh metodov optimizatsii’ (Comparison of Two Methods of Optimization),Industrial Laboratory 32 (1966), 64.

    Google Scholar 

  • Nagel, E., and Newman, J. R.,Gödel's Proof, New York University Press, New York, 1960, 118 p.

    Google Scholar 

  • Nalimov, V. V., ‘Esche raz a sravnenii sluchainogo poiska s metodom gradienta v simpleks — planirovanii’ (One More Time on Comparing Random Search with a Gradient Method in Simplex-Designing),Industrial Laboratory 32 (1966), 854.

    Google Scholar 

  • Nalimov, V. V., ‘Teoriya eksperimenta’ (Theory of Experiment), Nauka, 1971.

  • Nalimov, V. V. and Golikova, T. I.,Logical Foundations of Experimental Design, Metron, 1971 (in press).

  • Nalimov, V. V., Golikova, T. I., and Mikeshina, N. G., ‘On Practical Use of the Concept of D-optimality’,Technometrics 12 (1970) 799.

    Google Scholar 

  • Nalimov, V. V. and Mul'chenko, Z. M., ‘Naukometria’ (Science-metrics), Nauka, 1969.

  • Nalimov, V. V. and Mul'chenko, Z. M., ‘K voprosu o logico-linguisticheskom analize yazyka nauki’ (On Logico-linguistic Analysis of the Language of Science) InProblemy strukturnoi lingvistiki, 1971, Nauka, 1972, 534–554.

  • O prepodavanii matematicheskoi statistiki eksperimentatoram (On Teaching Mathematical Statistics to Researchers), Preprint MGU, 17. 1971.

  • Popper, K. R.,The Logic of Scientific Discovery, Hutchison, London, 1965.

    Google Scholar 

  • Quastler, H.,The Emergence of Biological Organization, L., 1964.

  • Rastrigin, L. A., ‘O kriteriyakh sopostavleniya metodov poiska ekstremuma’ (On the Criteria of Comparing Methods of Searching Extremum),Industrial Laboratory 32 (1966), 1248.

    Google Scholar 

  • Russell, B.,Human Knowledge, Its Scope and Limits, L. Allen & Unwin, 1956.

  • Russell, B., and Whitehead, A. N.,Principia Mathematica, 3 volumes, Cambridge, 1910–1913.

  • Scheglov, V. N., ‘Poluchenie bulevoi modeli slozhnogo tekhnologicheskogo protsessa po tekushei informatsii’ (Obtaining a Boolean Model on Current Information of a Complicated Technological Process),Industrial Laboratory 38 (1972), 56.

    Google Scholar 

  • Vavilov, S. I.,Glaz i solntse (The Eye the Sun) — Iz datel'styo AN S.S.S.R., 1956.

  • Weyl, H.,Philosophie der Mathematik und Naturwissenschaft, Oldenbourg, München-Berlin, 1927, 162 S.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Nalimov, V.V. Logical foundations of applied mathematics. Synthese 27, 211–250 (1974). https://doi.org/10.1007/BF00660897

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00660897

Keywords

Navigation