Skip to main content

Stack Exchange

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
Top Questions
430 votes

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

47 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

20 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

1 2 3

Top Answers
232
What makes dependent type theory more suitable than set theory for proof assistants?
mathoverflow.net

158
How to present mathematics to non-mathematicians?
mathoverflow.net

121
Axiom of choice, Banach-Tarski and reality
mathoverflow.net

101
Au revoir, law of excluded middle?
mathoverflow.net

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

80
Techniques for Reversing the Order of Quantifiers
cstheory.stackexchange.com

80
What are the worst notations, in your opinion?
mathoverflow.net

79
Set theory and Model Theory
mathoverflow.net

76
On proof-verification using Coq
mathoverflow.net

71
The math behind converting from any base to any base without going through base 10?
cs.stackexchange.com

71
Is a Turing Machine "by definition" the most powerful machine?
cs.stackexchange.com

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

65
If return a = return b then does a=b?
stackoverflow.com

65
A topological concept dual to compactness
mathoverflow.net

63
What would it mean to disprove Church-Turing thesis?
cstheory.stackexchange.com

62
What exactly is the semantic difference between set and type?
cs.stackexchange.com

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

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

54
What is... a grossone?
mathoverflow.net

51
A total language that only a Turing complete language can interpret
cstheory.stackexchange.com

51
Theoretical machines which are more powerful than Turing machines
cs.stackexchange.com

51
What is the shortest program for which halting is unknown?
mathoverflow.net

49
What practical applications does set theory have?
mathoverflow.net

46
Do theorem provers demonstrate their own correctness?
cs.stackexchange.com

45
Choice vs. countable choice
mathoverflow.net

45
What are your favorite instructional counterexamples?
mathoverflow.net

44
Is it possible to test if a computable number is rational or integer?
cstheory.stackexchange.com

43
Awfully sophisticated proof for simple facts
mathoverflow.net

42
Why does Coq have Prop?
cstheory.stackexchange.com

42
Perplexed by Rice's theorem
cs.stackexchange.com

1 2 3 4 5 … 10