×

zbMATH — the first resource for mathematics

Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti. (Italian) Zbl 0114.14902

Keywords:
mechanics
PDF BibTeX XML Cite
Full Text: Numdam EuDML
References:
[1] 1 Adams E.W. - The foundations of rigid body Mechanics and the derivation of its laws from those of particte Mechanics. Proceedings of an International Symposium on the Axiomatic Method held at Berkeley, 1957-1958 . North Holland Publishing Company . Amsterdam 1959 , pg. 250 . MR 109452 | Zbl 0087.17202 · Zbl 0087.17202
[2] 2 Bressan A. - Incompatibilità dei teoremi di esistenza e di unicità del moto per un tipo molto comune e regolare di sistemi meccanici . Annali della Scuola Normale Superiore di Pisa . Serie III vol. XIV . Fasc. Iv , 1960 . Numdam | MR 133950 | Zbl 0096.38204 · Zbl 0096.38204
[3] 3 Burks A.W. - The logic of Causal Propositions . Mind , Vol. 60 , N. 9 , No 239 , giugno 1951 , pg. 363 . MR 45675 | Zbl 0044.25104 · Zbl 0044.25104
[4] 4 Cattaneo C. - Sulla sufficienza del principio dei lavori virtuali att’equitibrio di un generico sistema materiale . Rendiconti di Matematica dell’Univ. di Roma . Serie V , Vol. XIV , fasc. 1 - 2 , Luglio-Dicembre 1954 , pg. 209 . MR 72581 | Zbl 0057.15901 · Zbl 0057.15901
[5] 5 Carnap R. - Introduction to Symbotic Logic and its Applications . Dover publications, Inc. 1958 , New York 14 , N. Y. MR 103814 | Zbl 0083.00104 · Zbl 0083.00104
[6] 6 Carnap R. - Meaning and Necessity . The Univ. of Chicago Press . Illinois U.S.A. Zbl 0034.00106 · Zbl 0034.00106
[7] 7 Hamel G. - Theoretische Mechanik . Springer-Verlag . Berlin Göttingen / Heidelberg , 1949 . MR 516809 | Zbl 0036.24301 · Zbl 0036.24301
[8] 8 Hermes H. - Eine Axiomatisierung der Allgemeinen Mechanik . Forschungen zur Logik und zur Grundlegung der exakten Wissenshaften . Vol. 3 (Heft 3), Verlag von Hirzel in Leipzig , 1938 . Zbl 0019.09804 | JFM 64.0032.02 · Zbl 0019.09804
[9] 9 Hermes H. - Zur Axiomatisierung der Mechanik . Vedi i Proceedings... in cui trovasi [1], pg. 212. Zbl 0087.38803 · Zbl 0087.38803
[10] 10 Hutten E.H. - The language of modern Physics. London: George Allen & Unwin LT D New York : The MacMillan Co. 1956 .
[11] 11 Kleene S.C. - Introduction to metamathematics . North-Holland , Amsterdam , 1952 . Zbl 0047.00703 · Zbl 0047.00703
[12] 12 Levi Civita T. - Lezioni di Meccanica .Razionate . Vol. I , Editore Zanichelli , Bologna . · JFM 49.0565.11
[13] 13 Lewis C.I. e Langford C.H. - Symbolic Logic 1932 . Ristampa . New York , 1951 . JFM 58.0056.01 · JFM 58.0056.01
[14] 14 Mckinsey J.C.C. , Sugar A.C. & Suppes P. - Axiomatic Foundations of classical particle Mechanics . Journal of Rational Mechanies and Analysis ; Vol. 2 , N. 2 , aprile 1953 . MR 55071 | Zbl 0050.18201 · Zbl 0050.18201
[15] 15 Noll W. - A mathematical theory of the mechanical behavior of continuous media . Archive for rational Mechanics and Analysis . Vol. 2 , n. 3 , 1958 pg. 197 - 226 . MR 105862 | Zbl 0083.39303 · Zbl 0083.39303
[16] 16 Noll W. - The foundations of classical Mechanics in the Light of recent advances in continuum Mechanics . Vedi i Proceedings... contenenti [1], pg. 266 . MR 108036 | Zbl 0087.39401 · Zbl 0087.39401
[17] 17 Painlevé P. - Les axiomes de la Méchanique . Paris Gauthier-Villars Editeurs, 1922 . Zbl 0065.39301 · Zbl 0065.39301
[18] 18 Painlevé P. - Cours de Mécanique . Paris , Gauthier-Villars 1930 . JFM 56.1211.02 · JFM 56.1211.02
[19] 19 Rosser J.B. - Review of H. Hermes . Journal of Symbolic Logic . 3 , ( 1938 ). Pg. 119 - 120 .
[20] 20 Rosser J.B. - Logic for mathematicians . McGraw-Hill book co. Inc. 1953 . MR 54531 | Zbl 0068.00707 · Zbl 0068.00707
[21] 21 Sansone G. - Equazioni differenziali nel campo reale . Zanichelli , Bologna 1949 . MR 30663 | JFM 67.0306.01 · JFM 67.0306.01
[22] 22 Sbrana F. - Sul teorema di unicità per le equazioni differenziali della Meccanica . Bollettino della Unione mat. Ital. marzo 1953 , pg. 123 . Article | MR 56393 | Zbl 0051.40802 · Zbl 0051.40802
[23] 23 Signorini A. - Meccanica Razionale . Vol. II , cap. X, pg. 1 . Perella , Roma 1954 (seconda edizione). · JFM 66.0984.02
[24] 24 Signorini A. - Lezioni di Fisica Matematica . Roma 1952 - 1953 .
[25] 25 Vitali G. e Sansone G. - Moderna teoria delle funzioni di variabile reale . Bologna 1951 . JFM 62.0189.01 · JFM 62.0189.01
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.