Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta User
Network Profile
21,995
reputation
54
105

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.

198
answers
2
questions
~262k
people reached

Communities (13)

Top Network Posts

Top Tags (122)

Score 580
Posts 53
Posts % 26
Score 490
Posts 54
Score 489
Posts 37
Score 413
Posts 38
Score 372
Posts 40
Score 237
Posts 17
View all tags →

Top Posts (200) All Questions Answers | Votes Newest

68 Techniques for Reversing the Order of Quantifiers Jan 22 '11
57 What would it mean to disprove Church-Turing thesis? Sep 2 '10
54 To what extent is “advanced mathematics” needed/useful in A.I. research? Oct 19 '12
42 A total language that only a Turing complete language can interpret Jun 24 '14
36 Problem teaching computability Feb 20 '11
34 What is the difference between arrows and exponential objects in a cartesian closed category? Apr 17 '13
32 Is it possible to test if a computable number is rational or integer? Feb 19 '13
32 Why does Coq have Prop? Mar 31 '14
30 Why have computer scientists chosen recursor instead of iterator in primitive recursion? Jun 18 '11
29 Realizability theory: difference in power between Lambda calculus and Turing Machines Sep 9 '10
View all questions and answers →

Badges (159)

Gold

—

Silver

54

Rarest

Bronze

105

Rarest

View all badges →