Category Archives: Computer science

#MerdeInFrance Louis Pouzin inventeur du réseau Cyclades qui est devenu le Minitel, alors qu’Arpanet est devenu Internet

https://www.francetvinfo.fr/replay-radio/nouveau-monde/nouveau-monde-il-faut-un-nouvel-internet-selon-louis-pouzin-lun-des-peres-du-reseau-mondial_3214327.html Quel souvenir laisse le Minitel ? Les affiches de pub 3615 Ulla » en France ça finit toujours en caleçon dans un placard » ( Belmondo dans « L’as des as ») On retrouve comme par hasard Giscard, qui … Continue reading

Posted in Computer science, Internet, Merde in France, Science, mathesis

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 »  

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