Category Archives: Uncategorized

Implémentant category theory in general relativity

Advertisements

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

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

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 très aisée pour la lecture)

https://ncatlab.org/nlab/show/Principia+Mathematica

L’article rappelle qu’il a fallu aux PM 379 pages pour prouver que 1+1=2, tandis que les 250 premières pages du livre HoTT suffisent pour déduire les groupes d’homotopie des sphères à partir des bases de la théorie des types.

Cette page relie HoTT aux théorèmes d’incompletude De Godel, qui datent de 1931, vingt après les Principia mathematica qui sont de 1910:

https://cstheory.stackexchange.com/questions/22130/homotopy-type-theory-and-gödels-incompleteness-theorems

Le langage formel des Principia mathematica est identique à la théorie des types, inventée par Russell :

https://www.sciencedirect.com/topics/computer-science/principia-mathematica

http://www.nuprl.org/documents/Constable/PrincipiaArticle.pdf

https://philosophy.stackexchange.com/questions/5951/what-does-the-type-theory-in-the-principia-mathematica-and-that-of-contemporary

La notation, le langage formel, des Principia peut être étudié ici :

https://plato.stanford.edu/entries/pm-notation/

View original post

#HoTT #EHTT #HTTUF Nima Rasekh : What are spaces ?

Logics of Worlds by Alain Badiou (PDF)

SubSense

DOWNLOAD

Logics of Worlds is the sequel to Alain Badiou’s much-heralded masterpiece, Being and Event. Tackling the questions that had been left open by Being and Event, and answering many of his critics in the process, Badiou supplements his pioneering treatment of multiple being with a daring and complex theory of the worlds in which truths and subjects make their mark – what he calls a materialist dialectic. The radical recasting of ontology in Being and Event is followed and complemented here by a thoroughgoing transformation in our very understanding of logic, conceived as a theory not of being but of appearing.

Unafraid to resurrect and reinvent the classical themes of philosophy, Badiou gives new meaning to concepts such as object, body and relation, mobilising them in arresting studies that range from the architectural planning of Brasilia to contemporary astronomy, and confronting himself with towering philosophical…

View original post 19 more words

Tom Leinster : basic category theory