Posters

TS12.2

With the impressive theoretical progress of last decades, the global tectonics is about to reach a state that is quite unique not only for geology but for any descriptive domain of knowledge. This is the state of so high elaboration and maturity that a theory may be subject, like some theories of physics, chemistry, algebra and geometry, to the most rigorous inspection ever suggested in the science – the inspection for being formal sensu mathematical logic. Still, to bring the global tectonics to this state, quite a work remains to be done. This is an exciting cross-disciplinary work of knowledge engineers and geologists that would result in a quite new level of understanding the Earth and new quality of scientific collaboration on it.
However, being so different from all the fields that underwent such “high formalization” so far, the tectonics needs special formal treatment, which, in turn, requires special logico-mathematical formalism complementary to the traditional predicate logic. Thus the scope of this session appears highly cross-disciplinary, claiming for a joint intellectual journey of field geologists, experimentalists and modelers, IT specialists and computer scientists, logicians and mathematicians.

Share:
Co-organized as ESSI1.10
Convener: Vladimir Anokhin | Co-conveners: Kristine Asch, Biju Longhinos, Paolo Diviacco
Posters
| Attendance Mon, 08 Apr, 10:45–12:30
 
Hall X2

Attendance time: Monday, 8 April 2019, 10:45–12:30 | Hall X2

Chairperson: Vladimir Anokhin
X2.170 |
EGU2019-4617
Cyril Pshenichny
Hall X2
Hall X2
Hall X2
Hall X2
X2.174 |
EGU2019-995
Victor Shmakin
Hall X2
Hall X2
X2.176 |
EGU2019-10420
Flash flood deposits in Pamba Drainage Basin, Kerala, India a straightforward vs. in-depth interpretation
(withdrawn)
Varun Sp, Loui Tr, Jishma Jayan, and Biju Longhinos
Hall X2
X2.177 |
EGU2019-10699
Time Evolution of Volcanism on the Earth and its Implications for Biological Evolution
(withdrawn)
Varnana MohanaKumar, Girish T Easwaraiyer, Biju Longhinos, Thara Nalini Sathyan, and Anjana A V Panicker
Hall X2
Hall X2
X2.179 |
EGU2019-17725
Tatiana Tveritinova and Leonid Rastcvetaev
Hall X2
With the impressive theoretical progress of last decades, the global tectonics is about to reach a state that is quite unique not only for geology but for any descriptive domain of knowledge. This is the state of so high elaboration and maturity that a theory may be subject, like some theories of physics, chemistry, algebra and geometry, to the most rigorous inspection ever suggested in the science – the inspection for being formal sensu mathematical logic. Still, to bring the global tectonics to this state, quite a work remains to be done. This is an exciting cross-disciplinary work of knowledge engineers and geologists that would result in a quite new level of understanding the Earth and new quality of scientific collaboration on it. However, being so different from all the fields that underwent such “high formalization” so far, the tectonics needs special formal treatment, which, in turn, requires special logico-mathematical formalism complementary to the traditional predicate logic. Thus the scope of this session appears highly cross-disciplinary, claiming for a joint intellectual journey of field geologists, experimentalists and modelers, IT specialists and computer scientists, logicians and mathematicians.