Daily Archives: January 23, 2018

#ScienceInternelle : les Idées, invention-création humaine ou non ?

« Le mathématicien est il un inventeur ou un explorateur-découvreur ? » : c’est un débat qui existe depuis longtemps et qui forme la trame, par exemple, des entretiens entre le mathématicien Alain Connes et le biologiste Jean-Pierre Changeux dans le livre … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Cochet-Brunschvicg, DIEU, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science-internelle | Tagged , , , , , , , , , ,

#HoTT Statebox a Universal language for distributed systems

https://johncarlosbaez.wordpress.com/2018/01/22/statebox-a-universal-language-of-distributed-systems/ « Why is society a mess? The present human condition is absurd. We are in a cognitive renaissance, yet our world is in peril. We need to realize a deeper harmony of theory and practice—we need ideas that dare to … Continue reading

Posted in category theory, Computer science, homotopy type theory, Philosophie mathématique, Science, mathesis, Science-internelle