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

Click to access 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 Click to access 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

Click to access 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

Pi et Sigma types

Click to access pisigma.pdf

Posted in Computer science, homotopy type theory

#HoTT and computer formalization

https://golem.ph.utexas.edu/category/2015/06/whats_so_hott_about_formalizat.html

Posted in Computer science, homotopy type theory | Tagged