Philosophy
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine's user avatar
Peter LeFanu Lumsdaine
  • Member for 9 years, 2 months
  • Last seen this week
  • Stockholm, Sweden
Profile Activity
Stats
720
reputation
26k
reached
7
answers
0
questions
Communities
View all
About

Mathematician, math.LO/math.CT, currently Associate Professor (Universitetslektor) at Stockholm University. Mainly working in categorical logic, especially homotopy type theory and higher categories.

Previously worked at Institute for Advanced Study, Princeton; Dalhousie University, Halifax, Nova Scotia; and Carnegie Mellon University, Pittsburgh.

Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
11
bronze badges
Top tags
View all tags
37
Score
3
Posts
43
Posts %
17
Score
2
Posts
29
Posts %
13
Score
1
Posts
14
Posts %
7
Score
1
Posts
14
Posts %
7
Score
1
Posts
14
Posts %
7
Score
1
Posts
14
Posts %
Top posts
All Questions Answers
Score Newest
answer
21
Why does "Daisy has four legs" not entail "Daisy has more than two legs"?
May 4, 2020
answer
13
If math is so deductive, why is it so hard to discover new math?
Aug 11, 2022
answer
7
Strawson on Free Will: What are the most persuasive challenges to his position?
Dec 27, 2022
answer
6
Why aren't Kripke semantics "syntax in disguise"?
Dec 23, 2021
answer
5
Is it contradictory to believe in something but consider something else possible?
Aug 25
answer
4
What does a priori mean in a math paper?
May 5, 2020
answer
3
What is wrong with these two conditionals?
Feb 28, 2020
Top network posts
View all network posts
397
Pedagogy: How to cure students of the "law of universal linearity"?
289
How do you explain to a 5th grader why division by zero is meaningless?
200
How do I ask for an espresso if there's a good chance they don't know how to make it?
124
Is it unethical to take a photograph of my question sheets from a sit-down exam I've just finished if I am not allowed to take them home?
110
How to deal with a professor who grades assignments and exams incorrectly

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.