14 citations · 21 across the 17 of their papers we have counts for
Showing math.GMShow all
2 papers · 1 filter
math.GM2009
An interesting temporalization of Gödel's ontological proof
Gavriel Segre
Recent theologies concerning God's death after Auschwitz are mathematically formalized through a suitable temporalization of Gödel's Ontological Proof.
math.GM2007
A new kind of numbers, the Non-Dedekindian Numbers, and the extension to them of the notion of algorithmic randomness
Gavriel Segre
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 str…