Search

Ramsey Theorem [6] for pairs is intuitionistically but not classically provable: it is equivalent to a subclassical principle [2]. In this note we show that Ramsey may be restated in an intuitionistically provable form, which is informative (or at least without negations), and classically equivalent to the original. With respect to previous works of the same kind, we do not use no counterexample as in [1], [5], nor we add a new principle to the intuitionism as in [4]. We claim that this intuitionistic version of Ramsey could be use to replace Ramsey Theorem in the convergence proof of programs included in [3]. [1] Gianluigi Bellin. Ramsey interpreted: a parametric version of Ramsey Theorem. In AMS, editor, Logic and Computation: Proceedings of a Symposium held at Carnegie Mellon University, volume 106. [2] Stefano Berardi, Silvia Steila, Ramsey Theorem for pairs as a classical principle in Intuitionistic Arithmetic, Submitted to the proceedings of Types 2013 in Toulouse. [3] Byron Cook, Abigail See, Florian Zuleger, Ramsey vs. Lexicographic Termination Proving, LNCS 7795, 2013, Springer Berlin Heidelberg. [4] Thierry Coquand. A direct proof of Ramsey Theorem. [5] Paulo Oliva and Thomas Powell. A Constructive Interpretation of Ramsey Theorem via the Product of Selection Functions. CoRR, arXiv:1204.5631, 2012. [6] F. P. Ramsey. On a problem in formal logic. Proc. London Math. Soc., 1930., Comment: in Italian

A smartphone, with its integrated sensors and cpu, can aid experiments in many different areas of Physics. We show how the resonant frequencies of a pipe can be measured using a smartphone and a Bic pen., Comment: 6 pages, 3 figures, in Italian

I think that the main reason why we do not understand the general principles of how knowledge works (and probably also the reason why we have not yet designed and built efficient machines capable of artificial intelligence), is not the excessive complexity of cognitive phenomena, but the lack of the conceptual and methodological tools to properly address the problem. It is like trying to build up Physics without the concept of number, or to understand the origin of species without including the mechanism of natural selection. In this paper I propose some new conceptual and methodological tools, which seem to offer a real opportunity to understand the logic of cognitive processes. I propose a new method to properly treat the concepts of structure and schema, and to perform on them operations of structural analysis. These operations allow to move straightforwardly from concrete to more abstract representations. With these tools I will suggest a definition for the concept of rule, of regularity and of emergent phenomena. From the analysis of some important aspects of the rules, I suggest to distinguish them in operational and associative rules. I propose that associative rules assume a dominant role in cognition. I also propose a definition for the concept of problem. At the end I will briefly illustrate a possible general model for cognitive systems., Comment: In Italian

In this paper is performed an appraisal of the Olympic Sport Judo effectiveness in the optics of Biomechanics. To broaden the classical view,the field of experimentation is obviously the high level competition in which most of rotational application can be found applied more or less instinctively by high level Athletes. Considering the two biomechanical tools that are the physical basis of judo throws it is possible to obtain such results from the analysis of high competition application:Lever Techniques are enhanced in their effectiveness in three ways: The rotational movements, strictly connected to the Lever techniques mechanics achieving victory in competition, can be extended to the unbalance phase. The rotational movements can be applied in a totally new way putting away even the unbalance that is basic in the Lever techniques. The Lever tool can be hybridized with the Couple tool to lower the energy consumption. Couple Techniques are enhanced in their effectiveness also in three ways: The Couple tool that doesnt need unbalance allowing uke body rotate around his center of mass, is enhanced utilizing the Uke body smaller resistance directions,normally summarized in Diagonal attacks. The vertical rotational movements in the transverse plan with the axis in the sagittal plane can be added to the Couple application with transverse rotation and axis in the frontal plane to overcome some defensive resistance, mainly in the trunk and leg group of Couple techniques,like Uchi Mata or O Soto Gari. The rotational movements enhance the throwing action changing the mechanics of Couple into Lever applying a Torque,both with the direction change of one force or the time delay of his application. This analysis, expanded with a short physical framework, clarifies hidden deep concepts and helps teacher and coaches in their professional work., Comment: 37 pages, 1 Diagram, 7 tables, 97 figures, this paper will be published,in Italian language, without mathematical framework into the Italian Judo Federation Magazine: "Athlon" FIJLKAM Yr 2014 Nu. 2

