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
Meta User
Network Profile
21,049
reputation
50
101

Andrej Bauer

I am a professional mathematician and theoretical computer scientist (what is the difference?) . My area of work is a mix of logic, semantics, programming languages, category theory, constructive mathematics and computability.

188
answers
2
questions
~244k
people reached

Communities (13)

Top Network Posts

Top Tags (121)

Score 564
Posts 51
Posts % 27
Score 480
Posts 37
Score 445
Posts 47
Score 386
Posts 35
Score 354
Posts 38
Score 223
Posts 15
View all tags →

Top Posts (190) All Questions Answers | Votes Newest

67 Techniques for Reversing the Order of Quantifiers Jan 22 '11
54 What would it mean to disprove Church-Turing thesis? Sep 2 '10
53 To what extent is “advanced mathematics” needed/useful in A.I. research? Oct 19 '12
39 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
31 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 (151)

Gold

—

Silver

50

Rarest

Bronze

101

Rarest

View all badges →