Skip to main content
Philosophy
Alex Byard's user avatar
Alex Byard's user avatar
Alex Byard's user avatar
Alex Byard
  • Member for 2 months
  • Last seen more than a month ago
  • Chicago, IL
Profile Activity
Stats
141
reputation
48
reached
0
answers
1
question
Communities
View all
About

I am a mathematician working in Liouville quantum gravity and Liouville conformal field theory. I also have interests in type theory, quantum computing, and quantitative methods in finance.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
4
Defending Pereboom's deliberation-compatibilism from Widerker's objections, conceptualizing "agents" as Turing machines
May 21
Top network posts
View all network posts
8
Stone-topological/profinite equivalence for quandles
6
Type Theory Lean 3 to Lean 4
6
A group is profinite if and only if it is a Stone space
6
Basic closed subsets of Stone topological group presented as inverse limit, inner automorphism group of profinite group
5
Aesop Tactic in Lean