current community
chat
MathOverflow
MathOverflow Meta
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Stack Exchange
Inbox
Reputation and Badges
sign up
log in
tour
help
Tour
Start here for a quick overview of the site
Help Center
Detailed answers to any questions you might have
Meta
Discuss the workings and policies of this site
About Us
Learn more about Stack Overflow the company
Business
Learn more about hiring developers or posting ads with us
MathOverflow
Questions
Tags
Users
Badges
Unanswered
Ask Question
Profile
Activity
Gro-Tsen
Meta User
Network Profile
Reputation
2,538
2.5k
1.4k
178
2013
2014
2015
2016
Top tag
lo.logic
Next privilege
3,000 Rep.
Cast close & reopen votes
Badges
11
26
Newest
Enthusiast
Next badge
0/1
Excavator
Impact
~
44k
people reached
3 posts edited
2 helpful flags
449 votes cast
summary
answers
questions
tags
badges
favorites
bounties
reputation
all actions
32
Answers
newest
activity
votes
15
Examples of interesting false proofs
Jan 14 '13 at 16:10
11
Is equality of terms for “real” numbers with roots, logarithm, exponential, sin, cos, and other trigonometric operations decidable with a Turing-machine?
Jan 15 '13 at 18:50
10
Wanted, dead or alive: Have you seen this curve? (circular variant of cardioid)
Jan 25 at 23:57
9
Expressing $SO_8$ element as product of $L_u$ and $R_u$ for unit octonions $u$
Apr 14 at 13:35
8
Has there been a computer search for a 5-chromatic unit distance graph?
Apr 16 at 14:04
7
Lower bound on the irrationality measure of $\pi$
Aug 18 '14 at 21:00
6
Zero knowledge proof of equality
Apr 17 at 19:03
6
The difference between the Recursive and the Effective topos.
Jun 22 '14 at 21:46
5
Is $\omega^\frac{1}{\omega} > n \forall n \in \mathbb{N}$?
Apr 21 at 18:26
5
Stronger form of connectedness than path-connectedness
Mar 31 at 12:48
5
“Converse” of Taylor's theorem
Aug 30 '14 at 22:51
4
Gcd of polynomials over a finite field
May 20 at 13:44
4
Self-containing trees
Apr 27 at 22:38
4
an algebraic variety for a boolean circuit
Apr 27 at 16:35
4
Languages beyond enumerable
Apr 21 at 14:01
4
Computability of Brauer groups
Jun 17 '15 at 16:17
3
Let's keep adding once undecidable statements
Jun 15 at 14:06
3
What are some examples of narrowly missed discoveries in the history of mathematics?
Apr 10 at 13:43
3
Hilbert's 17th Problem for smooth functions
Aug 20 '14 at 9:33
3
An exercise about Tor
Apr 15 '13 at 13:31
2
Does there exist an Affinization or Projectivization process for Varieties?
May 9 at 13:02
2
Least inner model of ZF without power set axiom
Apr 11 at 16:48
2
Vector spaces without natural bases
Mar 30 at 12:26
2
Isolating roots of polynomial system
Mar 18 at 0:49
2
Proof strength of Calculus of (Inductive) Constructions
Dec 8 '12 at 17:07
1
Is there a modern account of Veblen functions of *several* variables?
Apr 7 at 22:22
1
Between mu- and primitive recursion
Jan 16 at 23:11
1
Applications of Representation Theory in Combinatorics
Dec 13 '15 at 21:02
1
cryptographic primitive process
Jan 24 '13 at 9:35
0
Analogues of Primitive Recursive Functions
Mar 30 at 14:11
MathOverflow works best with JavaScript enabled