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,379
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.

190
answers
2
questions
~251k
people reached

Communities (13)

Top Network Posts

Top Tags (122)

Score 570
Posts 51
Posts % 27
Score 487
Posts 37
Score 456
Posts 48
Score 408
Posts 37
Score 362
Posts 39
Score 225
Posts 15
View all tags →

Top Posts (192) 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
40 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
30 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 →