Se Programmo...

« Dependent type theories that are total and have a computable normalization procedure are Turing-incomplete . This is a theorem, not...

« 'Morning everybody, "Epimenides lies iff everybody lies!" which I am taking to be the predicative version of the...

On the logic of "it" - Sparse (hopefully-)not-so-metaphysical thoughts The idea of a Characteristica Universalis , i.e. an encyc...

Quoting from Wikipedia, "Bertrand paradox (probability)" [1] (there is also a nice explanation by 3blue1brown in [2] ): « ...

Manifesto of Logic v1.2-alpha =============================== Formal Logic <-> Symbolic Logic Conversely, there we have the wri...

[ NOTE: Meanwhile this has evolved into an open project here:   https://github.com/jp-diegidio/Nan.System.Sources-Prolog ] Thi...

I have implemented an initial version of Answer Sources in SWI-Prolog [1] , now submitted for preliminary discussion to comp.lang.prolo...

« Indeed, try and do the calculations! » A correct ( AFAICT ) first approach is here: Special Relativity: Inertial Frames ...

It happened on sci.physics... https://groups.google.com/d/msg/sci.physics/gIwxbAAS3Oo/SOSciNNwtU8J

« Consider a hypothetical hotel with a countably infinite number of rooms, all of which are occupied. [...] Suppose a new guest arrives an...