Showing 1–7 of 7 results for author: Segre, G

An interesting temporalization of Gödel's ontological proof

Authors: Gavriel Segre

Abstract: Recent theologies concerning God's death after Auschwitz are mathematically formalized through a suitable temporalization of Gödel's Ontological Proof. Recent theologies concerning God's death after Auschwitz are mathematically formalized through a suitable temporalization of Gödel's Ontological Proof. △ Less

Submitted 24 April, 2009; v1 submitted 24 April, 2009; originally announced April 2009.

A new kind of numbers, the Non-Dedekindian Numbers, and the extension to them of the notion of algorithmic randomness

Authors: Gavriel Segre

Abstract: A new number system, the set of the non-Dedekindian numbers, is introduced and characterized axiomatically. It is then proved that any hypercontinous hyperreal number system is strictly included in the set of the Non-Dedekindian Numbers. The notion of algorithmic-randomness is then extended to non-Dedekindian numbers. As a particular case, the notion of algorithmic randomness for the particular… ▽ More A new number system, the set of the non-Dedekindian numbers, is introduced and characterized axiomatically. It is then proved that any hypercontinous hyperreal number system is strictly included in the set of the Non-Dedekindian Numbers. The notion of algorithmic-randomness is then extended to non-Dedekindian numbers. As a particular case, the notion of algorithmic randomness for the particular hyperreal number system of Non-Standard Analysis is explicitly analyzed. △ Less

Submitted 8 January, 2007; v1 submitted 20 December, 2006; originally announced December 2006.

Comments: The third version differs from the second version in the correction of some lapses

There exist consistent temporal logics admitting changes of History

Authors: Gavriel Segre

Abstract: Introducing his Chronology Protection Conjecture Stephen Hawking said that it seems that there exists a Chronology Protection Agency making the Universe safe for historians. Without taking sides about such a conjecture we show that the Chronology Protection Agency is not necessary in order to make the Universe unsafe for historians but safe for logicians. Introducing his Chronology Protection Conjecture Stephen Hawking said that it seems that there exists a Chronology Protection Agency making the Universe safe for historians. Without taking sides about such a conjecture we show that the Chronology Protection Agency is not necessary in order to make the Universe unsafe for historians but safe for logicians. △ Less

Submitted 5 December, 2006; v1 submitted 3 December, 2006; originally announced December 2006.

The Aharonov-Anandan phase of a classical dynamical system seen mathematically as a quantum dynamical system

Authors: Gavriel Segre

Abstract: It is shown that the non-adiabatic Hannay's angle of an integrable non-degenerate classical hamiltonian dynamical system may be related to the Aharonov-Anandan phase it develops when it is looked mathematically as a quantum dynamical system. It is shown that the non-adiabatic Hannay's angle of an integrable non-degenerate classical hamiltonian dynamical system may be related to the Aharonov-Anandan phase it develops when it is looked mathematically as a quantum dynamical system. △ Less

Submitted 12 December, 2005; v1 submitted 28 November, 2005; originally announced November 2005.

Comments: The hypothesis that M is compact and orientable is added in Theorem 2.1

The non-adiabatic classical geometric phase and its bundle-theoretic interpretation

Authors: Gavriel Segre

Abstract: A bundle theoretic interpretation of the non-adiabatic classical geometric phase is given in the Koopman representation of dynamics A bundle theoretic interpretation of the non-adiabatic classical geometric phase is given in the Koopman representation of dynamics △ Less

Submitted 28 July, 2004; v1 submitted 10 March, 2004; originally announced March 2004.

On the mathematical structure of Tonal Harmony

Authors: Gavriel Segre

Abstract: Some little step forward is made in the analysis of the mathematical structure of Tonal Harmony, a task begun by Galilei, Euler and the Lagrange of the first two volumes of Miscellania Taurinensia Some little step forward is made in the analysis of the mathematical structure of Tonal Harmony, a task begun by Galilei, Euler and the Lagrange of the first two volumes of Miscellania Taurinensia △ Less

Submitted 15 February, 2004; v1 submitted 12 February, 2004; originally announced February 2004.

Comments: 218 pages, 5 figures, 1 Mathematica notebook, some Mathematica palette

Computability Superselection Rule and its physical explanation

Authors: Gavriel Segre

Abstract: Unfortunately, after an imprudent sumbission of the paper to the e-print archive, I discovered in it many serious mistakes. So I draw back it . Unfortunately, after an imprudent sumbission of the paper to the e-print archive, I discovered in it many serious mistakes. So I draw back it . △ Less

Submitted 11 September, 1999; v1 submitted 2 September, 1999; originally announced September 1999.

Comments: I draw back the paper because it's wrong !