You must enable Javascript and install the latest version of Adobe Flash Player to view the video.
Video Properties
|
Owner:
|
ProcessCenter
|
|
Recorded on:
|
02 November 2011
|
|
Duration:
|
55:59
|
|
Playback bandwidth:
|
667 kb/s (Minimum: 667)
|
|
Channel:
|
ProcessCenter
|
|
Featured on:
|
Not featured
|
Description
After writing "Principia Mathematica" with Bertrand Russell, Whitehead seems to have lost interest in the formalization of his system. However, some believe that new developments in mathematical logic, in particular category theory, make possible such formalization. This discussion explores what is involved and what value such a project would have.
Tags
No tags
