This story draft by @mediabias has not been reviewed by an editor, YET.

The Problem With Grothendieck’s Use Of Equality

featured image - The Problem With Grothendieck’s Use Of Equality

About Author

Tech Media Bias [Research Publication]@mediabias

We publish deeply researched (and often vastly underread) academic papers about our collective omnipresent media bias.

Read my stories About @mediabias

Topics

#mathematical-logic #grothendieck #formalising-mathematics #interactive-theorem-provers #mathlib #homotopy-type-theory #set-theory-foundations #associativity-in-mathematics

Around The Web

Terminal

Lite

Lite Also published here