Type theory and homotopy theory have evolved into profoundly interconnected disciplines. Type theory, with its foundations in logic and computer science, provides a formal language for constructing ...

I recently was invited back to The Lisa Show at BYU Radio to talk about conspiracy theories. You can listen to the interview here. What follows below are some of the questions and my answers in ...

This graphic is part of a special report on consciousness. Read the full feature here. Theorists have proposed many explanations for consciousness. They are startlingly diverse, with different goals, ...