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
22,403
reputation
1
59
107

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.

200
answers
2
questions
~269k
people reached

Communities (13)

Top network posts

Top tags (123)

Score 577
Posts 53
Posts % 26
Score 533
Posts 56
Score 489
Posts 37
Score 408
Posts 38
Score 376
Posts 41
Score 236
Posts 17
View all tags →

Top posts (202) 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
35 Why colon to denote that a value belongs to a type? May 25
34 What is the difference between arrows and exponential objects in a cartesian closed category? Apr 17 '13
34 Why does Coq have Prop? Mar 31 '14
32 Is it possible to test if a computable number is rational or integer? Feb 19 '13
30 Why have computer scientists chosen recursor instead of iterator in primitive recursion? Jun 18 '11
View all questions and answers →

Badges (167)

Gold

1

Rarest

Silver

59

Rarest

Bronze

107

Rarest

View all badges →