Andrej Bauer

Ljubljana

http://andrej.com/

I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.

top accounts reputation activity subscriptions

Why do roots of polynomials tend to have absolute value close to 1?

pr.probability polynomials complex-analysis asked Oct 2, 2014 at 20:54

mathoverflow.net

46 votes

What is an explicit bijection in combinatorics?

co.combinatorics ct.category-theory lo.logic terminology foundations asked Feb 21, 2019 at 21:44

mathoverflow.net

28 votes

Does the yin yang continuations puzzle make sense in a typed language?

types functional-programming scheme continuations asked Feb 12, 2012 at 16:35

stackoverflow.com

23 votes

Algorithms for finding rational points on an elliptic curve?

reference-request ag.algebraic-geometry algorithms elliptic-curves asked Oct 13, 2010 at 13:50

mathoverflow.net

22 votes

Where in ordinary math do we need unbounded separation and replacement?

set-theory foundations lo.logic asked Feb 10, 2013 at 17:06

mathoverflow.net

19 votes

Is the one-point compactification of $\mathbb{N}$ computably countable?

lo.logic computability-theory compactifications computable-analysis asked Aug 27, 2021 at 11:02

mathoverflow.net

14 votes

How to calculate the Feigenbaum constant to high precision?

reference-request ds.dynamical-systems asked Nov 26, 2010 at 12:17

mathoverflow.net

12 votes

Continuation passing transform of binary functions

functional-programming monad continuations cps-transforms asked Sep 12, 2013 at 20:52

cstheory.stackexchange.com

11 votes

Existence of solutions of a polynomial system

polynomials algebraic-equations asked Aug 1, 2014 at 9:41

mathoverflow.net

10 votes

Accessing a "forgotten" Google scholar account

google-scholar asked Oct 3, 2015 at 7:39

academia.stackexchange.com

Top Answers

226

What makes dependent type theory more suitable than set theory for proof assistants?

mathoverflow.net

151

How To Present Mathematics To Non-Mathematicians?

mathoverflow.net

117

Axiom of choice, Banach-Tarski and reality

mathoverflow.net

Au revoir, law of excluded middle?

mathoverflow.net

Is rigour just a ritual that most mathematicians wish to get rid of if they could?

mathoverflow.net

Techniques for Reversing the Order of Quantiﬁers

cstheory.stackexchange.com

What are the worst notations, in your opinion?

mathoverflow.net

Set theory and Model Theory

mathoverflow.net

On proof-verification using Coq

mathoverflow.net

Is a Turing Machine "by definition" the most powerful machine?

cs.stackexchange.com

The math behind converting from any base to any base without going through base 10?

cs.stackexchange.com

If return a = return b then does a=b?

stackoverflow.com

To what extent is "advanced mathematics" needed/useful in A.I. research?

cstheory.stackexchange.com

A topological concept dual to compactness

mathoverflow.net

Consequences of technically proving anything in Coq (on at least Linux) exploiting a bug?

mathoverflow.net

What would it mean to disprove Church-Turing thesis?

cstheory.stackexchange.com

Function extensionality: does it make a difference? why would one keep it out of the axioms?

mathoverflow.net

What exactly is the semantic difference between set and type?

cs.stackexchange.com

What is... a grossone?

mathoverflow.net

Theoretical machines which are more powerful than Turing machines

cs.stackexchange.com

What is the shortest program for which halting is unknown?

mathoverflow.net

A total language that only a Turing complete language can interpret

cstheory.stackexchange.com

What practical applications does set theory have?

mathoverflow.net

Do theorem provers demonstrate their own correctness?

cs.stackexchange.com

Choice vs. countable choice

mathoverflow.net

Is it possible to test if a computable number is rational or integer?

cstheory.stackexchange.com

Why does Coq have Prop?

cstheory.stackexchange.com

Awfully sophisticated proof for simple facts

mathoverflow.net

Perplexed by Rice's theorem

cs.stackexchange.com

What are your favorite instructional counterexamples?

mathoverflow.net