Skip to main content
Theoretical Computer Science
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer's user avatar
Andrej Bauer
  • Member for 14 years
  • Last seen this week
Profile Activity
Stats
29,388
reputation
426k
reached
271
answers
3
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
2
gold badges
81
silver badges
135
bronze badges
Top tags
View all tags
756
Score
92
Posts
34
Posts %
712
Score
63
Posts
23
Posts %
603
Score
46
Posts
17
Posts %
488
Score
45
Posts
16
Posts %
436
Score
48
Posts
18
Posts %
266
Score
18
Posts
7
Posts %
Top posts
View all questions and answers
answer
80
Techniques for Reversing the Order of Quantifiers
Jan 22, 2011
answer
66
To what extent is "advanced mathematics" needed/useful in A.I. research?
Oct 19, 2012
answer
63
What would it mean to disprove Church-Turing thesis?
Sep 2, 2010
answer
51
A total language that only a Turing complete language can interpret
Jun 24, 2014
answer
44
Is it possible to test if a computable number is rational or integer?
Feb 19, 2013
answer
42
Why does Coq have Prop?
Mar 31, 2014
answer
39
Why colon to denote that a value belongs to a type?
May 25, 2019
answer
37
Problem teaching computability
Feb 20, 2011
answer
35
Realizability theory: difference in power between Lambda calculus and Turing Machines
Sep 9, 2010
answer
34
Homotopy type theory and Gödel's incompleteness theorems
Apr 16, 2014
Top network posts
View all network posts
430
Why do roots of polynomials tend to have absolute value close to 1?
231
What makes dependent type theory more suitable than set theory for proof assistants?
158
How to present mathematics to non-mathematicians?
120
Axiom of choice, Banach-Tarski and reality
101
Au revoir, law of excluded middle?