#AmourIntellectuel vs #Eros : Seraphita de Balzac

Par topos

https://anthroposophiephilosophieetscience.wordpress.com/2021/05/16/amourintellectuel-vs-eros-seraphita-le-plus-grand-roman-de-balzac/

Lire la suite

Joyal’s catlab categorical mathematics

Par topos

https://ncatlab.org/joyalscatlab/published/Categorical+mathematics

Lire la suite

Ouvrages de Hegel traduits en français

Par topos

https://hegel.net/fr/pdf.htm

Lire la suite

Hegel : science of logic

Par topos

https://ncatlab.org/nlab/show/Science+of+Logic https://www.marxists.org/reference/archive/hegel/works/hl/

Lire la suite

Modern physics formalized in Modal Homotopy type theory # HoTT

Par topos

https://ncatlab.org/schreiber/show/Modern+Physics+formalized+in+Modal+Homotopy+Type+Theory

Lire la suite

Bart Jacobs : categorical Logic and type theory

Par topos

https://people.mpi-sws.org/~dreyer/courses/catlogic/jacobs.pdf

Lire la suite

Baez : cosmic censorship

Par topos

https://johncarlosbaez.wordpress.com/2020/12/31/cosmic-censorship/

Lire la suite

Baez : magic numbers

Par topos

https://johncarlosbaez.wordpress.com/2021/03/09/magic-numbers/

Lire la suite

Baez : native type theory

Par topos

https://johncarlosbaez.wordpress.com/2021/02/24/native-type-theory/

Lire la suite

Baez : the Hoyle state

Par topos

https://johncarlosbaez.wordpress.com/2021/02/04/the-hoyle-state/

Lire la suite