Russell-Whitehead project

Concept

A project in mathematics that aimed to build mathematics from logic, related to the constructivist turn.

Mentioned in 1 video

Videos Mentioning Russell-Whitehead project

Joscha Bach: Artificial Consciousness and the Nature of Reality | Lex Fridman Podcast #101

Joscha Bach: Artificial Consciousness and the Nature of Reality | Lex Fridman Podcast #101

Lex Fridman

A project in mathematics that aimed to build mathematics from logic, related to the constructivist turn.