pneumatics
Joined 15 years ago
Karma
136
Submissions
16
Member since
Mar 11
Joined 15 years ago
What this might enable is "sharing" a huge property, say an apartment complex, essentially opening up a new class of low- or no-amenity hotels.
I liked Eric Schechter's Classical and Non-Classical Logics for an eye-opening view into how logical systems are constructed from axioms. Might be a satisfying read for OP, as well.