Skip to main content
Puzzling
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, 9 months
  • Last seen more than a week ago
  • Stockholm, Sweden
Profile Activity
Stats
1,901
reputation
28k
reached
12
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.
16
silver badges
14
bronze badges
Top tags
View all tags
73
Score
2
Posts
17
Posts %
50
Score
3
Posts
25
Posts %
43
Score
2
Posts
17
Posts %
40
Score
1
Posts
8
Posts %
34
Score
1
Posts
8
Posts %
33
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
40
Differentiate between the numbers from 1 to 5 with one single yes/no question
Oct 26, 2014
34
A rhopalic sentence of at-least 5 words, beginning with as long word as possible
Jun 5, 2016
33
The thief, liars, and the honest
Oct 29, 2023
11
Professor Halfbrain and numbers with many zeros
Apr 12, 2016
9
Growing anagrams - What is the longest possible list forming a sentence?
Jan 16, 2015
9
Dominoes on a chessboard
Mar 22, 2015
8
Disaster on Blue-Eyes Island
Aug 13, 2021
7
Four dice puzzle: 2,2,4,5
Oct 10, 2015
7
A rusty place to fly to
Apr 3, 2016
4
Should the angels play their game?
Mar 10, 2015
Top network posts
View all network posts
402
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?
111
How to deal with a professor who grades assignments and exams incorrectly