We will describe the organization of the first cycle of the Course of Tirocinio Formativo Attivo, Class A049 - Mathematics and Physics, at the university of Palermo, both in terms of psycho-pedagogical activities and in terms of subject activities. In particular, we will describe the organization of the training done at school under the guidance of welcoming tutors and under the guidance of the coordinating tutor. The strengths, weaknesses and critical aspects of various activities will be highlighted and improvements will be proposed for the subsequent cycles., Comment: 8 Pages, 3 Tables. Accepted for publication in Quaderni di Ricerca in Didattica (Science), special Issue in Italian language

Italian master's thesis in Computer Science. It is an overview of the standard tecniques developed in the field of Proof Theory, ending with some results in the new field of Deep Inference, plus an original contribution trying to relate Deep Inference and Process Algebras., Comment: in Italian

In memory of the famous physicist Bruno Pontecorvo, whereof is just occurred the centenary anniversary of the birth and the twentieth anniversary of the death, this paper traces the scientific and human adventure of the italian scientist, from the pioneering studies of nuclear physics together with his master Enrico Fermi, to the excellent results in particle physics, in particular his research and insights about the neutrino. As much attention is paid to the human experience, his relationship with politics and the choice to embrace the Soviet socialist model. A short portrait to commemorate a scientist symbol of the twentieth century., Comment: in Italian

It is possible to evaluate the absolute magnitude of the Nova Delphini 2013 with visual observations submitted to AAVSO, following the works of Leonida Rosino at Asiago Observatory on the novae of M31. A naif interpretative model of the light curve is presented, based on the decreasing exponential law, in order to open to amateur astronomers a glimpse on the complex theoretical framework of these phenomena., Comment: 3 pages, 2 figures, XXI GAD meeting, La Spezia, 11-13 october 2013; in Italian language

It is shown that there is a simple way to get the quantization equation for the electric and magnetic charges of dyons, $e_ig_j-g_ie_j=m(\hbar c)$, which also shed light to the origin of such quantization., Comment: in Italian

This short paper focuses on Schr\"oder's contribute towards a structural view of group theory., Comment: in Italian

The book's purpose is to introduce the HF ionospheric radio-propagation, through the solution of problems and computer assignments. The problems and computer assignments are used primarily as a check and deepening of the theoretical part, which however is essential. Secondly, they are used to introduce the reader to new subjects in a natural way. The text proposes the main objective of bringing the reader which has a background similar to a master degree in physics or engineering, to an operative level in the field of ionospheric radio-propagation. The material covers the fundamentals of plasma physics, the Appleton-Hartree equation, its interpretation and discussion, and group refractive indices. The applications presented include ionograms simulation, ray tracing, and ionospheric absorption., Comment: in Italian, 138 pages

The solar eclipse of Good Friday has always been recognized as a problem from the astronomical point of view. The date of Crucifixion has been investigated by many scholars and the most accredited one is friday 3 april 33, when, at sunset an eclipsed Moon rised. Few minutes later the apparition of a third star of medium magnitude stated the beginning of the sabbatical rest: before that time Jesus has been buried, wrapped into the shroud. All these topics are reviewed from an astronomical point of view with some theological considerations., Comment: 29 pages, 11 figures, in Italian. Proc. Conference "Terzo incontro sui due Teli" Jerusalem 25-28 November 2012, Notre Dame of Jerusalem Center

On the spur of Calvary the Shroud appears. On this rock the Scriptures are fulfilled, and this rock, located exactly to the West of the Temple of Jerusalem, becomes mystically the new orient, place of the Resurrection of the Lord. The alignements between the three holy places for the three monotheistic religions, the Anastasis, the Temple, now Dome of the Rock, and the Chapel of the Ascension with the East-West axis are here measured and commented both from an astronomical and topographic point of view, enlighted by the urbanistic roman concepts of Vitruvius and the catechesis of saint Cyril bishop of Jerusalem 13 years after the inauguration of the Constantinian buildings at the Holy Sepulcre., Comment: 15 pages, 5 figures, in Italian. Proc. Conference "Terzo incontro sui due Teli" Jerusalem 25-28 November 2012, Notre Dame of Jerusalem Center

