It has been suggested that reality works like a quantum computer, but such claims are just words if they are not backed up by sound mathematics. In pursuit of the fundamental equations I look to string theory where physicists led by Mike Duff have noticed useful connections between the quantum gravity of black holes and quantum information theory. By building on my earlier work on universal sym...

The occurrence of ice-nucleating particles (INPs) in our atmosphere has a profound impact on the properties and lifetime of supercooled clouds. However, the identities, sources and abundances of airborne particles capable of efficiently nucleating ice at relatively low supercoolings (T > -15 °C) remain enigmatic. Recently, several studies have suggested that unidentified biogenic residues in so...

Guarded re ursive data types (GRDT) are a new language feature whi h allows to type he k the di erent bran hes of ase expressions under di erent type assumptions. We show that GRDT an be translated to type lasses with existential types (TCET). The translation to TCET might be problemati in the sense that ommon implementations su h as the Glasgow Haskell Compiler (GHC) fail to a ept the translat...

Scientific creation battles the worldview of naturalism at the level of scientific fact and theory, but crucial battlegrounds are also found in the foundational concepts that shape the method and direction of science. One of these is summarized by the term “naturalism.” This debate is hindered by equivocal terminology, presuppositional inconsistency, and the use of secular premises by some Chri...