(or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...

In treatises or advanced textbooks on theoretical physics, it is apparent that the way mathematics is used is very different from what is to be found in books of mathematics. There is, for example, no close connection between books on analysis, on the one hand, and any classical textbook in quantum mechanics, for example, Schiff, [11], or quite recent books, for example Ryder, [10], on quantum field theory. The differences run a good deal deeper than the fact that the books (...) on theoretical physics are not written in the definition-theorem-proof style characteristic of pure mathematics. Although a good many propositions are proved in the books on physics, there are almost with exception no existential proofs, and consequently there is no really serious systematic use of quantifiers. Another important characteristic is the free use of infinitesimals. In fact, most results would not lose anything, from a physicist's point of view, by leaving them in approximate form, i.e., instead of strict equalities or inequalities, using equalities or inequalities only up to an infinitesimal.The discrepancy between the way mathematics is ordinarily done in theoretical physics and the way it is built up from a foundational standpoint in any of the standard modern views raises the question of whether it might be possible to construct quite directly a rigorous foundation that reflects a significant part of this standard practice in theoretical physics. Other parts of standard practice in physics, for example, the use of physically intuitive but nonrigorous arguments, are not present in our system. (shrink)

Provability, Computability and Reflection.

This unique book presents a new interpretation of probability, rooted in the traditional interpretation that was current in the 17th and 18th centuries.

Provability, Computability and Reflection.

uando Augusto consolidaba el Imperio romano, en su centro cultural, Alejandría, nace Filón. Filósofo, exégeta y maestro en su comunidad judía, Filón es testigo de la convivencia del judaísmo de lengua griega con una sociedad helenizada que en Egipto parecía acercarse al ideal de la pax romana. Pero también es el principal informante sobre el primer pogrom contra su comunidad en el año 38. Sus escritos constituyen la más importante expresión del judaísmo de lengua griega que encontró su ocaso en (...) la época de la destrucción del Templo de Jerusalén. Este volumen primero de las Obras completas de Filón de Alejandría se abre con una introducción general a la edición y traduce dos de los tratados más significativos de la obra filoniana: De opificio mundi y Legum allegoriae 1-3. La creación del mundo es el tratado fundamental de Filón, donde interpreta la doble narración de la producción del mundo según el Génesis, desde perspectivas eclécticas basadas en el Timeo y en tradiciones pitagóricas, aristotélicas y estoicas. Moisés se convierte en el verdadero filósofo para todos los hombres inteligentes de la ecúmene alejandrina, el que enseña la creación y la discriminación de un mundo inteligible y otro sensible. Alegorías de las Leyes es el inicio del Comentario Alegórico, donde los elementos narrativos de la producción artesanal de Adán y de la derivada producción de Eva por la costilla, considerados de forma mítica, dan paso a una interpretación —digna de Dios— de la producción del Intelecto y de la Sensibilidad, primero arquetípicos, después histórico-mundanos. (shrink)