Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti
Bressan, Aldo
Rendiconti del Seminario Matematico della Università di Padova, Tome 32 (1962), p. 55-213 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@article{RSMUP_1962__32__55_0,
     author = {Bressan, Aldo},
     title = {Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     volume = {32},
     year = {1962},
     pages = {55-213},
     mrnumber = {148437},
     zbl = {0114.14902},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RSMUP_1962__32__55_0}
}

Bressan, Aldo. Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti. Rendiconti del Seminario Matematico della Università di Padova, Tome 32 (1962) pp. 55-213. http://gdmltest.u-ga.fr/item/RSMUP_1962__32__55_0/

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

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

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

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

5 Carnap R. - Introduction to Symbotic Logic and its Applications. Dover publications, Inc. 1958, New York 14, N. Y. | MR 103814 | Zbl 0083.00104

6 Carnap R. - Meaning and Necessity. The Univ. of Chicago Press. Illinois U.S.A. | Zbl 0034.00106

7 Hamel G. - Theoretische Mechanik. Springer-Verlag. Berlin Göttingen /Heidelberg, 1949. | MR 516809 | Zbl 0036.24301

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. | JFM 64.0032.02 | Zbl 0019.09804

9 Hermes H. - Zur Axiomatisierung der Mechanik. Vedi i « Proceedings... » in cui trovasi [1], pg. 212. | Zbl 0087.38803

10 Hutten E.H. - The language of modern Physics. London: George Allen & Unwin LT D New York: The MacMillan Co. 1956.

11 Kleene S.C. - Introduction to metamathematics. North-Holland, Amsterdam, 1952. | Zbl 0047.00703

12 Levi Civita T. - Lezioni di Meccanica .Razionate. Vol. I, Editore Zanichelli, Bologna.

13 Lewis C.I. e Langford C.H. - Symbolic Logic 1932. Ristampa. New York, 1951. | JFM 58.0056.01

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

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

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

17 Painlevé P. - Les axiomes de la Méchanique. Paris Gauthier-Villars Editeurs, 1922. | Zbl 0065.39301

18 Painlevé P. - Cours de Mécanique. Paris, Gauthier-Villars 1930. | JFM 56.1211.02

19 Rosser J.B. - Review of H. Hermes. Journal of Symbolic Logic. 3, (1938). Pg. 119-120.

20 Rosser J.B. - Logic for mathematicians. McGraw-Hill book co. Inc. 1953. | MR 54531 | Zbl 0068.00707

21 Sansone G. - Equazioni differenziali nel campo reale. Zanichelli, Bologna 1949. | JFM 67.0306.01 | MR 30663

22 Sbrana F. - Sul teorema di unicità per le equazioni differenziali della Meccanica. Bollettino della Unione mat. Ital. marzo 1953, pg. 123. | MR 56393 | Zbl 0051.40802

23 Signorini A. - Meccanica Razionale. Vol. II, cap. X, pg. 1. Perella, Roma 1954 (seconda edizione).

24 Signorini A. - Lezioni di Fisica Matematica. Roma 1952-1953.

25 Vitali G. e Sansone G. - Moderna teoria delle funzioni di variabile reale. Bologna 1951. | JFM 62.0189.01