Skip to main content
MathOverflow
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 15 years
  • Last seen this week
Profile Activity
Stats
48,364
reputation
1.3m
reached
349
answers
17
questions
Communities
View all
About

I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, type theory, homotopy type theory, and semantics of programming languages.

Badges
View all badges
11
gold badges
128
silver badges
236
bronze badges
Top tags
View all tags
2,335
Score
176
Posts
48
Posts %
1,059
Score
60
Posts
16
Posts %
949
Score
102
Posts
28
Posts %
563
Score
31
Posts
8
Posts %
484
Score
25
Posts
7
Posts %
451
Score
44
Posts
12
Posts %
Top posts
View all questions and answers
430
Why do roots of polynomials tend to have absolute value close to 1?
Oct 2, 2014
232
What makes dependent type theory more suitable than set theory for proof assistants?
Nov 20, 2020
159
How to present mathematics to non-mathematicians?
Nov 24, 2010
122
Axiom of choice, Banach-Tarski and reality
Jan 20, 2017
103
Au revoir, law of excluded middle?
May 20, 2010
90
Is rigour just a ritual that most mathematicians wish to get rid of if they could?
May 8, 2013
80
Set theory and Model Theory
Apr 30, 2010
80
What are the worst notations, in your opinion?
Mar 18, 2010
76
On proof-verification using Coq
Nov 11, 2018
65
A topological concept dual to compactness
May 4, 2014
Top Meta posts
0
1
10
"Newbie-style" questions: is there an "official" viewpoint of MO?
Top network posts
View all network posts
80
Techniques for Reversing the Order of Quantifiers
71
The math behind converting from any base to any base without going through base 10?
71
Is a Turing Machine "by definition" the most powerful machine?
67
To what extent is "advanced mathematics" needed/useful in A.I. research?
65
If return a = return b then does a=b?