Mathematically elegant, thermodynamically fictional

In classical logic, bindings are inexhaustible so if a formula proves something from x , you can use x ten times, zero times, it doesn’t matter. Using something changes the world, like closing a file or freeing memory, it consumes the access to that resource. Jean-Yves Girard noticed this and his linear logic is one that is closer to reality, it makes logic reflect process. I see Forth thrown left…