Category Archives: Computer science

Bob Coecke et Aleks Kissinger : picturing quantum processes

https://www.cs.ox.ac.uk/ss2014/programme/Bob.pdf   C’est l’apprentissage de la mécanique quantique en images, dont Bob Coecke affirme ici que c’est possible:   « Une image vaut mille mots, un diagramme vaut un million de mots »   Advertisements

Posted in Categorical quantum mechanics, category theory, Computer science, Physique, Quantum mechanics

Bob Coecke : From quantum processes to cognition via pictures

Posted in Categorical quantum mechanics, category theory, Computer science, Philosophie, Physique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), topos physics

#HoTT Homotopy type theory la nouvelle fondation des mathématiques du 21eme siècle

Cet article trace le parallèle entre le livre « Homotopy type theory Univalent foundations »: https://aperiodical.com/2013/06/homotopy-type-theory-a-new-foundation-for-21st-century-mathematics/ The HoTT Book Et les « Principia mathematica » de Whitehead et Russell, qui fonde les mathématiques du siècle dernier, et qui est ici : https://quod.lib.umich.edu/u/umhistmath/aat3201.0001.001/23?view=image&size=100 (En forme … Continue reading

Posted in Bertrand Russell, Computer science, EHTT, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

Tangle with categories;knot theory and category theory

La théorie des noeuds (knot theory) est très liée à la théorie des catégories http://math.ucr.edu/home/baez/tangles.html https://www.quora.com/What-is-the-importance-of-knot-theory-to-category-theory https://www.worldscientific.com/worldscibooks/10.1142/4542 http://maths.mq.edu.au/~street/PilletRapport.pdf On y trouve même des alternatives à la blockchain https://blog.singulargarden.com/fr/posts/alternative-blockchain-avec-tangle/

Posted in category theory, Computer science, homotopy type theory, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

Barendregt : lambda-calculi with types

https://www.cosc.brocku.ca/~mwinter/Courses/5P05/HBKJ.pdf

Posted in Computer science, homotopy type theory, Science-internelle

Computational trinitarianism

https://ncatlab.org/nlab/show/computational+trinitarianism

Posted in ∞-catégories, category theory, Computer science, Higher category theory, homotopy type theory, Logique

#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