Stack Exchange Network

Stack Exchange network consists of 174 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,687
reputation
51
101

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.

194
answers
2
questions
~256k
people reached

Communities (13)

Top Network Posts

Top Tags (122)

Score 576
Posts 52
Posts % 27
Score 489
Posts 37
Score 478
Posts 52
Score 411
Posts 38
Score 363
Posts 39
Score 235
Posts 17
View all tags →

Top Posts (196) 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
31 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 (152)

Gold

—

Silver

51

Rarest

Bronze

101

Rarest

View all badges →