D\'ungal's letter to Charlemagne on the double solar eclipse in the year 810 is extremely interesting both for its form and for its subject matter. Part I of the present study deals with the epistula as a literary work (genre, language, sources), dealing in turn with vocabulary, morphology and syntax, rythmical prose and rhetorical figures, literary and Biblical references. If we compare it with D\'ungal's other works, the letter is cast in the canonical oratio structure similar to his later Responsa contra Claudium (ed. Zanna, Firenze 2002) and it is likewise based on lengthy quotations drawns from Macrobius' commentary In Somnium Scipionis. A possible echo of Vitruvius' astronomical presentation in book IX of his De architectura is suggested. Finally, we attempt to define how the author's persona as famulus et orator and reclusus at St-Denis relates to Charlemagne and to abbot Waldo in his pursuit of Chirstian wisdom based on the Bible rahter than of scholarship per se based on academic research. Part II is a thorough technical discussion of the astronomical issue presented to the Irish scholar by the Emperor, i.e. The frequency of solar eclipses and their visibility in the two emispheres in the year 810 (see maps provided). It assesses D\'ungal's case in terms of eclipse theory and reviews previous comments on his letter to Charlemagne by astronomer Ismael Bullialdus (1605-1694). It also introduces us to first-hand knowledge of eclipses in history and nowadays, providing a glimpse into the complex problems tackled by the Irishman and his sources in Late Antique and in the Early Middle Ages. Ample footnotes to the Italian translation of D\'ungal's work are an essential guiding tool for Latinists unfamiliar with astronomy., Comment: 74 pages, 20 figures, in Italian and Latin

Gerbert of Aurillac was Pope Sylvester II form 999 to 1003. His history is presented in order to understand his outstanding contribution in the establishment of quadrivium sciences (arithmetics, music, geometry and astronomy) in the curricula studiorum of cathedral schools and therefore of forthcoming universitates studiorum. Gerbert allowed the first sharing of arabic scientific scientific culture (e.g. Introducing in his didactic method the astrolabium, the abacus and the monochord) with Christian world participating in person to the mini-renaissance of the tenth century., Comment: 7 pages, in Italian. ISSN 1123-5586

The equation of time is fundamental for calculating the rising and setting times of the Sun. The concepts of sidereal and solar day and locak noon, we show how the length of the day depends on solar declination and Earth's orbit position, and also their influence on the local noon shift. In particular we show why in the month of July the setting time is rather constant, while the daylight reduces constantly., Comment: 8 pages, 7 figures, in Italian; Geografia, trimestrale di ricerca scientifica e programmazione regionale, vol. 105-106 (2004)

The horologia are ancient ephemerides, tables of durations of the days and nights during all months of the year. The algorithms used to compute the horologia are here presented and the results are compared with the tables computed by Gerbert in the letter to Adam. The Ptolemaic geography is the framework in which Gerbert made his calculations., Comment: 8 pages, 3 figure, 3 tables, in Italian. ISSN 1123-5586

The observation of a central eclipse from the umbral band and, even better, from its edge allows to measure the solar diameter with an accuracy up to a part over 100000. The data of the annular eclipse of 22 september 2006 observed from Kourou, French Guyane and their calibration are presented., Comment: 10 pages, 5 figures, in Italian. ISSN 1125-5218

In this paper, our aim is to discuss the outcome of a ten-year experimental workshop activity carried out by the Center `matematita' (http://www.matematita.it/) with classes of pre-university students of any age. We analyse the potential benefits of this way of teaching and learning mathematics, both from the point of view of students and teachers., Comment: In Italian

Gerbert of Aurillac wrote to Constantine of Fleury in 978 a letter to describe in detail the procedure to point the star nearest to the North celestial pole. This was made to align a sphere equipped with tubes to observe the celestial pole, the polar circles, the solstices and equinoxes. The use of tubes in astronomical observation is later reported by Alhazen in his treatise on optics (1011-1021). The description of pointing to the celestial pole indicates that the instrument must be accurately aligned with the true pole, materialized at that epoch by a star of fifth magnitude, at the limit of naked eye visibility, and then the instrument must remain fixed. Solstices and Equinoxes are points of the orbit of the Sun, so the sphere could be used as a tool for observing the Sun and probably determine the duration of the tropical year. This sphere was much more than a didactic tool, given the long procedure for the accurate alignement. Moreover "Rogatus a pluribus" (asked by his many students), Gerbert wrote a treatise on acoustic tubes (fistulae) in 980: Mensura Fistularum. He knew the difference in behavior of the fistulae compared with the acoustic strings, already studied by the Pythagoreans, and the treaty is intended to present the law that governs the length of the organ pipes in two octaves, compared to the corresponding acoustic strings. In terms of modern physics we know that acoustic tubes require an "end correction" to be tuned, which is proportional to the diameter of the tube. This proportionality is the same for every note. The mathematical law is simple, but Gerbert preferred to create a law in which the proportions of pipes and strings should be calculated through a series of fractions linked to the number 12 and its multiples., Comment: 8 pages, 5 figures, Atti dell'XI Convegno SIA (Societ\`a Italiana di Archeoastronomia) di Bologna-Marzabotto 2011. In Italian