Among his many interests, Kurt Gödel wrote a privately circulated formal proof for the existence of God using modal logic. But it was an earlier work from 1931 that upended mathematics and logic and which still applies today.

Here's Tibo to explain.

Conservative and dissipative discretisations of multi-conservative ODEs and GENERIC systems
Andrews, B Farrell, P Computers & Mathematics with Applications volume 224 1-23 (Dec 2026)
Subscribe to