Andrej Bauer
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.
1
answer
0
questions
~1k
people reached
-
Ljubljana
-
Member for 11 years, 4 months
-
29 profile views
-
Last seen Dec 31 '20 at 19:24
Communities (15)
- MathOverflow 40.4k 40.4k 99 gold badges103103 silver badges195195 bronze badges
- Computer Science 26.5k 26.5k 11 gold badge6161 silver badges102102 bronze badges
- Theoretical Computer Science 25k 25k 11 gold badge6767 silver badges113113 bronze badges
- Mathematics 2.5k 2.5k 1111 silver badges2121 bronze badges
- Stack Overflow 2.4k 2.4k 1515 silver badges2525 bronze badges
- View network profile
Top network posts
- 386 Why do roots of polynomials tend to have absolute value close to 1?
- 186 What makes dependent type theory more suitable than set theory for proof assistants?
- 149 How To Present Mathematics To Non-Mathematicians?
- 103 Axiom of choice, Banach-Tarski and reality
- 86 Au revoir, law of excluded middle?
- 78 Is rigour just a ritual that most mathematicians wish to get rid of if they could?
- 73 On proof-verification using Coq
- View more network posts →
Top tags (2)
Score
9
Posts
1
Score
9
Posts
1
Badges (15)
Gold
—
Silver
11
Rarest
Bronze
4
Rarest
-
Jun 7 '17
-
Apr 6
-
Apr 8