MathOverflow
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 14 years, 5 months
  • Last seen this week
Profile Activity
Stats
48,049
reputation
1.3m
reached
347
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
126
silver badges
234
bronze badges
Top tags
View all tags
2,329
Score
176
Posts
48
Posts %
1,046
Score
59
Posts
16
Posts %
948
Score
101
Posts
28
Posts %
559
Score
31
Posts
9
Posts %
482
Score
25
Posts
7
Posts %
448
Score
44
Posts
12
Posts %
Top posts
View all questions and answers
question
426
Why do roots of polynomials tend to have absolute value close to 1?
Oct 2, 2014
answer
230
What makes dependent type theory more suitable than set theory for proof assistants?
Nov 20, 2020
answer
154
How To Present Mathematics To Non-Mathematicians?
Nov 24, 2010
answer
120
Axiom of choice, Banach-Tarski and reality
Jan 20, 2017
answer
101
Au revoir, law of excluded middle?
May 20, 2010
answer
87
Is rigour just a ritual that most mathematicians wish to get rid of if they could?
May 8, 2013
answer
77
Set theory and Model Theory
Apr 30, 2010
answer
77
What are the worst notations, in your opinion?
Mar 18, 2010
answer
76
On proof-verification using Coq
Nov 11, 2018
answer
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
Is a Turing Machine "by definition" the most powerful machine?
69
The math behind converting from any base to any base without going through base 10?
66
To what extent is "advanced mathematics" needed/useful in A.I. research?
65
If return a = return b then does a=b?