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.
@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},
     pages = {55--213},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {32},
     year = {1962},
     mrnumber = {148437},
     zbl = {0114.14902},
     language = {it},
     url = {http://www.numdam.org/item/RSMUP_1962__32__55_0/}
}
TY  - JOUR
AU  - Bressan, Aldo
TI  - Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti
JO  - Rendiconti del Seminario Matematico della Università di Padova
PY  - 1962
SP  - 55
EP  - 213
VL  - 32
PB  - Seminario Matematico of the University of Padua
UR  - http://www.numdam.org/item/RSMUP_1962__32__55_0/
LA  - it
ID  - RSMUP_1962__32__55_0
ER  - 
%0 Journal Article
%A Bressan, Aldo
%T Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti
%J Rendiconti del Seminario Matematico della Università di Padova
%D 1962
%P 55-213
%V 32
%I Seminario Matematico of the University of Padua
%U http://www.numdam.org/item/RSMUP_1962__32__55_0/
%G it
%F 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://www.numdam.org/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 | Zbl

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 | Zbl

3 Burks A.W. - The logic of Causal Propositions. Mind, Vol. 60, N. 9, No 239, giugno 1951, pg. 363. | MR | Zbl

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 | Zbl

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

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

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

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 | Zbl

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

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

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

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 | Zbl

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 | Zbl

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 | Zbl

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

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

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 | Zbl

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

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

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